First-Hand:The AT&T Bellmac-32 Microprocessor Development
ethw.org·1d·
Discuss: Hacker News
⚡Circuit Archaeology
A Look Back at WeChat's PhxSQL and the 'Fastest Majority'
supasaf.com·1d·
Discuss: Hacker News
🤝Distributed Consensus
The Architecture of Open Source Applications (Volume 1) Battle for Wesnoth
aosabook.org·3d·
Discuss: Hacker News
🔒WASM Capabilities
Test Code Like Zelda: When to Implement Automated Testing
usetusk.ai·2d·
Discuss: Hacker News
🔍Concolic Testing
Shaping AI's Mind from the Shadows: My Journey with ArXiv and Alpay Algebra
lightcapai.medium.com·3d·
Discuss: Hacker News
🔲Cellular Automata
U.S. CISA adds Fortinet FortiWeb flaw to its Known Exploited Vulnerabilities catalog
securityaffairs.com·9h
🛡Cybersecurity
Building a Dumber Team
dandreamsofcoding.com·1d·
Discuss: Hacker News
⚡Proof Automation
How to actually use Model Context Protocol
seangoedecke.com·3d·
Discuss: Hacker News
⚡Proof Automation
Why I'm Betting Against AI Agents in 2025 (Despite Building Them)
utkarshkanwat.com·1d·
Discuss: Hacker News, r/programming
💾Persistence Strategies
OpenAI's experimental model achieved gold at the International Math Olympiad
engadget.com·1d
📐Proof Assistants
I Tested 5 CLI Coding Agents & Here’s What Surprised Me!
dev.to·1d·
Discuss: DEV
⚡Proof Automation
Learn To Love the Command-Line Interface With Agentic LLMs
thenewstack.io·1d
🔩Systems Programming
The Power of HTML - Part 3: Mastering HTML Forms: From Input to Submission
dev.to·13h·
Discuss: DEV
🌐Web Standards
Stack frame layout on x86-64
eli.thegreenplace.net·2h·
Discuss: Hacker News
🔧RISC-V Assembler
Relation-Aware Slicing in Cross-Domain Alignment
arxiv.org·2d
🔗Parser Combinators
H-Nets – The Future
goombalab.github.io·2d·
Discuss: Hacker News
📼Cassette Combinators
Building with Bolt: My Journey Creating a Smart Task Manager with AI
dev.to·8h·
Discuss: DEV
⚡Proof Automation
I'm Tired of Talking About AI
paddy.carvers.com·7h·
Discuss: Lobsters, Hacker News
🔩Systems Programming
You are the pilot: How to stand out in the vibe coding era
dev.to·8h·
Discuss: DEV
🔗Concatenative Programming
Cactus Language • Stylistics 5
inquiryintoinquiry.com·2d
📐Format Grammars