🔌 Embedded

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

Hardware Has Changed
buttondown.com·2h·
Discuss: Hacker News
🤝Using AI for programming
The SmartBase - IoT Adjustable Bed for Comfort and Safety (2019)
hackster.io·11h·
Discuss: Lobsters, Hacker News
🗃️Local databases
OpenAI Just Dropped GPT-OSS and It's a Game Changer (Full Breakdown and Code)
algogist.com·2h·
Discuss: Hacker News
🤖AI
miniHDL: A Python Hardware Description Language DSL
nicholas.carlini.com·4d·
Discuss: Hacker News
✓Formal verification
No Backdoors. No Kill Switches. No Spyware.
blogs.nvidia.com·5h·
Discuss: Hacker News, r/hardware
🤖AI
Rapid PCB Prototyping with KiCad and a CNC Router
peterprototypes.com·11h·
Discuss: Hacker News
🤝Using AI for programming
Choosing AI Accelerators for Robots
medium.com·11h·
Discuss: Hacker News
🤖AI
Rod Burstall: In Memoriam
arxiv.org·4h·
Discuss: Lobsters
✓Formal verification
Attention was never enough: Tracing the rise of hybrid LLMs
ai21.com·9h·
Discuss: Hacker News
🤝Using AI for programming
Not duplicating messages: a surprisingly hard problem
blog.epsiolabs.com·9h·
Discuss: Hacker News, r/programming
🗃️Local databases
How the Lean language brings math to coding and coding to math
amazon.science·3h·
Discuss: Hacker News
✓Formal verification
Show HN: Rotel – Fast and Efficient OpenTelemetry Collection in Rust
rotel.dev·5h·
Discuss: Hacker News
🗃️Local databases
OpenAI's new open weight (Apache 2) models are really good
simonwillison.net·1h·
Discuss: Hacker News
🤖AI
Show HN: Modos Developer Kit Live on Crowd Supply
crowdsupply.com·1d·
Discuss: Hacker News
🗃️Local databases
RF Transmission over Plastic Cable Surpasses Copper and Optics at Terabit Scale
signalintegrityjournal.com·8h·
Discuss: Hacker News
🤝Using AI for programming
WCH WebLink, a web based ESP32 programmer for CH32V003
github.com·10h·
Discuss: Hacker News
🗃️Local databases
Shelling Out Is Selling Out
petersobot.com·1d·
Discuss: Hacker News
🗃️Local databases
We're shipping to ARM64 and x64 without duplicating pipelines
caepe.sh·18h·
Discuss: Hacker News
✓Formal verification
Real Life Is Uncertain. Consensus Should Be Too
muratbuffalo.blogspot.com·8h·
Discuss: Hacker News
✓Formal verification
Qwen3 Coder vs. Kimi K2 vs. Sonnet 4 Coding Comparison (Tested on Qwen CLI)
composio.dev·9h·
Discuss: r/LocalLLaMA
🤝Using AI for programming