🔌 Embedded

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

TLA+ Modeling of AWS outage DNS race condition
muratbuffalo.blogspot.com·1d·
Discuss: Lobsters, Hacker News
🤖AI
Flag this post
Building Your First Optimizely Opal Custom Tool
33sticks.com·3h·
Discuss: Hacker News
🤖AI
Flag this post
Update Your Damn Dependencies
deeplifelearning.com·2d·
Discuss: Hacker News
🤝Using AI for programming
Flag this post
Americans Are Increasingly Alone, but Are They Lonely?
realclearinvestigations.com·1h·
Discuss: Hacker News
🗃️Local databases
Flag this post
Ranking LLMs based on 180k French votes (French government's AI arena)
comparia.beta.gouv.fr·3d·
Discuss: Hacker News, Hacker News
✓Formal verification
Flag this post
Polaris Alpha Review
preview.redd.it·18h·
Discuss: r/LocalLLaMA
🤖AI
Flag this post
Cure - Verification-First Programming for the BEAM
cure-lang.org·4d·
Discuss: Lobsters, Hacker News
✓Formal verification
Flag this post
FreeBSD Officially Supported in OCI Runtime Specification v1.3
freebsdfoundation.org·3d·
Discuss: Lobsters, Hacker News, Hacker News
🤖AI
Flag this post
AI Chip History Not Only Rhymes but Also Repeat Itself
diblante.com·3d·
Discuss: Hacker News
🤖AI
Flag this post
Signed URLs on ESP32
blog.golioth.io·3d·
Discuss: Hacker News, Hacker News
✓Formal verification
Flag this post
Build Efficient MCP Servers: Three Design Principles
damiangalarza.com·1d·
Discuss: Hacker News
🤖AI
Flag this post
Craft Chrome Devtools Protocol (CDP) commands with the new command editor
developer.chrome.com·12h·
Discuss: Hacker News
🤝Using AI for programming
Flag this post
1,500+ PRs Later: Spotify’s Journey with Our Background Coding Agent (Part 1)
engineering.atspotify.com·1d·
Discuss: Hacker News, Hacker News
🤖AI
Flag this post
Is AI bringing application observability and behavior tracking together?
rudderstack.com·11h·
Discuss: Hacker News
🤖AI
Flag this post
The Evolution of GPUs: How Floating-Point Changed Computing
dell.com·5d·
Discuss: Hacker News
✓Formal verification
Flag this post
Writing a DOS Clone in 2019
medium.com·4d·
Discuss: Hacker News
🤝Using AI for programming
Flag this post
OpenMW 0.50.0 Released – open-source Morrowind reimplementation
openmw.org·8h·
Discuss: Hacker News
🤖AI
Flag this post
A Thesis and Playbook for Edge AI
ondeviceguy.substack.com·4d·
Discuss: Substack
🤖AI
Flag this post
When deep thinking turns into deep hallucination
techkettle.blogspot.com·11h·
Discuss: Hacker News
🤖AI
Flag this post
You are going to get priced out of the best AI coding tools
newsletter.danielpaleka.com·2d·
Discuss: Hacker News
🤝Using AI for programming
Flag this post