⚡ Circuit Design

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

3D-printed electronics can dissolve in water for quick recycling
newscientist.com·11h
⚙️DIY Electronics
Mojo Vision
docs.modular.com·5h·
Discuss: Hacker News
🔩Systems Programming
Sound and Solution-Complete CCBS
arxiv.org·1d
🛡️Archive Verification
7 Steps to Mastering No Code Automation with n8n for Data Professionals
kdnuggets.com·21h
🌊Stream Processing
Formal verification effort for the ABDK Math 64.64 library using echidna/hevm
github.com·19h·
Discuss: Hacker News
✅Format Verification
On systematic construction of correct logic programs
arxiv.org·5h
⚖️Hoare Logic
This is an excellent patch review by an expert, i.e., Thomas :) And it should be like this. Oh, a few days back I saw one from Greg too, a similar kind.... in t...
lore.kernel.org·1d·
Discuss: r/linux
🔌Operating system internals
HiCL: Hippocampal-Inspired Continual Learning
arxiv.org·5h
🔲Cellular Automata
Emulating aarch64 in software using JIT compilation and Rust
pitsidianak.is·1h·
Discuss: Hacker News, r/rust
🦾ARM Assembly
Claude Code Gets a Second Opinion from GPT-5
proxymock.io·19h·
Discuss: Hacker News
⚡Proof Automation
Interpretable Early Failure Detection via Machine Learning and Trace Checking-based Monitoring
arxiv.org·5h
🔧Hardware Verification
Reverse Engineering ALL the Raspberry Pis
jeffgeerling.com·13h·
Discuss: Hacker News
🔌Single Board PC
modelSolver: A Symbolic Model-Driven Solver for Power Network Simulation and Monitoring
arxiv.org·5h
✨Algebraic Effects
Bmssp: A New Shortest Path Algorithm
rohanparanjpe.substack.com·15h·
Discuss: Substack
🔗Topological Sorting
Notes on Autograd
aschrein.github.io·15h·
Discuss: Hacker News
⚡Incremental Computation
The MiniPC Revolution
jadarma.github.io·16h·
Discuss: Hacker News
🖥️Modern Terminals
Simulation Results of Distributed Fair Assignment and Rebalancing in Mobility‑On‑Demand
hackernoon.com·11h
⚡Incremental Computation
AI for Requirements: PRD, ERD, Swimlanes, and Flows from a Simple Prompt
dev.to·13h·
Discuss: DEV
🦋Format Metamorphosis
Scientists turn spin loss into energy, unlocking ultra-low-power AI chips
sciencedaily.com·1d·
Discuss: Hacker News
🧲Magnetic Recording
Evaluation and LLM-Guided Learning of ICD Coding Rationales
arxiv.org·5h
🔗Constraint Handling