Building Software That Survives • Michael Nygard & Charles Humble • GOTO 2025
youtube.com·1d
🔧DevOps
Flag this post
What to Do When Your Credit Risk Model Works Today, but Breaks Six Months Later
towardsdatascience.com·6h
λFunctional Programming
Flag this post
are-dependent-types-actually-erased
❓Existential Types
Flag this post
The Cantor Experiment: Forcing a GPT-5-Class AI to Forget a Century of Math
🔁Fixed-Point Theory
Flag this post
Learning to program "recycles" preexisting F-P pop codes of logical algorithms
📚Automata Learning
Flag this post
Decoding Kiroween
⚙️Compiler Design
Flag this post
Accumulating Context Changes the Beliefs of Language Models
arxiv.org·20h
📚Automata Learning
Flag this post
Trust in the Machine: Building Reputable Service Networks for AI Agents
🩹Self-Healing Systems
Flag this post
Byzantine Attacks in RIS-Enhanced Cooperative Spectrum Sensing: A Decision Fusion Perspective
arxiv.org·1d
👁️Observability
Flag this post
Live Conversational Threads: Not an AI Notetaker
lesswrong.com·1d
🌐ActivityPub
Flag this post
Beyond Single-Tokenomics: How Farcaster's Pluralistic Incentives Reshape Social Networking
arxiv.org·20h
🌐ActivityPub
Flag this post
Loading...Loading more...