🔌 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
Show HN: TabPFN-2.5 – SOTA foundation model for tabular data
priorlabs.ai·1d·
Discuss: Hacker News
🤖AI
Flag this post
Building Your First Optimizely Opal Custom Tool
33sticks.com·1h·
Discuss: Hacker News
🤖AI
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
The Evolution of GPUs: How Floating-Point Changed Computing
dell.com·5d·
Discuss: Hacker News
✓Formal verification
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·2d·
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
Transducer: Composition, Abstraction, Performance
funktionale-programmierung.de·3d·
Discuss: Hacker News
✓Formal verification
Flag this post
Why Prompt Engineering Made Me Reach for JSX
chatbotkit.com·1h·
Discuss: Hacker News
🤝Using AI for programming
Flag this post
Craft Chrome Devtools Protocol (CDP) commands with the new command editor
developer.chrome.com·9h·
Discuss: Hacker News
🤝Using AI for programming
Flag this post
AI Agent Guides from Google, Anthropic, Microsoft, etc. Released This Week
sarthakai.substack.com·21h·
Discuss: Substack
🤖AI
Flag this post
Vibe-Troubleshooting on Linux
olekgor.substack.com·3d·
Discuss: Substack
🤝Using AI for programming
Flag this post
Show HN: Trying to Help Fellow Red Team Operators
github.com·6h·
Discuss: Hacker News
🤖AI
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·8h·
Discuss: Hacker News
🤖AI
Flag this post
The keyboard of choice for modular synth nerds gets a proper sequel after 10 years
theverge.com·1d
🗃️Local databases
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·6h·
Discuss: Hacker News
🤖AI
Flag this post