Dependent types I › Universes, or types of types
jonmsterling.com·13h·
Discuss: Hacker News
🔤Type Theory
Teaching programming languages
kmjn.org·2d
🛠Language Design
On systematic construction of correct logic programs
arxiv.org·1d
⚖️Hoare Logic
Guessing Game: Haskell Style
entropicthoughts.com·1d
👑Dependent Haskell
TypeScript Cookbook • Stefan Baumgartner & Peter Kröner
youtube.com·1d
🎯Gradual Typing
Chatting with Unmesh about building language with LLMs
martinfowler.com·1d
🔄Language Evolution
The Lobster Programming Language
strlen.com·2d·
Discuss: Hacker News
🔗Concatenative Programming
Model-based Testing Distributed Systems with P Language (2021)
mydistributed.systems·1d·
Discuss: Lobsters, Hacker News, r/programming
📞Session Types
Implementing Forth in Go and C
eli.thegreenplace.net·16h·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🔗Concatenative Programming
Python 3.14 Preview: Lazy Annotations
realpython.com·6h
λLambda Formalization
Apparently it's easy to detect LLM-generated text now
papers.ssrn.com·1h·
Discuss: Hacker News
🔍Information Retrieval
Spectrum – catching clojure.spec conform errors at compile time
github.com·4h·
Discuss: Hacker News
🔗Functional Compilers
Which Programming Language Should I Teach First?
parentheticallyspeaking.org·3d·
Discuss: Lobsters, Hacker News, Hacker News
💻programming languages
The Grammar According to West
dwest.web.illinois.edu·6h·
Discuss: Hacker News
🔬Lean
Inside Zig's New Writer
joegm.github.io·5h·
Discuss: Lobsters, Hacker News, r/programming
💧Liquid Types
Song recommendations with F# free monads
blog.ploeh.dk·2d
🔗Functional Compilers
Applying SOLID Principles in Go
dev.to·20h·
Discuss: DEV
💧Liquid Types
Typeclassopedia
wiki.haskell.org·2d·
Discuss: Hacker News
🧬Functional Programming
How to Slow Down a Program? And Why it Can Be Useful.
stefan-marr.de·10h·
Discuss: Lobsters, Hacker News, r/programming
🚀Compiler Optimizations
Sense of Self and Time in Borderline Personality. A Comparative Robustness Study with Generative AI
arxiv.org·16h
🧠Intelligence Compression