🔌 Embedded

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

The keyboard of choice for modular synth nerds gets a proper sequel after 10 years
theverge.com·10h
🗃️Local databases
Flag this post
A Lost IBM PC/AT Model? Analyzing a Newfound Old BIOS (int10h.org)
int10h.org·11h·
Discuss: Lobsters, Hacker News
🗃️Local databases
Flag this post
Chicken Coop Tech Stack
excamera.substack.com·1d·
Discuss: Substack
🗃️Local databases
Flag this post
Fix: externalizing network I/O in serverless computing
arxiv.org·2d·
Discuss: Hacker News
✓Formal verification
Flag this post
Creating Lisp Systems
renato.athaydes.com·23h·
Discuss: Hacker News
✓Formal verification
Flag this post
Using XDP for Egress Traffic
loopholelabs.io·14h·
Discuss: Lobsters, Hacker News
✓Formal verification
Flag this post
Labs for Broke – EKS for Pennies
georgedeblog.com·2d·
Discuss: Hacker News
🤖AI
Flag this post
How to Evolve Software for Minimum Disruptions: The Architect's Two Hats
medium.com·3h·
Discuss: Hacker News
🤖AI
Flag this post
Why is AI Generated Rust slow when compared with Go/C#/Node/JavaScript
srid68.github.io·1d·
Discuss: Hacker News
🤝Using AI for programming
Flag this post
The Complexity Cliff: Why Reasoning Models Work Right Up Until They Don't
rewire.it·7h·
Discuss: Hacker News
✓Formal verification
Flag this post
CEF.AI is hiring for Principal Software Engineer position in SF
join.com·20h·
Discuss: Hacker News
🤖AI
Flag this post
Understanding multi GPU Parallelism paradigms
datta0.github.io·12h·
Discuss: Hacker News
🤝Using AI for programming
Flag this post
Prog8
github.com·1d·
Discuss: Hacker News
✓Formal verification
Flag this post
Dive into Systems
diveintosystems.org·2d·
Discuss: Hacker News
✓Formal verification
Flag this post
More Intel Crescent Island Enablement Prepped For Linux 6.19
phoronix.com·9h·
Discuss: Hacker News
🤝Using AI for programming
Flag this post
Famed software engineer DJB tries Fil-C and likes what he sees
theregister.com·20h·
Discuss: Hacker News
✓Formal verification
Flag this post
CHERIoT 1.0 Released
cheriot.org·2d·
Discuss: Lobsters, Hacker News
✓Formal verification
Flag this post
Microservices? No, modularity is what matters
binaryigor.com·1d·
Discuss: Hacker News
🤝Using AI for programming
Flag this post
Chinese team creates world’s first 2D industrial chip for military use
scmp.com·1d·
Discuss: Hacker News, r/SCMPauto
🤝Using AI for programming
Flag this post
Show HN: DeepFaceLab – Free AI Face Swap Online
deepfacelab.app·2h·
Discuss: Hacker News
🤖AI
Flag this post