🔌 Embedded

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

The state of SIMD in Rust in 2025
shnatsel.medium.com·17h·
Discuss: Lobsters, Hacker News, r/rust
✓Formal verification
Flag this post
A Security Model for Systemd
lwn.net·13m·
Discuss: Hacker News
✓Formal verification
Flag this post
Upbeat Technology's RISC-V MCU Takes Flight with Near-Threshold Computing
allaboutcircuits.com·14h·
Discuss: Hacker News
🤝Using AI for programming
Flag this post
Windows on Gigabyte MZ33-AR1 (AMD Turin) with Coreboot – ACPI and Bug Fixes
blog.3mdeb.com·23h·
Discuss: Hacker News
🤝Using AI for programming
Flag this post
BoxLambda OS Software Architecture, First Draft
epsilon537.github.io·1d·
Discuss: Hacker News
🤖AI
Flag this post
Run LLMs Locally
ikangai.com·15h·
Discuss: Hacker News
🤖AI
Flag this post
Low-Level Hacks
blog.raycursive.com·2d·
Discuss: Hacker News
✓Formal verification
Flag this post
My fan worked fine, so I gave it WiFi
ellis.codes·7h·
Discuss: Hacker News
✓Formal verification
Flag this post
Porting Lean to the ESP32-C3 RISC-V Microcontroller
kuruczgy.com·1d·
Discuss: Lobsters, Hacker News
✓Formal verification
Flag this post
Engineer's Guide to Local LLMs with LLaMA.cpp on Linux
avatsaev.substack.com·1h·
Discuss: r/LocalLLaMA
🗃️Local databases
Flag this post
High-speed and ultra-low-power superconductive neuron with ReLU activation
iopscience.iop.org·16h·
Discuss: Hacker News
✓Formal verification
Flag this post
A Deep Dive into the Morris Worm
rapid7.com·2h·
Discuss: Hacker News
🗃️Local databases
Flag this post
Show HN: Kumi – a portable, declarative, functional core for business logic
kumi-play-web.fly.dev·13h·
Discuss: Hacker News
✓Formal verification
Flag this post
CHIP8 – writing emulator, assembler, example game and VHDL hardware impl
blog.dominikrudnik.pl·2d·
Discuss: Hacker News
✓Formal verification
Flag this post
Automation via UEFI
vahidhashemi.com·14h·
Discuss: Hacker News
🗃️Local databases
Flag this post
Build123d (A Python CAD programming library) Roadmap
github.com·8h·
Discuss: Hacker News
🤝Using AI for programming
Flag this post
Flatpak Happenings
blog.sebastianwick.net·21h·
Discuss: Hacker News, r/linux
🗃️Local databases
Flag this post
Enabling Trillion-Parameter Models on AWS EFA
research.perplexity.ai·1d·
Discuss: Hacker News
🤖AI
Flag this post
The Power Problem – A Silicon Valley Story
syntheticauth.ai·9h·
Discuss: Hacker News
🤖AI
Flag this post
Disassembling Terabytes of Random Data with Zig and Capstone to Prove a Point
jstrieb.github.io·22h·
Discuss: Lobsters, Hacker News, r/Zig, r/programming
🤝Using AI for programming
Flag this post