Building our geospatial database in production
🎯GADT
Flag this post
original ↗
💾Retro Computing
Flag this post
A hydrogenase supports fermentative growth of gut bacteria in healthy people
🔲Cellular Automata
Flag this post
Real-time stock volatility prediction with deep learning on a time-series DB
🔢Algebraic Data Types
Flag this post
[D] Kosmos achieves 79.4% accuracy in 12-hour autonomous research sessions, but verification remains the bottleneck
🧠Automated Reasoning
Flag this post
A memo on Takeoff
lesswrong.com·1d
🐫Embedded OCaml
Flag this post
Post-Training LLMs as Better Decision-Making Agents: A Regret-Minimization Approach
arxiv.org·4h
📚Automata Learning
Flag this post
Schaltwerk – The IDE Without Editor
💻CLI Tools
Flag this post
Noise Injection: Improving Out-of-Distribution Generalization for Limited Size Datasets
arxiv.org·4h
📐Linear Algebra
Flag this post
Loading...Loading more...