| | Browse Code by Meaning (haskellforall.com) |
| 23 points by cl3misch 1 day ago | past | 2 comments |
|
| | Browse Code by Meaning (haskellforall.com) |
| 5 points by romac 1 day ago | past | discuss |
|
| | Browse Code by Meaning (haskellforall.com) |
| 5 points by todsacerdoti 2 days ago | past | 2 comments |
|
| | Beyond agentic coding (haskellforall.com) |
| 269 points by RebelPotato 11 days ago | past | 90 comments |
|
| | Beyond Agentic Coding (haskellforall.com) |
| 5 points by todsacerdoti 11 days ago | past | discuss |
|
| | My Experience with Vibe Coding (haskellforall.com) |
| 8 points by todsacerdoti 16 days ago | past | 3 comments |
|
| | Type-Safe Eval in Grace (haskellforall.com) |
| 5 points by todsacerdoti 29 days ago | past |
|
| | Chat is the least interesting interface to LLMs (haskellforall.com) |
| 4 points by sebg 34 days ago | past |
|
| | Chat is the least interesting interface to LLMs (haskellforall.com) |
| 7 points by todsacerdoti 35 days ago | past |
|
| | Prompting 101: Show, don't tell (haskellforall.com) |
| 9 points by birdculture 38 days ago | past |
|
| | Prompting 101: Show, don't tell (haskellforall.com) |
| 7 points by todsacerdoti 40 days ago | past |
|
| | Nix Steering Committee vote of no confidence (haskellforall.com) |
| 11 points by Bogdanp 4 months ago | past | 5 comments |
|
| | Unification-free ("keyword") type checking (haskellforall.com) |
| 3 points by fanf2 5 months ago | past |
|
| | Steering Committee Retrospective (haskellforall.com) |
| 3 points by Athas 5 months ago | past |
|
| | Steering Committee Retrospective (haskellforall.com) |
| 9 points by todsacerdoti 5 months ago | past |
|
| | Type Inference for Plain Data (haskellforall.com) |
| 1 point by PaulHoule 5 months ago | past |
|
| | Type Inference for Plain Data (haskellforall.com) |
| 4 points by fanf2 5 months ago | past |
|
| | Type Inference for Plain Data (haskellforall.com) |
| 8 points by todsacerdoti 6 months ago | past |
|
| | Optics Are Monoids (2021) (haskellforall.com) |
| 3 points by xaedes 7 months ago | past |
|
| | Scrap Your Type Classes (haskellforall.com) |
| 3 points by asplake 8 months ago | past |
|
| | Prompt chaining reimagined with type inference (haskellforall.com) |
| 5 points by birdculture 9 months ago | past |
|
| | Prompt chaining reimagined with type inference (haskellforall.com) |
| 10 points by todsacerdoti 9 months ago | past |
|
| | The golden rule of software distributions (2022) (haskellforall.com) |
| 2 points by walterbell on Jan 10, 2025 | past | 1 comment |
|
| | The Haskell inlining and specialization FAQ (haskellforall.com) |
| 3 points by JNRowe on Nov 14, 2024 | past |
|
| | Namespaced De Bruijn Indices (haskellforall.com) |
| 8 points by fanf2 on Oct 25, 2024 | past |
|
| | Firewall rules: not as secure as you think (haskellforall.com) |
| 189 points by jnord on Aug 29, 2024 | past | 82 comments |
|
| | Firewall rules: not as secure as you think (haskellforall.com) |
| 4 points by todsacerdoti on Aug 29, 2024 | past |
|
| | Software engineers are not (and should not be) technicians (haskellforall.com) |
| 65 points by dahlia on July 24, 2024 | past | 82 comments |
|
| | Software engineers are not (and should not be) technicians (haskellforall.com) |
| 8 points by todsacerdoti on July 23, 2024 | past | 1 comment |
|
| | Quality and productivity are not necessarily mutually exclusive (haskellforall.com) |
| 4 points by thunderbong on July 8, 2024 | past | 2 comments |
|
|
| More |
