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

Text rendering and effects using GPU-computed distances
blog.pkh.me·1d
📐Mathematical Art
Flag this post
Java Generics and Collections • Maurice Naftalin & Stuart Marks • GOTO 2025
youtube.com·3d
λLambda Formalization
Flag this post
kadena-io/pact-5
github.com·1h
🔓Open Source Software
Flag this post
Becoming a Core Developer
stefaniemolin.com·10h
🦀Rust Macros
Flag this post
Reproducing the AWS Outage Race Condition with a Model Checker
wyounas.github.io·8h·
Discuss: Hacker News
📡Network Protocol Design
Flag this post
Surrey Uni show AI systems based on the human brain's save energy
epsomandewelltimes.com·13h·
Discuss: Hacker News
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Flag this post
When execution gets easy, taste gets harder
antonsten.com·10h·
Discuss: Hacker News
🎨Nordic Design
Flag this post
Reasoning Curriculum: Bootstrapping Broad LLM Reasoning from Math
arxiv.org·2d
📝ABNF Extensions
Flag this post
Why AI Needs Human Oversight for Architecture: A Real Refactoring Story
dev.to·16h·
Discuss: DEV
🔌Interface Evolution
Flag this post
Tech With Tim: Build a Python AI Agent in 10 Minutes
dev.to·2h·
Discuss: DEV
⚔️Lean Tactics
Flag this post
AI Inference: The Silent Budget Killer (and How to Stop It)
dev.to·1d·
Discuss: DEV
🧠Machine Learning
Flag this post
Infinite Worlds, Perfect Recall: AI's Leap in Simulated Reality
dev.to·1h·
Discuss: DEV
🔲Cellular Automata
Flag this post
Automated Peptide-Mimetic Design via Constraint-Based Generative Networks
dev.to·1d·
Discuss: DEV
🔍Vector Forensics
Flag this post
Quantum Feedback Control of Trapped Ion Qubit Entanglement Fidelity via Adaptive Pulse Shaping
dev.to·3h·
Discuss: DEV
⚛️Quantum Storage
Flag this post
LTO Megapost!
reddit.com·2d·
Discuss: r/homelab
⚙️Cassette Mechanics
Flag this post
pg_stat_plans: Track per-plan call counts, execution times and EXPLAIN texts
github.com·3h·
Discuss: Hacker News
🧬PostgreSQL Forensics
Flag this post
Adaptive Frequency Domain Impedance Mapping via Multi-Modal Data Fusion and Reinforcement Learning
dev.to·3d·
Discuss: DEV
Incremental Computation
Flag this post