Typeclassopedia
wiki.haskell.org·14h·
Discuss: Hacker News
🧬Functional Programming
Song recommendations with F# free monads
blog.ploeh.dk·10h
🔗Functional Compilers
Teaching programming languages
kmjn.org·5h
💻Programming languages
DocHop-QA: Towards Multi-Hop Reasoning over Multimodal Document Collections
arxiv.org·13h
📇Dublin Core
Sets & Heaps in Haskell and Rust
mmhaskell.com·9h
🔒Type Safety
busy beaver function
ncatlab.org·2d
⚔️Lean Theorem
CL-JSON Ambiguity
funcall.blogspot.com·2d·
Discuss: www.blogger.com
🧠Lisp Dialects
Claude Code's 19 cent Parser
blogger.com·4h
🔧Binary Parsers
Stable, Mutable References for Ante
antelang.org·4h·
Discuss: Hacker News, r/programming
🔒Type Safety
Build a Smart Search App with LangChain and PostgreSQL on Google Cloud
blog.devops.dev·6h
🌀Brotli Dictionary
Formal verification effort for the ABDK Math 64.64 library using echidna/hevm
github.com·3h·
Discuss: Hacker News
✅Format Verification
Capture Checking in Scala
nrinaudo.github.io·12h·
Discuss: Hacker News
🧪Binary Fuzzing
A Program That Molds To Your Needs II
irreal.org·1d
🔗Concatenative Languages
A Fast Bytecode VM for Arithmetic: The Compiler
abhinavsarkar.net·1d·
Discuss: Lobsters, Hacker News
🔗Functional Compilers
Knowledge and Common Knowledge in a Distributed Environment, Part 2
emptysqua.re·7h
🤝Paxos Consensus
Uncertain< T >: A First-Order Type for Uncertain Data (2014)
microsoft.com·1d·
Discuss: Hacker News
🧪Binary Fuzzing
Where to Go After TypingClub?
typequicker.com·22m·
Discuss: Hacker News
🎯Gradual Typing
Build and deploy small AI models from the browser
blog.minibase.ai·2h·
Discuss: Hacker News
🌀Brotli Internals
[P] aligning non-linear features with your data distribution
reddit.com·7h·
Discuss: r/MachineLearning
🧠Machine Learning
Systematic LLM Prompt Engineering Using DSPy Optimization
towardsdatascience.com·1h
⚡Proof Automation