⚡ Circuit Design

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

Software testing is like clinical trials
blog.myli.page·1h
🔍Concolic Testing
Logical implication is a comparison operator
btdmaster.bearblog.dev·1d·
Discuss: Hacker News
🔲Proof Irrelevance
Do You Really Know How `or` And `and` Work in Python?
thepythoncodingstack.com·19h
🔗Lisp
USB-C hubs and my slow descent into madness (2021)
overengineer.dev·1d·
Discuss: Hacker News
⚡Circuit Archaeology
Matt Layman: Enhancing Chatbot State Management with LangGraph
mattlayman.com·1d
⚡Proof Automation
FSM Library for Embedded C Projects
hackster.io·5d
🦀Embedded Rust
Reflecting on PLDI 2025
people.csail.mit.edu·5d·
Discuss: Hacker News
🌐Protocol Synthesis
Custom Backplane for Raspberry Pi
reddit.com·9h·
Discuss: r/homelab
🔌Single Board PC
Probabilistic Soundness Guarantees in LLM Reasoning Chains
arxiv.org·1d
🛡️Proof-Carrying Archives
Shaping AI's Mind from the Shadows: My Journey with ArXiv and Alpay Algebra
lightcapai.medium.com·1d·
Discuss: Hacker News
🔲Cellular Automata
RAG at the Crossroads - Mid-2025 Reflections on AI’s Incremental Evolution | RAGFlow
ragflow.io·23h·
Discuss: Hacker News, r/LocalLLaMA
🌀Brotli Internals
Hierarchical Modeling (H-Nets)
cartesia.ai·3d·
Discuss: Hacker News
🌀Hyperbolic Geometry
Gain a Better Understanding of Computer Vision: Dynamic SOLO (SOLOv2) with TensorFlow
towardsdatascience.com·14h
📊Learned Metrics
Quadratic Forms Beyond Arithmetic
ams.org·1d·
Discuss: Hacker News
🔱Galois Theory
Single axis solar tracker project tutorial
hackster.io·1d
⚙️Cassette Mechanics
Types That Count: Journey across Qualitative and Quantitative Intersection Types
iris.unito.it·4d·
Discuss: Hacker News
🔍Type Inference
Waiting is worth it and can be improved with predictions
arxiv.org·1d
📡Information theory
The Future of IoT AI in 2025 and Beyond
dev.to·2d·
Discuss: DEV
🌊Stream Processing
Dendritic Learning: open-source upgrade to PyTorch based on modern neuroscience
github.com·16h·
Discuss: Hacker News
🤖Grammar Induction
Thoughts on External Memory for LLMs
medium.com·1d·
Discuss: Hacker News
⚡Hardware Transactional Memory