🔌 Embedded

FPGAs, Raspberry Pi Pico PIO (programmable IO), Rust on embedded systems

RK3588 AI Module7
crowdsupply.com·22h·
Discuss: Hacker News
🤖AI
Don't Repeat Yourself, Coarse-Grained Circuit Deduplication to Accelerate Sim
danglingpointers.substack.com·16h·
Discuss: Substack
✓Formal verification
TrueNAS on Arm is finally a thing
jeffgeerling.com·11h·
Discuss: Hacker News
🗃️Local databases
Show HN: Ultra-fast, embedded KV store in pure Rust
github.com·23h·
Discuss: Hacker News
🗃️Local databases
(Alpha Release 0.0.2) Asked Qwen-30b-a3b with Local Deep Think to design a SOTA inference algorithm | Comparison with Gemini 2.5 pro
reddit.com·5h·
Discuss: r/LocalLLaMA
🤖AI
Building the Chiplet Ecosystem – By Austin Lyons
chipstrat.com·1d·
Discuss: Hacker News
🤝Using AI for programming
Bringing restartable sequences out of the niche
lwn.net·1d·
Discuss: Hacker News
🤝Using AI for programming
Hacker and Physicist – A Tale of "Common Sense"
supasaf.com·15h·
Discuss: Hacker News
✓Formal verification
Show HN: I built a toy TPU that can do inference and training on the XOR problem
tinytpu.com·4d·
Discuss: Hacker News
✓Formal verification
FFmpeg 8.0 Released
ffmpeg.org·3h·
Discuss: Hacker News
🤝Using AI for programming
Lobsters Interview with Matklad
lobste.rs·17h·
Discuss: Lobsters
✓Formal verification
Do I need a Lisp Machine comeback?
far.chickenkiller.com·19h·
Discuss: Hacker News
✓Formal verification
Learn every individual feature your CPU supports with SpecSeek
github.com·12h·
Discuss: Hacker News
🤝Using AI for programming
My year-long quest to debug a single TCP connection
fdi.sk·48m·
Discuss: Hacker News
🤖AI
Fuzzing Hardware Like Software (2021)
arxiv.org·3d·
Discuss: Hacker News
✓Formal verification
Personal AI Workstation with Four Nvidia RTX 6000 Pro Blackwell Max-Q GPUs
a16z.com·11h·
Discuss: Hacker News, r/LocalLLaMA
🤖AI
Speeding Up AI Coding Assistants Using Deterministic Feedback
proxymock.io·14h·
Discuss: Hacker News
🤝Using AI for programming
ImageIO, the Infamous iOS Zero Click Attack Vector (2024)
r00tkitsmm.github.io·6h·
Discuss: Hacker News
🗃️Local databases
Show HN: A short story on developing a long-context World-Model with no money
francesco215.github.io·12h·
Discuss: Hacker News
🤖AI
BadCam: Now Weaponizing Linux Webcams
eclypsium.com·1d·
Discuss: Hacker News
🗃️Local databases