Math Is the Bridge: Axiom's Signal Flare and the Coming Reasoning Renaissance
zakelfassi.com·1h·
Discuss: Hacker News
⚔️Lean Tactics
Inside PSL: Key Management, Sandboxing, and Secure Enclaves Explained
hackernoon.com·16h
🌳Archive Merkle Trees
The intro to distributed systems I wish I had
fragmentsofcode.substack.com·5h·
Discuss: Substack
🤝Distributed Consensus
Sharing is Caring: Arbitrary Code Execution for Breakfast
trebledj.me·13h
🔧Binary Parsers
Enhanced Predictive Maintenance via Multi-Modal Sensor Fusion & Graph Neural Networks
dev.to·1d·
Discuss: DEV
🏺Computational Archaeology
Learning from software errors – Part 2: Why did Ariane 5 explode after take-off?
heise.de·6h
🛡️Error Boundaries
Formal Framework for Quantum Advantage
arxiv.org·9h
🔐Quantum Security
Higher-Level Design Patterns
qouteall.fun·54m·
Discuss: Hacker News
Algebraic Effects
AI Under the Hood Part I: Understanding the Machine
kennethwolters.com·2h·
Discuss: Hacker News
📼Cassette Combinators
Kevin Buzzard and Alex Kontorovich on the Future of Formal Mathematics
renaissancephilanthropy.org·20m·
Discuss: Hacker News
🔬Lean
The Analyst’s Gambit: A Second Course in Functional Analysis
noncommutativeanalysis.wordpress.com·9h
⚔️Lean Theorem
blog.fsck.com·3d
⚔️Lean Tactics
Why Bloomberg Chose Vendor-Neutral Java Over Big Tech
thenewstack.io·13h
🔓Open Source Software
Incremental Design, DevOps, Microservices & CICD • Michael Nygard & Dave Farley
youtube.com·1h
🔄Reproducible Builds
Engineering at HRT: Roles, Interviews, and What to Expect
hudsonrivertrading.com·17m·
Discuss: Hacker News
🌊Stream Processing
Containers, Typescript, React and AI/LLMs
markjgsmith.com·1d
🎯Gradual Typing
The Storage Fix DevOps Has Been Waiting For
backblaze.com·21h
💾Persistence Strategies
mathematics of the impossible: Revision. Feedback welcome especially on chapters 1,2,3
emanueleviola.wordpress.com·2d
🎞️Tape Combinatorics
Build vs. Buy: What it Really Takes to Harden Your Software Supply Chain
devops.com·7h
❄️Nix Adoption
Domain Driven Design in Clojure with Generalized Hiccup
biotz.io·10h·
🔗Functional Compilers