331 results

• 331programming
• 70haskell
• 34performance
• 31testing
• 23rust
• 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. The sad state of property-based testing libraries

   stevana.github.io

   1. The sad state of property-based testing libraries
   2. Parallel property-based testing with a deterministic thread scheduler
   • programming
   • testing
   • haskell

2. The secret inside One Million Checkboxes

   eieio.games

   • programming

3. There are 5 6 NINE (or 63*, depending how you count) different ways to write multi-line strings in YAML.

   stackoverflow.com

   • programming
   • rants
   • yaml

4. Things we learned about LLMs in 2024

   simonwillison.net

   • programming
   • llm

5. Think in Math. Write in Code.

   justinmeiners.github.io

   • maths
   • programming

6. Thinking the unthinkable What we cannot think in programming

   tomasp.net

   • programming

7. This page is a truly naked, brutalist html quine.

   secretgeek.github.io

   • css
   • programming

8. This shouldn't have happened: A vulnerability postmortem

   googleprojectzero.blogspot.com

   • programming
   • security

9. Thoughts on bootstrapping GHC

   www.joachim-breitner.de

   • haskell
   • programming

10. Threading responsibly

    mazzo.li

    • haskell
    • programming

11. Too Simple To Fail: Marrying Nomad, Caddy, and Wireguard

    blog.tjll.net

    • devops
    • networking
    • nomad
    • programming

12. TysWiredIn.hs - Note [Any types]

    hackage.haskell.org

    • haskell
    • programming
    • type-systems

13. UK air traffic control meltdown

    jameshaydon.github.io

    • haskell
    • programming

14. Unbreakable Builds on Container Schedulers without Containers

    blog.tjll.net

    • nix
    • nomad
    • programming

15. Uncensored Language Models

    erichartford.com

    • machine-learning
    • programming

16. Understanding the npm dependency model

    lexi-lambda.github.io

    • javascript
    • nodejs
    • programming

17. United Monoids

    blogs.ncl.ac.uk

    • haskell
    • maths
    • programming

18. Unix folklore: using multiple sync commands

    utcc.utoronto.ca

    • history
    • programming

19. Unsafe as a Human-Assisted Type System

    matklad.github.io

    • programming
    • rust
    • type-systems

20. Unveiling the Power of the NixOS Integration Test Driver

    nixcademy.com

    1. Part 1
    2. Part 2
    • programming
    • testing
    • nix
    • nixos

21. User power, not power users: htop and its design philosophy

    hisham.hm

    • programming

22. Using Formal Methods at Work

    www.hillelwayne.com

    • formal-methods
    • programming

23. Verifying Popcount

    blog.regehr.org

    • c
    • formal-methods
    • programming

24. Visual design rules you can safely follow every time

    anthonyhobday.com

    • programming
    • ux-design

25. What I've Learned From 10+ Years of Personal Projects

    benbernardblog.com

    • programming