LSM trees in postgres
notes.billmill.org·1d
🌲B-tree Variants
Free Things Are Complicated (Especially the Sphere Spectrum!)
grossack.site·2d
🧮Algebraic Archives
Prove me wrong, earn money!
nintil.com·1d·
Discuss: Hacker News
👑Isabelle
TheOdinProject/css-exercises
github.com·1d
⚡Proof Automation
Exploring the Governance of Bitcoin Core (2024)
infuy.com·5h·
Discuss: Hacker News
🧬Bitstream Evolution
We built audio/video RAG
ragie.ai·7h·
Discuss: Hacker News
💿FLAC Archaeology
Immediately-Invoked Function Expression (2010)
benalman.com·3d·
Discuss: Hacker News, r/programming
🔗Concatenative Programming
Swift and C++ Interoperability in Practice
arturgruchala.com·1d·
Discuss: Hacker News
✅Format Verification
Switchboard
switchboard-ai.com·1d·
Discuss: Hacker News
🎙️Whisper
How to keep up with AI progress
news.ycombinator.com·2d·
Discuss: Hacker News
🌀Brotli Internals
The Basics of Debugging Python Problems
kdnuggets.com·1d
🧪Data science
Anticipating Holes in ChatGPT's Knowledge
amahabal.substack.com·8h·
Discuss: Substack
🧠Intelligence Compression
Complexity of Abduction in \L{}ukasiewicz Logic
arxiv.org·1d
🏗️Constructive Mathematics
Probabilistic Soundness Guarantees in LLM Reasoning Chains
arxiv.org·4d
🛡️Proof-Carrying Archives
Google DeepMind's Gemini wins Mathematical Olympiad gold using only natural language
the-decoder.com·1d
🧮SMT Solvers
WebAssembly Component Model based REPL /w sandboxed multi-language plugin system
github.com·4d·
Discuss: Hacker News
🌐WASI
ROBAD: Robust Adversary-aware Local-Global Attended Bad Actor Detection Sequential Model
arxiv.org·18h
🎯Threat Hunting
Show HN: Stravu – Editable AI text, tables, diagrams (also multi-player AI)
news.ycombinator.com·1d·
Discuss: Hacker News
🌀Brotli Internals
We're building cross-functional AI-native teams (Would love your feedback)
medium.com·1d·
Discuss: Hacker News
🔄Language Evolution
Integrating Newton's Laws with deep learning for enhanced physics-informed compound flood modelling
arxiv.org·18h
🧠Learned Compression