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

Feeds to Scour
SubscribedAll
Scoured 13734 posts in 1.85 s
Python-to-FPGA: MyHDL Custom IP for KR260
hackster.io·5h
Homebrew CPUs
Preview
Report Post
Show HN: Coi – A compiled-reactive language for high-performance WASM apps
news.ycombinator.com·2h·
Discuss: Hacker News
🧩WASM Components
Preview
Report Post
5 Ways to Get the Best Out of LLM Inference
pub.towardsai.net·6h
💻Local LLMs
Preview
Report Post
From Modeling to Management: Artificial Intelligence Empowers Battery Electrochemical Models
vibe.forem.com·4h·
Discuss: DEV
🔄Finite State Machines
Preview
Report Post
SoundSlab: How It Started
craigjb.com·20h·
Discuss: Hacker News
⚙️DIY Electronics
Preview
Report Post
Ensure Equivalence Of Synthesizable C++/SystemC Designs Against Generated/Handwritten RTL
semiengineering.com·3d
Circuit Verification
Preview
Report Post
Making Redstone circuits with SAT solvers
alloc.dev·1d·
Discuss: Hacker News
🧮Z3 Solver
Preview
Report Post
Building Cryptographic Audit Trails for AI Trading Systems: A Deep Dive into RFC 6962-Based Verification
dev.to·11h·
Discuss: DEV
🌳Archive Merkle Trees
Preview
Report Post
How to Make an Automatic Street Light Model
hackster.io·3h
⚙️DIY Electronics
Preview
Report Post
AMD Embedded+ mini-ITX Board features Ryzen AI Embedded P132 CPU, Versal AI Edge Gen2 VE3558 SoC FPGA
cnx-software.com·20h
Homebrew CPUs
Preview
Report Post
B-Lang-org/bsc: Bluespec Compiler (BSC)
github.com·22h
🔓Decompilation
Preview
Report Post
Linus Torvalds Shares AudioNoise, a Personal Experiment in Audio DSP
linuxiac.com·1h
🎛️Audio Synthesis
Preview
Report Post
TinyOS 2.1.2 printfUART Global Buffer Overflow via Unbounded Format Expansion
seclists.org·20h
Format Verification
Preview
Report Post
Axiom Prover: From Seeing Why to Checking Everything (AxiomProver Solves All Problems at Putnam 2025: Proof Release & Commentary)
axiommath.ai·8h
🧮Theorem Proving
Preview
Report Post
Radio waves enable energy-efficient AI on edge devices without heavy hardware
phys.org·1d
📡Bluetooth Archaeology
Preview
Report Post
BASIC Programming With No Strings Attached
hackaday.com·1d
🔗Concatenative Programming
Preview
Report Post
Lightricks open-sources AI video model LTX-2, challenges Sora and Veo
the-decoder.com·15h
🗜️LZW Variants
Preview
Report Post
Warp Specialization in Triton: Design and Roadmap
pytorch.org·1d·
Discuss: Hacker News
Cache Coherence
Preview
Report Post
Misc engineering truisms
macwright.com·3d
🔩Systems Programming
Preview
Report Post
Book Review: Linkers & Loaders
os2museum.com·6h·
Discuss: Hacker News
🔗Static Linking
Preview
Report Post

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help