Three Stages of Enlightenment
essenceofsoftware.com·2d·
Discuss: Hacker News
📵Digital Minimalism
Flag this post
🧠 The Simplest "Decision": Is AI Always Rational?
dev.to·13h·
Discuss: DEV
⏱️Computational Complexity
Flag this post
Cracking Code with Quantum: Can Machines Really Understand Us?
dev.to·18h·
Discuss: DEV
⚙️Compiler Design
Flag this post
Minimal Sufficiency: A Principle ‘Similar’ to End-to-End
cacm.acm.org·1d·
Discuss: Hacker News
⚙️Operating System Design
Flag this post
Decision theory when you can't make decisions
lesswrong.com·12m
🔲Cellular Automata
Flag this post
The Kinetics of Reasoning: How Chain-of-Thought Shapes Learning in Transformers?
arxiv.org·1d
📚Automata Learning
Flag this post
I Used Claude Code to Debug a Nightmare
blendingbits.io·5h·
Discuss: Hacker News
👁️System Observability
Flag this post
A portable picokernel for async I/O
ryansepassi.com·19h·
Discuss: Hacker News
🔧Unikernel Development
Flag this post
Smaller Surfaces
nrempel.com·58m·
Discuss: Hacker News
💎Refinement Types
Flag this post
Approximating Heavy-Tailed Distributions with a Mixture of Bernstein Phase-Type and Hyperexponential Models
arxiv.org·1d
🎯Hindley-Milner
Flag this post
Roadmap for Improving the Type Checker
forums.swift.org·1d·
🔍Type Inference
Flag this post
A Refreshing Philosophy of Software Design [Book Review]
theaxolot.wordpress.com·1d·
🔬Static Analysis
Flag this post
InputDSA: Demixing then Comparing Recurrent and Externally Driven Dynamics
arxiv.org·1d
🔲Cellular Automata
Flag this post
Cross-Platform Evaluation of Reasoning Capabilities in Foundation Models
arxiv.org·1d
🧠Automated Reasoning
Flag this post
Plan for Learning, Not Certainty
timcheadle.com·1d·
Discuss: Hacker News
📵Digital Minimalism
Flag this post
Ajla Tutorial
ajla-lang.cz·1d·
Discuss: Hacker News
🔬Static Analysis
Flag this post
AI Brain Freeze? Pruning the Path to Lightning-Fast Decisions by Arvind Sundararajan
dev.to·1d·
Discuss: DEV
🧠Automated Reasoning
Flag this post
Automated Verification of Multi-Modal Scientific Data Integrity through Hyperdimensional Cognitive Mapping
dev.to·1d·
Discuss: DEV
🧠Automated Reasoning
Flag this post
Don't Let It Fade: Preserving Edits in Diffusion Language Models via Token Timestep Allocation
arxiv.org·1d
🔤Language Design
Flag this post