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. How to fool the “try some test cases” heuristic: Algorithms that appear correct, but are actually incorrect

   cs.stackexchange.com

   • programming
   • testing

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

   tech.channable.com

   • haskell
   • performance
   • programming
   • rust

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

   www.theguardian.com

   • programming

4. Hypermodeling Hyperproperties

   www.hillelwayne.com

   • formal-methods
   • programming

5. Idempotency

   stripe.com

   • networking
   • programming

6. Implementing unsafeCoerce correctly using unsafePerformIO

   www.reddit.com

   • haskell
   • programming

7. Implications of pure and constant functions

   lwn.net

   • c
   • programming

8. Improved performance in Nixpkgs

   matthewbauer.us

   • nix
   • performance
   • programming

9. Improvements in GHC's testsuite infrastructure

   www.haskell.org

   • haskell
   • programming
   • testing

10. Improving Random

    mail.haskell.org

    • haskell
    • programming

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

    burntsushi.net

    • programming
    • rust
    • performance

12. Intercepting t.co links using DNS rewrites

    djharper.dev

    • dns
    • programming

13. Introducing Dexter, the Automatic Indexer for Postgres

    ankane.org

    • performance
    • programming

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

    devblogs.microsoft.com

    • programming
    • security

15. It takes a PhD to develop that

    blog.royalsloth.eu

    • performance
    • programming

16. It’s Time for a Modern Synthesis Kernel

    blog.regehr.org

    • performance
    • programming

17. JSON Parsing from Scratch in Haskell

    abhinavsarkar.net

    • haskell
    • json
    • programming

18. John Carmack on Inlined Code

    number-none.com

    • c
    • programming

19. Keep a Changelog

    keepachangelog.com

    • programming

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

    blog.plataformatec.com.br

    • devops
    • erlang
    • k8s
    • programming

21. Kubernetes on Hetzner

    bilbof.com

    • programming
    • networking

22. Languages I want to write

    blog.wesleyac.com

    • programming
    • type-systems

23. Large Rust Workspaces

    matklad.github.io

    • programming
    • rust

24. Lazy validation

    ro-che.info

    • haskell
    • programming

25. Learning to code at GDS

    gds.blog.gov.uk

    • experience-reports
    • human-factors
    • programming