Song recommendations with C# free monads
blog.ploeh.dk·12h
🔧PLT
Isolated(any)
nshipster.com·3h·
Discuss: Hacker News
🔍Static Analysis
Tradeoffs of Highly-Expressive Types
jnkr.tech·1d·
Discuss: Hacker News
🔧PLT
Baby's first type checker
austinhenley.com·1d·
Discuss: Lobsters, Hacker News
🔧PLT
Discriminated Unions and Enums: a modest implementation.
github.com·4h·
Discuss: r/golang
🔧PLT
Lisp Still Matters
funcall.blogspot.com·3h·
Discuss: Hacker News
🔧PLT
They can't always be good days
dev.to·1d·
Discuss: DEV
🔧PLT
How to Test
matklad.github.io·7h·
Discuss: Hacker News
🔍Static Analysis
Normalisation of SWIFT Message Counterparties with Feature Extraction and Clustering
arxiv.org·14h
🔍Static Analysis
Bootstrapping a Forth for Art
tia.mat.br·1d·
Discuss: Lobsters, Hacker News
🔧PLT
Type-safe and user-friendly error handling in Swift 6
theswiftdev.com·15h·
Discuss: Hacker News
🐫Ocaml
JEP 502 Stable Values: in depth, how to use, potential issues
softwaremill.com·8h
🔧PLT
Quirks of Common Lisp Types
fosskers.ca·1d·
Discuss: Lobsters, Hacker News
🔧PLT
Dependent? Extensible? The curious case of union type in Kotlin
hacklewayne.com·23h
🔍Static Analysis
Monday Morning Haskell: Starting out with Graph Algorithms: Basic DFS
mmhaskell.com·10h
🔧PLT
Lively Linear Lisp (1992)
plover.com·16h·
Discuss: Lobsters, Hacker News
🔧PLT
Felienne Hermans
deprogrammaticaipsum.com·15h
🔧PLT
TypeScript Expert Revision Handbook
dev.to·23h·
Discuss: DEV
🔧PLT
Systems Engineering for Agentic Applications
agenticapplications.substack.com·5h·
Discuss: r/programming
📐formal specification
Show HN: Fine-tuned Llama 3.2 3B to match 70B models for local transcripts
bilawal.net·12m·
Discuss: Hacker News
🐫Ocaml