⚡ Circuit Design

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

Counting with Categories (Part 3)
golem.ph.utexas.edu·1d
λLambda Formalization
Proving that every program halts
ntietz.com·2d
👑Isabelle
Plan for Speed -- Dilated Scheduling for Masked Diffusion Language Models
arxiv.org·15h
💻Local LLMs
The Internal Inconsistency of Large Language Models
blog.kortlepel.com·1d·
Discuss: Hacker News
💻Local LLMs
Brains in Silicon
defragzone.substack.com·2d·
Discuss: Substack
🕹️Hardware Emulation
High-order adaptive multi-domain time integration scheme for microscale lithium-ion batteries simulations
arxiv.org·15h
⚙️Tape Engineering
Beyond Frameworks: How Computer Science Fundamentals Forge the Complete Developer
dev.to·5h·
Discuss: DEV
📏Code Metrics
The Interactive Handbook on Data Structures and Algorithms
cartesian.app·1d·
Discuss: Lobsters, Hacker News, Hacker News
🌳Trie Structures
Cost-Effective Optimization and Implementation of the CRT-Paillier Decryption Algorithm for Enhanced Performance
arxiv.org·1d
🔢Bitwise Algorithms
LLM-Aided Testbench Generation and Bug Detection for Finite-State Machines
arxiv.org·1d
🔧Hardware Verification
Agentic AI: Implementing Long-Term Memory
towardsdatascience.com·23h
💾Persistence Strategies
The FPGA Turns 40!
adiuvoengineering.com·4d·
Discuss: Hacker News
🔍FPGA Verification
Show HN: TableSprint- Supabase alternative with vibe coding features
tablesprint.com·16h·
Discuss: Hacker News
📲Digitization
Solving LinkedIn Queens Using Haskell
imiron.io·1d·
Discuss: Lobsters, Hacker News, r/programming
λLambda Formalization
BNFGen: A random text generator based on context-free grammars
baturin.org·1h·
Discuss: Hacker News
🌳Context free grammars
Why Agentic Flows Need Distributed-Systems Discipline
temporal.io·1d·
Discuss: Hacker News
⚙️TLA+
CLGRPO: Reasoning Ability Enhancement for Small VLMs
arxiv.org·1d
📏Linear Logic
A Lisp adventure on the calm waters of the dead C (2021)
mihaiolteanu.me·1d·
Discuss: Lobsters, Hacker News, r/programming
🔗Lisp
Ayar Labs | Co-packaged Optics Revolution | The Most Promising Hardware Startup With Wins At HPE And Nvidia?
semianalysis.com·21h·
Discuss: Hacker News
🖥️Modern Terminals
Threaded Code
muforth.dev·8h·
Discuss: Hacker News
🦀Rust Macros