⚡ Circuit Design

Logic Synthesis, Hardware Description Languages, Digital Electronics, Circuit Verification

Wrist Mounted CD Launcher
hypertexthero.com·12h
🧲Magnetic Tribology
New build cluster speeds up daily autobuilds
blog.netbsd.org·10h
🔄Reproducible Builds
Open source microprocessors with Jan Pleskac
opensourcesecurity.io·3d
🔬Hardware Forensics
A new era of software engineering, cybersecurity, & AI
softwareheritage.org·1d
🏺Archaeological Computing
Detecting Organic Contaminants with Less Data
mirawelner.com·2d·
Discuss: Lobsters, Hacker News
🌈Spectroscopy
Why dwm is Better Than Your Window Manager
hackernoon.com·16h
🕸️WASM Archives
Agentic AI Threat Modeling Framework: Maestro
cloudsecurityalliance.org·7h·
Discuss: Hacker News
🎯Threat Hunting
I wrote 2000 LLM test cases so you don't have to: LLM feature compatibility grid
getkiln.ai·2d·
Discuss: Hacker News
🔍Concolic Testing
Kimi K2 vs Sonnet 4 for Agentic Coding (Tested on Claude Code)
composio.dev·1d·
Discuss: Hacker News, r/LocalLLaMA
🔌Interface Evolution
My first tiny network :)
reddit.com·9h·
Discuss: r/homelab
📻Homebrew Protocols
CQE under Epistemic Dependencies: Algorithms and Experiments (extended version)
arxiv.org·19h
👑Coq Tactics
AI as Profoundly Abnormal Technology
blog.ai-futures.org·17h·
Discuss: Hacker News
🔲Cellular Automata
PyDocs – A modern open-source site to learn Python from scratch.
dev.to·3h·
Discuss: DEV
🌀Brotli Internals
My boss used AI for 2 hours to solve a problem I fixed in 10 minutes
reddit.com·12h·
Discuss: r/artificial
⚡Proof Automation
Bolt.new in Action: A Technical Deep-Dive into AI-Assisted Full-Stack Development
dev.to·6h·
Discuss: DEV
🔄Reproducible Builds
Complete Hummingbot Arbitrage Usage Guide
dev.to·1d·
Discuss: DEV
⚡Hardware Transactional Memory
🚀 Stop Burning Money on LLM API Calls! This Python Tool Just Saved Me $500/month
dev.to·1d·
Discuss: DEV
🌀Brotli Internals
RefCritic: Training Long Chain-of-Thought Critic Models with Refinement Feedback
arxiv.org·2d
✨Effect Handlers
I’m a .NET Developer, and I Want to Be Free from Frameworks.
dev.to·11h·
Discuss: DEV
🧱Immutable Infrastructure
🛠️ FastAPI in Production: Build, Scale & Deploy - Series B : Services, Queues & Containers
dev.to·1d·
Discuss: DEV
🔌Archive APIs