Typeclassopedia
wiki.haskell.org·1d·
Discuss: Hacker News
🧬Functional Programming
Is Math Discovered or Invented?
curtispoe.org·9h
⚔️Lean Theorem
On systematic construction of correct logic programs
arxiv.org·12h
⚖️Hoare Logic
Guessing Game: Haskell Style
entropicthoughts.com·18h
👑Dependent Haskell
TypeScript Cookbook • Stefan Baumgartner & Peter Kröner
youtube.com·3h
🎯Gradual Typing
Knowledge and Common Knowledge in a Distributed Environment, Part 2
emptysqua.re·1d
🤝Paxos Consensus
Formal Methods for Stellar DeFi: Verifying Lending Protocol with Certora Sunbeam Prover
blog.positive.com·4h
✅Format Verification
Nullable vs. Nullable in C#
einarwh.no·21h·
Discuss: Lobsters, Hacker News, r/programming
✅Format Verification
Song recommendations with F# free monads
blog.ploeh.dk·1d
🔗Functional Compilers
Academic Philosophy - My quixotic quest
notes.billmill.org·1d
🏛️Philosophy
Two Dogmas of Empiricism
en.wikipedia.org·1d·
Discuss: Hacker News
💻Programming languages
Positional Embeddings in Transformers: A Math Guide to RoPE & ALiBi
towardsdatascience.com·2h
📐Geometric Hashing
busy beaver function
ncatlab.org·3d
⚔️Lean Theorem
Structural vs. Mathematical “Under” (2023)
dyalog.com·16h·
Discuss: Lobsters, Hacker News
🐚Shell Calculus
Claude Code's 19 cent Parser
blogger.com·1d
🔧Binary Parsers
Stable, Mutable References for Ante
antelang.org·1d·
Discuss: Lobsters, Hacker News, r/programming
🔒Type Safety
Go Coding with Asparagos: The Smartest Peanut in the Neighborhood
dev.to·9h·
Discuss: DEV
💾Binary codes
Spoon-Bending, a logical framework for analyzing GPT-5 alignment behavior
github.com·1d·
Discuss: Hacker News
💾Binary Linguistics
The Baby Paradox in Haskell
blog.jle.im·4d·
Discuss: Lobsters, Hacker News
🔤Type Theory
The Lobster Programming Language
strlen.com·20h·
Discuss: Hacker News
🔗Concatenative Programming