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

BoxLambda OS Software Architecture, First Draft
epsilon537.github.io·2h·
Discuss: Hacker News
🤖AI
Flag this post
Low-Level Hacks
blog.raycursive.com·1d·
Discuss: Hacker News
Formal verification
Flag this post
Running MiniMax-M2 locally - Existing Hardware Advice
reddit.com·13h·
Discuss: r/LocalLLaMA
Formal verification
Flag this post
Enabling Trillion-Parameter Models on AWS EFA
research.perplexity.ai·5h·
Discuss: Hacker News
🤖AI
Flag this post
Porting Lean to the ESP32-C3 RISC-V Microcontroller
kuruczgy.com·4h·
Formal verification
Flag this post
Chicken Coop Tech Stack
excamera.substack.com·9h·
Discuss: Substack
🗃️Local databases
Flag this post
CHIP8 – writing emulator, assembler, example game and VHDL hardware impl
blog.dominikrudnik.pl·1d·
Discuss: Hacker News
Formal verification
Flag this post
Prog8
github.com·14h·
Discuss: Hacker News
Formal verification
Flag this post
Fix: externalizing network I/O in serverless computing
arxiv.org·1d·
Discuss: Hacker News
Formal verification
Flag this post
Labs for Broke – EKS for Pennies
georgedeblog.com·1d·
Discuss: Hacker News
🤖AI
Flag this post
CHERIoT 1.0 Released
cheriot.org·1d·
Formal verification
Flag this post
Why is AI Generated Rust slow when compared with Go/C#/Node/JavaScript
srid68.github.io·14h·
Discuss: Hacker News
🤝Using AI for programming
Flag this post
Chinese team creates world’s first 2D industrial chip for military use
scmp.com·16h·
🤝Using AI for programming
Flag this post
Dive into Systems
diveintosystems.org·1d·
Discuss: Hacker News
Formal verification
Flag this post
Microservices? No, modularity is what matters
binaryigor.com·17h·
Discuss: Hacker News
🤝Using AI for programming
Flag this post
A portable picokernel for async I/O
ryansepassi.com·4d·
Discuss: Hacker News
Formal verification
Flag this post
The Noise and the Signal
russmiles.substack.com·1d·
Discuss: Substack
🤝Using AI for programming
Flag this post
Scaling up Prime Video monitoring service reduced costs 90% (archive) (2023)
web.archive.org·1d·
Discuss: Hacker News
🤖AI
Flag this post
Autark: Rethinking build systems – Integrate, Don't Outsource
blog.annapurna.cc·14h·
Discuss: Hacker News
🤝Using AI for programming
Flag this post
Sprout by Edera: UEFI Bootloader in Rust
github.com·22h·
Discuss: Hacker News
🤝Using AI for programming
Flag this post