| 1. | | HMQ: Principal Type Inference Under a Prefix (microsoft.com) |
| 2 points by ctenb 6 months ago | past |
|
| 2. | | Graphviz.NetWrapper (github.com/rubjerg) |
| 1 point by ctenb 7 months ago | past |
|
| 3. | | TPSV, an Alternative to TSV (and CSV) (chtenb.dev) |
| 41 points by ctenb 9 months ago | past | 61 comments |
|
| 4. | | Monaspace v1.2 Released (github.com/githubnext) |
| 2 points by ctenb 11 months ago | past |
|
| 5. | | Pure DI: dependency injection for .NET without reflection (github.com/devteam) |
| 3 points by ctenb on Nov 13, 2024 | past |
|
| 6. | | Koka v3 Released (github.com/koka-lang) |
| 3 points by ctenb on Jan 14, 2024 | past | 1 comment |
|
| 7. | | The Evolution of Effects [video] (youtube.com) |
| 1 point by ctenb on Dec 1, 2023 | past |
|
| 8. | | Perceus Algorithm in Koka Lecture (Reference Counting with Reuse) (2021) [video] (youtube.com) |
| 1 point by ctenb on Nov 21, 2023 | past |
|
| 9. | | Show HN: Helix.vim (github.com/chtenb) |
| 6 points by ctenb on Nov 2, 2023 | past | 2 comments |
|
| 10. | | Graphviz.NetWrapper 2.0.0 Released (github.com/rubjerg) |
| 1 point by ctenb on Sept 6, 2023 | past | 1 comment |
|
| 11. | | Laziness in Haskell – Part 4: Thunks [video] (youtube.com) |
| 3 points by ctenb on Sept 2, 2023 | past |
|
| 12. | | Laziness in Haskell – Part 3: Demand [video] (youtube.com) |
| 3 points by ctenb on Aug 25, 2023 | past |
|
| 13. | | Ask HN: What tooling do you use for organizing/offloading your thoughts? |
| 2 points by ctenb on Aug 25, 2023 | past | 11 comments |
|
| 14. | | Ask HN: What is the most suitable Scheme implementation to learn today? |
| 2 points by ctenb on Aug 24, 2023 | past | 2 comments |
|
| 15. | | A simple and opinionated modal code editor for your terminal (vamolessa.github.io) |
| 2 points by ctenb on Aug 23, 2023 | past |
|
| 16. | | Laziness in Haskell – Part 2: Why Not Strict Haskell? [video] (youtube.com) |
| 8 points by ctenb on Aug 18, 2023 | past |
|
| 17. | | Ask HN: Any Vim users who are sticking with Vim over Neovim? |
| 9 points by ctenb on Aug 12, 2023 | past | 18 comments |
|
| 18. | | Ask HN: What is your favorite tool to resolve Git merge conflicts? |
| 3 points by ctenb on July 12, 2023 | past | 6 comments |
|
| 19. | | Testing General Rules Through Property-Based Tests (2020) (arothuis.nl) |
| 1 point by ctenb on June 22, 2023 | past | 1 comment |
|
| 20. | | Hierarchical Free Monads: Mostly Pointless (2020) (github.com/effectfully-ou) |
| 1 point by ctenb on June 3, 2023 | past |
|
| 21. | | Ask HN: A US programmer makes 3 times that of a EU programmer. Why? |
| 81 points by ctenb on Oct 12, 2021 | past | 140 comments |
|
| 22. | | Railroad Oriented Programming in C# (chtenb.dev) |
| 2 points by ctenb on Oct 8, 2021 | past |
|
| 23. | | PureScript: A strongly-typed functional language that compiles to JavaScript (purescript.org) |
| 3 points by ctenb on July 27, 2021 | past |
|
| 24. | | The missing C# built-in type: void (chtenb.dev) |
| 2 points by ctenb on July 16, 2021 | past |
|
| 25. | | Show HN: Online dozenal guitar tablature viewer written in PureScript (github.com/dznl) |
| 3 points by ctenb on June 20, 2021 | past | 2 comments |
|
| 26. | | Rubjerg/Graphviz.NetWrapper (github.com/rubjerg) |
| 1 point by ctenb on May 27, 2021 | past | 1 comment |
|
| 27. | | Show HN: Add Dozenal Digits to Fonts (github.com/dznl) |
| 1 point by ctenb on May 18, 2021 | past |
|
