Tagged with programming

1. 2017-06-20
   On Competing with C Using Haskell
2. 2017-05-21
   Extendable Data in Haskell (part 2)
3. 2017-05-08
   Dynamic Dispatch in Haskell, or: How Can I Make My Code Extendable?
4. 2017-03-31
   Reading Notes: Guide for Ravenscar in High Integrity Systems
5. 2017-03-10
   Selective Delays in SPARK and Ravenscar
6. 2017-03-08
   Unicode Strings in Ada 2012
7. 2017-02-22
   Timeout Blocking Requests in Ada
8. 2017-02-13
   Guessing Game: Ada Style!
9. 2017-02-01
   Intuition for Time Complexity of Algorithms
10. 2016-12-06
    My Experience Using Yesod for a "Quick Hack"
11. 2016-10-08
    Pomohoro: Combine the Pomodoro Technique with hledger and Timeclock for Productivity
12. 2016-05-03
    The Bug in the Physical Building
13. 2015-12-20
    Using withPtr From inline-c in Haskell
14. 2015-09-16
    Bubble Sort: Not Even Once
15. 2015-08-30
    A Haskell Time Library Tutorial
16. 2015-08-24
    Static Generation with Haskell
17. 2015-08-23
    Statically Generated Blog
18. 2015-08-05
    The Case for Controlled Side Effects
19. 2015-07-02
    The Mystery of the Deterministic Super Shotgun
20. 2015-07-01
    Web Scraping with Lenses
21. 2015-06-21
    How Laziness Works
22. 2015-03-06
    Parser Combinators
23. 2015-02-14
    Fast SQL for Inheritance in a Django Hierarchy
24. 2015-02-10
    Documentation: Reference Manual vs. Cookbook
25. 2015-02-06
    Why Web Apps Disappoint Me
26. 2015-01-27
    How Much Does an Experienced Programmer Use Google
27. 2015-01-01
    The "What Are Monads?" Fallacy
28. 2014-12-19
    Move Translations Between Django Apps
29. 2014-12-08
    Myth of the Day: Functional Programmers Don't Use Loops
30. 2014-12-05
    Discoverability of Functions in Functional Languages
31. 2014-11-14
    What Optimisations Are Not
32. 2014-11-12
    Why Code Review Matters: Suble (Often Non-Breaking) Bugs
33. 2014-11-04
    Say What You Mean, Not What Happens to Work
34. 2014-10-27
    Crash-Only Software on the Desktop, Please