Sound and Solution-Complete CCBS
arxiv.org·20h
🛡️Archive Verification
busy beaver function
ncatlab.org·2d
⚔️Lean Theorem
How Many Paths of Length K Are There Between a and B?
horace.io·1d·
Discuss: Hacker News
🕸️Graph Algorithms
Academic Philosophy - My quixotic quest
notes.billmill.org·22h
🏛️Philosophy
Song recommendations with F# free monads
blog.ploeh.dk·17h
🔗Functional Compilers
Two Dogmas of Empiricism
en.wikipedia.org·12h·
Discuss: Hacker News
💻Programming languages
Intuition for Pick’s Theorem
johndcook.com·1d
📐Mathematical Art
Sets & Heaps in Haskell and Rust
mmhaskell.com·16h
🔒Type Safety
FLINT: Fast Library for Number Theory
flintlib.org·6h
🧮Algebraic Datatypes
Simon Stevin's Non-fraction method of Decimals
pballew.blogspot.com·1d·
Discuss: www.blogger.com
📐Interval Arithmetic
The Lobster Programming Language
strlen.com·5h·
Discuss: Hacker News
🔗Concatenative Programming
New instructor resources for Llaudet and Imai’s book, Data Analysis for Social Science
statmodeling.stat.columbia.edu·3h
📊Citation Graphs
Notes on Autograd
aschrein.github.io·6h·
Discuss: Hacker News
⚡Incremental Computation
How to Show that Studying Philosophy Improves Thinking Skills
dailynous.com·10h
🏛️Philosophy
A critique of philosophical objectivity
lapcatsoftware.com·10h
🏛️Philosophy
Review: The Mathematician’s Library, by Thomas K. Briggs
aperiodical.com·8h
📐Mathematical Art
Counting Org mode headlines
mbork.pl·19h
🏗️Constructive Logic
Knowledge and Common Knowledge in a Distributed Environment, Part 2
emptysqua.re·14h
🤝Paxos Consensus
Teaching programming languages
kmjn.org·12h
💻Programming languages
Is math discovered or invented?
mathwithbaddrawings.com·13h
📐Mathematical Art