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

The LLM-First Manifesto: From Prose to Programs
dev.to·1d·
Discuss: DEV
⚙️TLA+
Flag this post
Ajla Tutorial
ajla-lang.cz·2d·
Discuss: Hacker News
💧Liquid Types
Flag this post
Adaptive Frequency Domain Impedance Mapping via Multi-Modal Data Fusion and Reinforcement Learning
dev.to·2d·
Discuss: DEV
Incremental Computation
Flag this post
How not to get replaced by a GPU
augmentedswe.com·11h·
Discuss: Hacker News
🌊Stream Processing
Flag this post
Torchforge – a PyTorch native library for scalable RL post-training
pytorch.org·2d·
Discuss: Hacker News
🖥️Game Emulation
Flag this post
Building Europe's Deeptech Palantir: Founders and Builders Wanted
news.ycombinator.com·10h·
Discuss: Hacker News
🚀Indie Hacking
Flag this post
Silent Sabotage: When Hardware Flaws Poison Medical AI by Arvind Sundararajan
dev.to·2d·
Discuss: DEV
🔬Hardware Forensics
Flag this post
On Developers in C-Level Meetings
radekmie.dev·1d·
🔩Systems Programming
Flag this post
How Simple Can A Superhet Be
hackaday.com·2d
🎵8-track Revival
Flag this post
[D] Realized I like the coding and ML side of my PhD way more than the physics
reddit.com·21h·
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Flag this post
Your Transformer is Secretly an EOT Solver
elonlit.com·1d·
Discuss: Hacker News
🧮Kolmogorov Complexity
Flag this post
Ask HN: Is it safe to use TP4056 with protection and 18650 cell with protection?
news.ycombinator.com·8h·
Discuss: Hacker News
🎮Cartridge Preservation
Flag this post
Scalable Phase-Change Memory Array Reliability Prediction via Bayesian Neural Networks
dev.to·1d·
Discuss: DEV
Cache Coherence
Flag this post
China solves 'century-old problem' with new analog chip that is 1,000 times faster than high-end Nvidia GPUs
livescience.com·1d·
Discuss: Hacker News
Homebrew CPUs
Flag this post
Automated Defect Cascade Prediction and Mitigation in Automotive Embedded Systems
dev.to·3d·
Discuss: DEV
🔧Hardware Verification
Flag this post
Unleash Code Power: Graph-Based AI for Smarter Code Generation by Arvind Sundararajan
dev.to·8h·
Discuss: DEV
📝Compiler Design
Flag this post
Dynamic Adaptive Traffic Signal Control via Hybrid Reinforcement Learning and Bayesian Optimization
dev.to·1d·
Discuss: DEV
🔄Lens Laws
Flag this post
Linux/WASM
joelseverin.github.io·5h·
Discuss: Hacker News
🕸️WASM Archives
Flag this post
I built a JBOD from a dead r710
reddit.com·17h·
Discuss: r/homelab
Circuit Archaeology
Flag this post