Certificates and Witnesses for Multi-objective {\omega}-regular Queries in Markov Decision Processes
arxiv.org·5h
🎯Performance Proofs
FLINT: Fast Library for Number Theory
flintlib.org·15h
🧮Algebraic Datatypes
Structural vs. Mathematical “Under” (2023)
dyalog.com·9h·
Discuss: Lobsters, Hacker News
🐚Shell Calculus
Sets & Heaps in Haskell and Rust
mmhaskell.com·1d
🔒Type Safety
Mini-Review: The Life and Times of the Cubic-Solving Guy
daveagp.wordpress.com·7h
🗝️Paleocryptography
noble-curves: audited and minimal elliptic curve cryptography in JavaScript
github.com·15h·
Discuss: Hacker News
🔱Galois Cryptography
How Many Paths of Length K Are There Between a and B?
horace.io·1d·
Discuss: Hacker News
🕸️Graph Algorithms
Simon Stevin's Non-fraction method of Decimals
pballew.blogspot.com·2d·
Discuss: www.blogger.com
📜Manuscript Calculus
k-NN Classification and Model Evaluation
dev.to·2h·
Discuss: DEV
🧠Machine Learning
What writing a failed rock-paper-scissors program taught me (or should have taught me) about sample size and uncertainty
statmodeling.stat.columbia.edu·19h
🧮Kolmogorov Bounds
It takes 26 yottabytes of RAM to typecheck a union of Safe Integers
playfulprogramming.com·1d
🧪Binary Fuzzing
16-Bit Fast Inverse Square Root
ashdnazg.github.io·2d·
Discuss: Hacker News
🔢Bitwise Algorithms
Is math discovered or invented?
mathwithbaddrawings.com·22h
📐Mathematical Art
Derek Elkins: Arithmetic Functions
hedonisticlearning.com·3d·
Discuss: Hacker News
⚔️Lean Theorem
Uncertain< T >: A First-Order Type for Uncertain Data (2014)
microsoft.com·1d·
Discuss: Hacker News
🧪Binary Fuzzing
Bmssp: A New Shortest Path Algorithm
rohanparanjpe.substack.com·15h·
Discuss: Substack
🔗Topological Sorting
Orders of magnitude (time)
en.m.wikipedia.org·25m
⏰Time Crystals
TabResFlow: A Normalizing Spline Flow Model for Probabilistic Univariate Tabular Regression
arxiv.org·5h
📊Count-Min Sketch
Linear scan with lifetime holes
bernsteinbear.com·2d·
Discuss: Lobsters, Hacker News, r/programming
🚀Compiler Optimizations
Quality Precision
lesswrong.com·15h·
Discuss: Hacker News
✅FLAC Verification