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. How to change symlinks atomically

   blog.moertel.com

   • programming

2. How to fool the “try some test cases” heuristic: Algorithms that appear correct, but are actually incorrect

   cs.stackexchange.com

   • programming
   • testing

3. How we made Haskell search strings as fast as Rust

   tech.channable.com

   • haskell
   • performance
   • programming
   • rust

4. How we made Typerighter, the Guardian’s style guide checker

   www.theguardian.com

   • programming

5. Hypermodeling Hyperproperties

   www.hillelwayne.com

   • formal-methods
   • programming

6. Idempotency

   stripe.com

   • networking
   • programming

7. Implementing unsafeCoerce correctly using unsafePerformIO

   www.reddit.com

   • haskell
   • programming

8. Implications of pure and constant functions

   lwn.net

   • c
   • programming

9. Improved performance in Nixpkgs

   matthewbauer.us

   • nix
   • performance
   • programming

10. Improvements in GHC's testsuite infrastructure

    www.haskell.org

    • haskell
    • programming
    • testing

11. Improving Random

    mail.haskell.org

    • haskell
    • programming

12. Index 1,600,000,000 Keys with Automata and Rust

    burntsushi.net

    • programming
    • rust
    • performance

13. Intercepting t.co links using DNS rewrites

    djharper.dev

    • dns
    • programming

14. Introducing Dexter, the Automatic Indexer for Postgres

    ankane.org

    • performance
    • programming

15. It rather involved being on the other side of this airtight hatchway

    devblogs.microsoft.com

    • programming
    • security

16. It takes a PhD to develop that

    blog.royalsloth.eu

    • performance
    • programming

17. It’s Time for a Modern Synthesis Kernel

    blog.regehr.org

    • performance
    • programming

18. JSON Parsing from Scratch in Haskell

    abhinavsarkar.net

    • haskell
    • json
    • programming

19. John Carmack on Inlined Code

    number-none.com

    • c
    • programming

20. Keep a Changelog

    keepachangelog.com

    • programming

21. Kubernetes and the Erlang VM: orchestration on the large and the small

    blog.plataformatec.com.br

    • devops
    • erlang
    • k8s
    • programming

22. Kubernetes on Hetzner

    bilbof.com

    • programming
    • networking

23. Languages I want to write

    blog.wesleyac.com

    • programming
    • type-systems

24. Large Rust Workspaces

    matklad.github.io

    • programming
    • rust

25. Lazy validation

    ro-che.info

    • haskell
    • programming