Java Backend Coding Technology: Writing Code in the Era of AI
dev.to·4h·
Discuss: DEV
💻Programming languages
Math Is the Bridge: Axiom's Signal Flare and the Coming Reasoning Renaissance
zakelfassi.com·6h·
Discuss: Hacker News
⚔️Lean Tactics
LLM Prompt Fixed Point: the Ultimate Prompt
funcall.blogspot.com·1h·
Discuss: www.blogger.com
✓Automated Theorem Proving
The intro to distributed systems I wish I had
fragmentsofcode.substack.com·10h·
Discuss: Substack
🤝Distributed Consensus
Sharing is Caring: Arbitrary Code Execution for Breakfast
trebledj.me·19h
🔧Binary Parsers
Inside PSL: Key Management, Sandboxing, and Secure Enclaves Explained
hackernoon.com·22h
🌳Archive Merkle Trees
The Analyst’s Gambit: A Second Course in Functional Analysis
noncommutativeanalysis.wordpress.com·14h
⚔️Lean Theorem
Formal Framework for Quantum Advantage
arxiv.org·15h
🔐Quantum Security
Higher-Level Design Patterns
qouteall.fun·6h·
Discuss: Hacker News
✨Algebraic Effects
AI Under the Hood Part I: Understanding the Machine
kennethwolters.com·7h·
Discuss: Hacker News
📼Cassette Combinators
Kevin Buzzard and Alex Kontorovich on the Future of Formal Mathematics
renaissancephilanthropy.org·5h·
Discuss: Hacker News
🔬Lean
Learning from software errors – Part 2: Why did Ariane 5 explode after take-off?
heise.de·12h
🛡️Error Boundaries
Aperiodical News Roundup – August/September 2025
aperiodical.com·3h
📰RSS Reading Practices
Engineering at HRT: Roles, Interviews, and What to Expect
hudsonrivertrading.com·5h·
Discuss: Hacker News
🌊Stream Processing
Why Bloomberg Chose Vendor-Neutral Java Over Big Tech
thenewstack.io·19h
🔓Open Source Software
Dotenvx – A Secure Dotenv
dotenvx.com·1h·
Discuss: Hacker News
🛡️WASM Security
The Storage Fix DevOps Has Been Waiting For
backblaze.com·1d
💾Persistence Strategies
Containers, Typescript, React and AI/LLMs
markjgsmith.com·1d
🎯Gradual Typing
Incremental Design, DevOps, Microservices & CICD • Michael Nygard & Dave Farley
youtube.com·6h
🔄Reproducible Builds
Build vs. Buy: What it Really Takes to Harden Your Software Supply Chain
devops.com·12h
❄️Nix Adoption