🔌 Embedded

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

Linear Types for Programmers
twey.io·1d·
Discuss: Hacker News
✓Formal verification
Show HN: I built a hair cutting robot
byronknoll.com·12h·
Discuss: Hacker News
🤝Using AI for programming
Exploiting vulnerabilities in the Blink video doorbell
jacksondonaldson.com·2d·
Discuss: Hacker News
🗃️Local databases
A Bytecode VM for Arithmetic: The Parser
abhinavsarkar.net·1d·
Discuss: Lobsters, Hacker News
✓Formal verification
Modos Paper Monitor Brings High-Speed E-Paper to Developers
linuxgizmos.com·14h·
Discuss: Hacker News
🗃️Local databases
Running Gaming Workloads Through AMD's Zen 5
chipsandcheese.com·21h·
Discuss: Hacker News
🤖AI
How to Write Inductive Invariants
quint-lang.org·2d·
Discuss: Lobsters, Hacker News, r/programming
✓Formal verification
Running C++ on Cloudflare WASM
saus.app·9h·
Discuss: Hacker News
🤝Using AI for programming
What Is Mining?
cryptowatchnews.com·1d·
Discuss: Hacker News
✓Formal verification
Note to the Qwen team re. the new 30B A3B Coder and Instruct versions: Coder is lobotomized when compared to Instruct
reddit.com·20h·
Discuss: r/LocalLLaMA
🤝Using AI for programming
Injecting Java from native libraries on Android
octet-stream.net·8h·
Discuss: Lobsters, Hacker News
🗃️Local databases
Apache Hamilton (incubating): a Python library for DAGs of data transformations
github.com·9h·
Discuss: Hacker News
✓Formal verification
Go Assembly Mutation Testing
words.filippo.io·3d·
Discuss: Lobsters, Hacker News, r/programming
✓Formal verification
Are you deploying across ARM and x64 architectures?
caepe.sh·2d·
Discuss: Hacker News
🤖AI
Building for the Era of Experience
rnikhil.com·7h·
Discuss: Hacker News
🤖AI
Steckschwein – An 8bit computer for the 21st century
steckschwein.de·9h·
Discuss: Hacker News
🤝Using AI for programming
Show HN: We Built a Serverless GPU Platform with Fast Cold Starts
dat1.co·3d·
Discuss: Hacker News
🤖AI
Show HN: Structured Cooperation – A new way of building distributed apps & POC
github.com·4h·
Discuss: Hacker News
✓Formal verification
Introduction to Unikernel: Building, Deploying Lightweight, Secure Applications
tallysolutions.com·2d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🗃️Local databases
OpenIPC is an alternative open firmware for your IP camera
openipc.org·2d·
Discuss: Hacker News
🤖AI