busy beaver function
ncatlab.org·2d
⚔️Lean Theorem
Sound and Solution-Complete CCBS
arxiv.org·17h
🛡️Archive Verification
How Many Paths of Length K Are There Between a and B?
horace.io·1d·
Discuss: Hacker News
🕸️Graph Algorithms
Song recommendations with F# free monads
blog.ploeh.dk·14h
🔗Functional Compilers
Academic Philosophy - My quixotic quest
notes.billmill.org·19h
🏛️Philosophy
Knowledge and Common Knowledge in a Distributed Environment, Part 2
emptysqua.re·10h
🤝Paxos Consensus
Intuition for Pick’s Theorem
johndcook.com·1d
📐Mathematical Art
Two Dogmas of Empiricism
en.wikipedia.org·8h·
Discuss: Hacker News
💻Programming languages
Sets & Heaps in Haskell and Rust
mmhaskell.com·12h
🔒Type Safety
Capture Checking in Scala
nrinaudo.github.io·15h·
Discuss: Hacker News
🧪Binary Fuzzing
How to Show that Studying Philosophy Improves Thinking Skills
dailynous.com·7h
🏛️Philosophy
The Science of Intelligent Exploration: Why We Need Exploration in AI
richardcsuwandi.github.io·1d·
Discuss: Hacker News
🔲Cellular Automata
FLINT: Fast Library for Number Theory
flintlib.org·2h
🧮Algebraic Datatypes
Notes on Autograd
aschrein.github.io·2h·
Discuss: Hacker News
⚡Incremental Computation
Review: The Mathematician’s Library, by Thomas K. Briggs
aperiodical.com·5h
📐Mathematical Art
UChicago Lost Money on Crypto, Then Froze Research When Federal Funding Was Cut
stanfordreview.org·15h
🔍BitFunnel
Automated Semantic Disambiguation via Multi-Modal Knowledge Graph Fusion
dev.to·1d·
Discuss: DEV
✓Automated Theorem Proving
Typeclassopedia
wiki.haskell.org·18h·
Discuss: Hacker News
🧬Functional Programming
A critique of philosophical objectivity
lapcatsoftware.com·6h
🏛️Philosophy
What writing a failed rock-paper-scissors program taught me (or should have taught me) about sample size and uncertainty
statmodeling.stat.columbia.edu·7h
🧮Kolmogorov Bounds