330 results

• 330programming
• 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 secret inside One Million Checkboxes

   eieio.games

   • programming

2. 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

3. Things we learned about LLMs in 2024

   simonwillison.net

   • programming
   • llm

4. Think in Math. Write in Code.

   justinmeiners.github.io

   • maths
   • programming

5. Thinking the unthinkable What we cannot think in programming

   tomasp.net

   • programming

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

   secretgeek.github.io

   • css
   • programming

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

   googleprojectzero.blogspot.com

   • programming
   • security

8. Thoughts on bootstrapping GHC

   www.joachim-breitner.de

   • haskell
   • programming

9. Threading responsibly

   mazzo.li

   • haskell
   • programming

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

    blog.tjll.net

    • devops
    • networking
    • nomad
    • programming

11. TysWiredIn.hs - Note [Any types]

    hackage.haskell.org

    • haskell
    • programming
    • type-systems

12. UK air traffic control meltdown

    jameshaydon.github.io

    • haskell
    • programming

13. Unbreakable Builds on Container Schedulers without Containers

    blog.tjll.net

    • nix
    • nomad
    • programming

14. Uncensored Language Models

    erichartford.com

    • machine-learning
    • programming

15. Understanding the npm dependency model

    lexi-lambda.github.io

    • javascript
    • nodejs
    • programming

16. United Monoids

    blogs.ncl.ac.uk

    • haskell
    • maths
    • programming

17. Unix folklore: using multiple sync commands

    utcc.utoronto.ca

    • history
    • programming

18. Unsafe as a Human-Assisted Type System

    matklad.github.io

    • programming
    • rust
    • type-systems

19. Unveiling the Power of the NixOS Integration Test Driver

    nixcademy.com

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

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

    hisham.hm

    • programming

21. Using Formal Methods at Work

    www.hillelwayne.com

    • formal-methods
    • programming

22. Verifying Popcount

    blog.regehr.org

    • c
    • formal-methods
    • programming

23. Visual design rules you can safely follow every time

    anthonyhobday.com

    • programming
    • ux-design

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

    benbernardblog.com

    • programming

25. What developers find surprising about Postgres transactions

    blog.lawrencejones.dev

    • programming