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. Simon Peyton Jones: Pursuing a Trick a Long Way, Just To See Where It Goes

   www.youtube.com

   • haskell
   • programming

2. Software qualities: what they are and how can you improve them

   afpr252.github.io

   • programming
   • security

3. Solving `Passport Application` with Haskell

   jameshaydon.github.io

   • programming
   • haskell

4. Some Tricks for List Manipulation

   doisinkidney.com

   • haskell
   • programming

5. Some obscure C features

   multun.net

   • c
   • programming

6. Speeding up GROUP BY in PostgreSQL

   www.cybertec-postgresql.com

   • performance
   • programming

7. Splittable pseudo-random number generators in Haskell: random v1.1 and v1.2

   www.tweag.io

   • haskell
   • programming

8. Stacked Borrows Implemented

   www.ralfj.de

   • programming
   • rust
   • type-systems

9. Start all of your commands with a comma

   rhodesmill.org

   • programming
   • linux

10. Stevens: a hackable AI assistant using a single SQLite table and a handful of cron jobs

    www.geoffreylitt.com

    • programming
    • llm

11. Structural typing and first-class case expressions

    ice1000.org

    • programming
    • type-systems

12. Subtraction Is Functionally Complete

    orlp.net

    • programming

13. Summed-area table

    en.wikipedia.org

    • data-structures
    • programming

14. Symbiosis Ware

    wiki.c2.com

    • programming

15. Synthesizing Loop-Free Programs with Rust and Z3

    fitzgeraldnick.com

    • formal-methods
    • programming
    • rust

16. Systems, not Programs

    shalabh.com

    • programming

17. Talk write-up: "How to build a PaaS for 1500 engineers"

    srvaroa.github.io

    • experience-reports
    • programming

18. Tarot for Hackers

    christine.website

    • human-factors
    • programming

19. Term/Type Punning in Haskell

    int-index.com

    • haskell
    • programming

20. Testable IO in Haskell

    andyfriesen.com

    • haskell
    • programming
    • testing

21. Testing higher-order properties with QuickCheck

    blog.poisson.chat

    • haskell
    • programming
    • testing

22. Testing sync at Dropbox

    dropbox.tech

    • programming
    • testing

23. Tests Should Build Confidence

    domk.website

    • programming
    • testing

24. Tests aren’t enough: Case study after adding type hints to urllib3

    sethmlarson.dev

    • programming
    • testing
    • type-systems

25. The Boeing 777 Flies on 99.9% Ada

    archive.adaic.com

    • ada
    • experience-reports
    • programming