Certificates and Witnesses for Multi-objective {\omega}-regular Queries in Markov Decision Processes
arxiv.org·2h
🎯Performance Proofs
Structural vs. Mathematical “Under” (2023)
dyalog.com·6h·
Discuss: Lobsters, Hacker News
🐚Shell Calculus
busy beaver function
ncatlab.org·2d
⚔️Lean Theorem
Academic Philosophy - My quixotic quest
notes.billmill.org·1d
🏛️Philosophy
Song recommendations with F# free monads
blog.ploeh.dk·23h
🔗Functional Compilers
FLINT: Fast Library for Number Theory
flintlib.org·12h
🧮Algebraic Datatypes
Sound and Solution-Complete CCBS
arxiv.org·1d
🛡️Archive Verification
Sets & Heaps in Haskell and Rust
mmhaskell.com·22h
🔒Type Safety
Intuition for Pick’s Theorem
johndcook.com·1d
📐Mathematical Art
How Many Paths of Length K Are There Between a and B?
horace.io·1d·
Discuss: Hacker News
🕸️Graph Algorithms
Two Dogmas of Empiricism
en.wikipedia.org·18h·
Discuss: Hacker News
💻Programming languages
Simon Stevin's Non-fraction method of Decimals
pballew.blogspot.com·2d·
Discuss: www.blogger.com
📐Interval Arithmetic
Notes on Autograd
aschrein.github.io·12h·
Discuss: Hacker News
⚡Incremental Computation
How to Show that Studying Philosophy Improves Thinking Skills
dailynous.com·16h
🏛️Philosophy
A critique of philosophical objectivity
lapcatsoftware.com·16h
🏛️Philosophy
Teaching programming languages
kmjn.org·18h
💻Programming languages
The Lobster Programming Language
strlen.com·11h·
Discuss: Hacker News
🔗Concatenative Programming
On systematic construction of correct logic programs
arxiv.org·2h
⚖️Hoare Logic
Mini-Review: The Life and Times of the Cubic-Solving Guy
daveagp.wordpress.com·4h
🗝️Paleocryptography
Knowledge and Common Knowledge in a Distributed Environment, Part 2
emptysqua.re·20h
🤝Paxos Consensus