Debugging Humidity: Lessons from deploying software in the physical world
physical-ai.ghost.io·10h·
Discuss: Hacker News
🛡️Error Boundaries
Mathematical model of memory suggests 7 senses are optimal
skoltech.ru·1d·
Discuss: Hacker News
🔲Cellular Automata
Every Artist Has a Favorite Subject. For Some, That’s Math.
nytimes.com·21h·
Discuss: Hacker News
📐Mathematical Art
Experimenting with ACL2 and Claude Code
mikedodds.org·18h·
Discuss: Hacker News
👑Isabelle
Exponential Error Bounds for Information Bottleneck Source Coding Problems
arxiv.org·1d
📐Compression Bounds
Three Solutions to Nondeterminism in AI
blog.hellas.ai·2d·
Discuss: Hacker News
🎯Performance Proofs
Fixed Points and Stochastic Meritocracies: A Long-Term Perspective
arxiv.org·1d
🔲Cellular Automata
Padding
reddit.com·2h·
Discuss: r/golang
🔧KAITAI
Bringing NumPy's type-completeness score to nearly 90% – Pyrefly
pyrefly.org·3d·
Discuss: Lobsters, Hacker News, r/programming
🎯Gradual Typing
A Manifesto for the Programming Desperado
github.com·14h·
Discuss: Hacker News
💻Programming languages
Contrastive Weak-to-strong Generalization
arxiv.org·1d
⧗Information Bottleneck
Memory Retrieval and Consolidation in Large Language Models through Function Tokens
arxiv.org·1d
💻Programming languages
Cactus Language • Semantics 2
inquiryintoinquiry.com·2d
🔢Denotational Semantics
Every Line of Code Is a Philosophy in Disguise
dev.to·23h·
Discuss: DEV
⚖️Emulation Ethics
Why Haskell is the perfect fit for renewable energy tech
mrcjkb.dev·2d·
Discuss: Hacker News
🧬Functional Programming
Parameterized Complexity of s-Club Cluster Edge Deletion
arxiv.org·2d
🧮Kolmogorov Complexity
In-Depth Analysis: "Attention Is All You Need"
dev.to·15h·
Discuss: DEV
🧠Intelligence Compression
Targeted Digital Twin via Flow Map Learning and Its Application to Fluid Dynamics
arxiv.org·1d
🔲Cellular Automata
Cactus Language • Semantics 1
inquiryintoinquiry.com·4d
🔢Denotational Semantics
IKNet: Interpretable Stock Price Prediction via Keyword-Guided Integration of News and Technical Indicators
arxiv.org·1d
🧠Learned Indexing