FinSurvival: A Suite of Large Scale Survival Modeling Tasks from Finance
arxiv.org·6h
🧪Data science
Deeper Theories of Program Design
typesanitizer.com·1d·
Discuss: Lobsters, Hacker News, r/programming
🐚Shell Calculus
Extensions and Shadows (7)
sites.psu.edu·19h
🧮Kolmogorov Complexity
Free Things Are Complicated (Especially the Sphere Spectrum!)
grossack.site·2d
🧮Algebraic Archives
We Built a Language Model 14,000,000x Smaller Than GPT3 and Formally Verified It
github.com·19m·
Discuss: Hacker News
🌳Context free grammars
LSM trees in postgres
notes.billmill.org·18h
🌲B-tree Variants
Try These Logic Puzzles from the International Logic Olympiad
scientificamerican.com·17h
📚Proof Pedagogy
Compliance relics: the case against PDFs and screenshots
techradar.com·1d
🔗Data Provenance
"It could easily be shown..." Probability and Pi and the Riemann Zeta Function
pballew.blogspot.com·1d·
Discuss: www.blogger.com
⚔️Lean Theorem
[Project] Distributed file system - implementing file deletion
reddit.com·1d·
Discuss: r/golang
🗄️File Systems
AIC and combined discrete/continuous models
notstatschat.rbind.io·10h
🎯Arithmetic Coding Theory
Build an AI-powered automated summarization system with Amazon Bedrock and Amazon Transcribe using Terraform
aws.amazon.com·16h
🌊Streaming Systems
A Regular Expression Matcher Code: Rob Pike, exegesis by Brian Kernighan
cs.princeton.edu·9h
🔍RegEx Engines
Quark’s Outlines: Python Integers
dev.to·1d·
Discuss: DEV
✅Format Verification
What makes SQL special
technicaldeft.com·37m·
Discuss: Hacker News, r/SoftwareEngineering, r/programming
⛏️SQL Archaeology
XProc tips and tricks
so.nwalsh.com·1d
⚡Proof Automation
Vitalik Buterin's response to AI 2027
vitalik.eth.limo·5h·
Discuss: Hacker News
🔲Cellular Automata
Doubly transitive equiangular tight frames that contain regular simplices
arxiv.org·6h
🌀Differential Geometry
Commentary: AI Reasoning on IMO(International Math Olympiad)
jonaskgomo.com·19h·
Discuss: Hacker News
🎯Performance Proofs
Designing for the different stages of a system's life
exploring-better-ways.bellroy.com·1h·
Discuss: Hacker News
💾Persistence Strategies