u/Tekmo

4,120 post karma · 123.5k comment karma · joined Jul 2007 · moderator

1. 137points

   First work-in-progress release of "NixOS in Production" book (7 chapters so far) (leanpub.com)

   submitted Mar 2023 by u/Tekmo to r/NixOS

   16 comments · source

2. 68points

   Generate web forms from pure functions (haskellforall.com)

   submitted May 2022 by u/Tekmo to r/haskell

   8 comments · source

3. 56points

   The hard part of type-checking Nix (haskellforall.com)

   submitted Mar 2022 by u/Tekmo to r/NixOS

   8 comments · source

4. 69points

   Dependent if expressions without dependent types (haskellforall.com)

   submitted Sep 2026 by u/Tekmo to r/haskell

   12 comments · source

5. 21points

   Mechanized type inference for record concatenation (haskellforall.com)

   submitted Jul 2026 by u/Tekmo to r/ProgrammingLanguages

   4 comments · source

6. 53points

   Record type inference for dummies (haskellforall.com)

   submitted Jun 2026 by u/Tekmo to r/ProgrammingLanguages

   16 comments · source

7. 149points

   Type out the code (haskellforall.com)

   submitted May 2026 by u/Tekmo to r/programming

   15 comments · source

8. 35points

   A bidirectional typechecking puzzle (haskellforall.com)

   submitted May 2026 by u/Tekmo to r/ProgrammingLanguages

   12 comments · source

9. 603points

   A sufficiently detailed spec is code (haskellforall.com)

   submitted Mar 2026 by u/Tekmo to r/programming

   221 comments · source

10. 3points

    Browse code by meaning (haskellforall.com)

    submitted Feb 2026 by u/Tekmo to r/programming

    6 comments · source

11. 0points

    Beyond agentic coding (haskellforall.com)

    submitted Feb 2026 by u/Tekmo to r/programming

    2 comments · source

12. 0points

    My experience with vibe coding (haskellforall.com)

    submitted Feb 2026 by u/Tekmo to r/programming

    0 comments · source

13. 38points

    Type-safe eval in Grace (haskellforall.com)

    submitted Jan 2026 by u/Tekmo to r/ProgrammingLanguages

    5 comments · source

14. 0points

    Chat is the least interesting interface to LLMs (haskellforall.com)

    submitted Jan 2026 by u/Tekmo to r/programming

    3 comments · source

15. 37points

    Type inference for plain data (haskellforall.com)

    submitted Aug 2025 by u/Tekmo to r/haskell

    11 comments · source

16. 0points

    Prompt chaining reimagined with type inference (haskellforall.com)

    submitted May 2025 by u/Tekmo to r/programming

    0 comments · source

17. 30points

    The Haskell inlining and specialization FAQ (haskellforall.com)

    submitted Nov 2024 by u/Tekmo to r/haskell

    3 comments · source

18. 0points

    Firewall rules: not as secure as you think (haskellforall.com)

    submitted Aug 2024 by u/Tekmo to r/programming

    8 comments · source

19. 308points

    Software engineers are not (and should not be) technicians (haskellforall.com)

    submitted Jul 2024 by u/Tekmo to r/programming

    106 comments · source

20. 21points

    Quality and productivity are not necessarily mutually exclusive (haskellforall.com)

    submitted Jul 2024 by u/Tekmo to r/programming

    10 comments · source

21. 709points

    My spiciest take on tech hiring (haskellforall.com)

    submitted Jun 2024 by u/Tekmo to r/programming

    343 comments · source

22. 40points

    Prefer do notation over Applicative operators when assembling records (haskellforall.com)

    submitted May 2024 by u/Tekmo to r/haskell

    31 comments · source

23. 0points

    All error messages are necessarily bad to some degree (haskellforall.com)

    submitted May 2024 by u/Tekmo to r/programming

    3 comments · source

24. 34points

    The siren song of domain-specific languages (haskellforall.com)

    submitted Feb 2024 by u/Tekmo to r/programming

    18 comments · source

25. 20points

    Unification-free ("keyword") type checking (haskellforall.com)

    submitted Feb 2024 by u/Tekmo to r/ProgrammingLanguages

    18 comments · source