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. Understanding the npm dependency model

   lexi-lambda.github.io

   • javascript
   • nodejs
   • programming

2. United Monoids

   blogs.ncl.ac.uk

   • haskell
   • maths
   • programming

3. Unix folklore: using multiple sync commands

   utcc.utoronto.ca

   • history
   • programming

4. Unsafe as a Human-Assisted Type System

   matklad.github.io

   • programming
   • rust
   • type-systems

5. Unveiling the Power of the NixOS Integration Test Driver

   nixcademy.com

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

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

   hisham.hm

   • programming

7. Using Formal Methods at Work

   www.hillelwayne.com

   • formal-methods
   • programming

8. Verifying Popcount

   blog.regehr.org

   • c
   • formal-methods
   • programming

9. Visual design rules you can safely follow every time

   anthonyhobday.com

   • programming
   • ux-design

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

    benbernardblog.com

    • programming

11. What developers find surprising about Postgres transactions

    blog.lawrencejones.dev

    • programming

12. What exactly was the point of [ “x$var” = “xval” ]?

    www.vidarholen.net

    • programming

13. What is Good About Haskell?

    doisinkidney.com

    • haskell
    • programming

14. What makes a code base good for junior engineers to work on?

    lobste.rs

    • human-factors
    • programming

15. What’s up with SET TRANSACTION SNAPSHOT?

    thebuild.com

    • programming

16. Why 'Functor' Doesn't Matter

    www.parsonsmatt.org

    • programming

17. Why Do Interviewers Ask Linked List Questions?

    www.hillelwayne.com

    • history
    • programming

18. Why I Hate Advocacy

    www.perl.com

    • programming
    • rants

19. Why I invented “dash encoding”, a new encoding scheme for URL paths

    simonwillison.net

    • programming

20. Why Rust mutexes look like they do

    cliffle.com

    • programming
    • rust

21. Why The "Multiply and Floor" RNG Method Is Biased

    pthree.org

    • javascript
    • programming

22. Why can’t I set the font size of a visited link?

    jameshfisher.com

    • css
    • programming
    • security

23. Why is Idris 2 so much faster than Idris 1?

    www.type-driven.org.uk

    • idris
    • performance
    • programming

24. Why is it so hard to see code from 5 minutes ago?

    web.eecs.utk.edu

    • human-factors
    • programming
    • version-control

25. Why the fuck are we templating yaml?

    leebriggs.co.uk

    • programming
    • rants
    • yaml