322 results

• 322programming
• 68haskell
• 33performance
• 31testing
• 21rust
• 18type-systems
• 14c
• 13human-factors
• 13experience-reports
• 12ruby
• 10nix
• 10networking
• 9security
• 9formal-methods
• 9devops
• 9css
• 8rants
• 7maths
• 6python
• 5ux-design
• 5linux
• 5javascript
• 5history
• 4nixos
• 4gaming
• 35 more tags omitted…

1. Stacked Borrows Implemented

   www.ralfj.de

   • programming
   • rust
   • type-systems

2. Start all of your commands with a comma

   rhodesmill.org

   • programming
   • linux

3. Structural typing and first-class case expressions

   ice1000.org

   • programming
   • type-systems

4. Subtraction Is Functionally Complete

   orlp.net

   • programming

5. Summed-area table

   en.wikipedia.org

   • data-structures
   • programming

6. Symbiosis Ware

   wiki.c2.com

   • programming

7. Synthesizing Loop-Free Programs with Rust and Z3

   fitzgeraldnick.com

   • formal-methods
   • programming
   • rust

8. Systems, not Programs

   shalabh.com

   • programming

9. Talk write-up: "How to build a PaaS for 1500 engineers"

   srvaroa.github.io

   • experience-reports
   • programming

10. Tarot for Hackers

    christine.website

    • human-factors
    • programming

11. Term/Type Punning in Haskell

    int-index.com

    • haskell
    • programming

12. Testable IO in Haskell

    andyfriesen.com

    • haskell
    • programming
    • testing

13. Testing higher-order properties with QuickCheck

    blog.poisson.chat

    • haskell
    • programming
    • testing

14. Testing sync at Dropbox

    dropbox.tech

    • programming
    • testing

15. Tests Should Build Confidence

    domk.website

    • programming
    • testing

16. Tests aren’t enough: Case study after adding type hints to urllib3

    sethmlarson.dev

    • programming
    • testing
    • type-systems

17. The Boeing 777 Flies on 99.9% Ada

    archive.adaic.com

    • ada
    • experience-reports
    • programming

18. The Bug Slip

    www.jackkinsella.ie

    • programming

19. The Code Review Pyramid

    www.morling.dev

    • programming

20. The Configuration Complexity Clock

    mikehadlow.blogspot.com

    • programming

21. The Cult of Best Practice

    domk.website

    • human-factors
    • programming

22. The Essence of Datalog

    dodisturb.me

    • datalog
    • haskell
    • programming

23. The HLint Match Engine

    neilmitchell.blogspot.com

    • haskell
    • programming

24. The Haskell Elephant in the Room

    www.stephendiehl.com

    • haskell
    • programming
    • rants

25. The Infinite Loop That Wasn't: A Holy Grail Bug Story

    mgba.io

    • emulation
    • programming