315 results

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

1. Symbiosis Ware

   wiki.c2.com

   • programming

2. Synthesizing Loop-Free Programs with Rust and Z3

   fitzgeraldnick.com

   • formal-methods
   • programming
   • rust

3. Systems, not Programs

   shalabh.com

   • programming

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

   srvaroa.github.io

   • experience-reports
   • programming

5. Tarot for Hackers

   christine.website

   • human-factors
   • programming

6. Term/Type Punning in Haskell

   int-index.com

   • haskell
   • programming

7. Testable IO in Haskell

   andyfriesen.com

   • haskell
   • programming
   • testing

8. Testing higher-order properties with QuickCheck

   blog.poisson.chat

   • haskell
   • programming
   • testing

9. Testing sync at Dropbox

   dropbox.tech

   • programming
   • testing

10. Tests Should Build Confidence

    domk.website

    • programming
    • testing

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

    sethmlarson.dev

    • programming
    • testing
    • type-systems

12. The Boeing 777 Flies on 99.9% Ada

    archive.adaic.com

    • ada
    • experience-reports
    • programming

13. The Bug Slip

    www.jackkinsella.ie

    • programming

14. The Code Review Pyramid

    www.morling.dev

    • programming

15. The Configuration Complexity Clock

    mikehadlow.blogspot.com

    • programming

16. The Cult of Best Practice

    domk.website

    • human-factors
    • programming

17. The Essence of Datalog

    dodisturb.me

    • datalog
    • haskell
    • programming

18. The HLint Match Engine

    neilmitchell.blogspot.com

    • haskell
    • programming

19. The Haskell Elephant in the Room

    www.stephendiehl.com

    • haskell
    • programming
    • rants

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

    mgba.io

    • emulation
    • programming

21. The Language Squint Test

    www.teamten.com

    • programming

22. The One PR Per Day Rule

    neilmitchell.blogspot.com

    • programming

23. The ReaderT Design Pattern

    www.fpcomplete.com

    • haskell
    • programming

24. The Rise of Platform Engineering

    softwareengineeringdaily.com

    • devops
    • programming

25. The TTY demystified

    www.linusakesson.net

    • history
    • linux
    • programming