⚡ Circuit Design

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

Exploring Non-Traditional Imaging at IS&T Archiving 2025
dpconline.org·9h
📄Document Digitization
LFCS Seminar: Tuesday 28 October: Patrick Totzke
informatics.ed.ac.uk·1d
🔲Cellular Automata
The Age of Electronic Totalitarianism
newenglishreview.org·1h
🧲Magnetic Philosophy
Updates 2025 H1
mudkip.me·3d
🔌Operating system internals
Getting an iDRAC Error on a PE R430
amazon.com·1h·
Discuss: r/homelab
🎬Video Codecs
Programming is magic, or how I wrote a Kalaha solver
vlaaad.github.io·1d·
Discuss: Hacker News
👑Isabelle
Principia Symbients
meaning.systems·2d·
Discuss: Hacker News
🔲Cellular Automata
Matter-enabled Smart Mechanical Keyboard MK1 targets Smart Home users
cnx-software.com·2d
⌨️Mechanical Keyboards
(1) Fitting hierarchical models in genetics, (2) A Stan model that runs faster with with 400,000 latent parameters, (3) Super-scalable penalized maximum likelih...
statmodeling.stat.columbia.edu·23h
🧮Kolmogorov Complexity
Morty: Scaling Concurrency Control with Re-Execution
muratbuffalo.blogspot.com·2d·
Discuss: www.blogger.com
🌳Persistent Data Structures
Deep-Dive Reports on Leading Topics in AI and Digital Modernity
dev.to·2d·
Discuss: DEV
🌀Brotli Internals
Distributionally Robust Shape and Topology Optimization
arxiv.org·2d
🌐Computational Topology
An inherent regularization approach to parameter-free preconditioning for nearly incompressible linear poroelasticity and elasticity
arxiv.org·1d
🌀Differential Geometry
Semantic Caching with Spring AI & Redis
dev.to·1d·
Discuss: DEV
🌀Brotli Internals
Formal Bayesian Transfer Learning via the Total Risk Prior
arxiv.org·12h
🧮Kolmogorov Bounds
LENS: Learning Ensemble Confidence from Neural States for Multi-LLM Answer Integration
arxiv.org·12h
💻Local LLMs
DeepGo: Predictive Directed Greybox Fuzzing
arxiv.org·2d
🐛Fuzzing
Python Packaging Best Practices: Build Professional, Reusable Components That Scale
dev.to·2d·
Discuss: DEV
❄️Nix Flakes
Second-Order Outcomes: Why You Don't Always Get What You Want
hackernoon.com·1d
🎯Proof Tactics
Semantic Numeration Systems as Dynamical Systems
arxiv.org·2d
🔗Constraint Handling