Take Back Our Digital Infrastructure To Save Democracy
techdirt.com·41m
🌍Distributed Systems
Upwind drafts in Nyx for cloud security keyhole surgery
techzine.eu·7h
👐Open Source Software
How the Lean language brings math to coding and coding to math
amazon.science·35m·
Discuss: Hacker News
🧩Theorem Proving
My take on a "IDE" for Claude Code with activities while you are vibe coding
sssli.de·4h·
Discuss: Hacker News
🔧Compiler Design
I'm a recruiter with 15 YoE. This is why Soham Parekh's emails are different
relocateme.substack.com·4h·
Discuss: Substack
🤖Sci-Fi
An easy, realistic model for MCP connectivity
tailscale.com·1d·
Discuss: Hacker News
🤝Protocol Design
You've got mail: AOL's DCI is 25 years old today
reloadin.net·22h·
Discuss: Hacker News
🤝Protocol Design
Building Paperboy: A Personal Reading Recommendation Engine
joshbeckman.org·2h·
Discuss: Hacker News
🔗Parser Combinators
Refactoring FinTech Project to use Terraform and ArgoCD
lukasniessen.com·2d·
Discuss: r/programming
🏗️Software Architecture
Radar Trends to Watch: August 2025
oreilly.com·3h
🧭SMT Solvers
Mastering Generic Types and Traits in Rust: A Complete Guide
dev.to·1h·
Discuss: DEV
📐Type Theory
25 AI Coding Tools That Will Supercharge Your Dev Workflow in 2025
vibe.forem.com·8h·
Discuss: DEV
👐Open Source Software
I need some help with my Flutter App
dev.to·41m·
Discuss: DEV
🧮Programming Language Theory
Building a Real Estate Tokenization dApp with Flare's Zero-Fee Oracles
dev.to·1d·
Discuss: DEV
🤝Protocol Design
I Built My Own Cloud Dev Platform to Fix Everything That Annoyed Me About Coding
dev.to·11h·
Discuss: DEV
👐Open Source Software
From Non-Coder to Production in 4 Days: My AI-Powered App Journey (And Why Imperfect is Perfect)
dev.to·10h·
Discuss: DEV
🔧Compiler Design
Letting AI Narrate My Past: A Telegram Bot with Google Drive and GenAI Magic
dev.to·1d·
Discuss: DEV
🧩Theorem Proving
The Developer Workflow I Wish I Had 1,000 Commits Ago
dev.to·12h·
Discuss: DEV
🔧Compiler Design
Ultimate Control Receiver 1.2 Remote Code Execution
packetstorm.news·1d
🤝Protocol Design
Ultimate Control Receiver 1.2 Remote Code Execution
packetstorm.news·1d
🤝Protocol Design