🔌 Embedded

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

The 100MHz 6502
e-basteln.de·20h·
Discuss: Hacker News
✓Formal verification
Decompiling the GPL violated Linux kernel using Evolutionary Algorithms
far.chickenkiller.com·3h·
Discuss: Hacker News
🤝Using AI for programming
ARM is great, ARM is terrible (and so is RISC-V)
changelog.complete.org·1d·
Discuss: Lobsters, Hacker News
🗃️Local databases
4-bit Single Board Computer Based on the Intel 4004 Microprocessor
hackaday.com·19h·
Discuss: Hacker News
✓Formal verification
Defeating Nondeterminism in LLM Inference
simonwillison.net·1d
✓Formal verification
PNY preorder listing shows Nvidia DGX Spark at $4,299.99
linuxgizmos.com·1d·
Discuss: r/LocalLLaMA
🤝Using AI for programming
Using RPI 5 Compute Module for FPGA Test
hackster.io·4d·
Discuss: Hacker News
✓Formal verification
VMScape: Exploiting Incomplete Branch Predictor Isolation in Cloud Environments
comsec.ethz.ch·6h·
Discuss: Lobsters, Hacker News
✓Formal verification
Ripple: An LLVM compiler-interpreted API to support SPMD and loop annotat
discourse.llvm.org·1d·
Discuss: Lobsters, Hacker News, r/programming
✓Formal verification
NVIDIA Accelerated IO (XLIO)
docs.nvidia.com·12h·
Discuss: Hacker News
🗃️Local databases
Spiral
spiraldb.com·19h·
Discuss: Hacker News
🤖AI
Debian Upgrade Marathon: 3.1 Sarge
wrongthink.link·16m·
Discuss: Lobsters, Hacker News
🤝Using AI for programming
Intel’s E2200 “Mount Morgan” IPU at Hot Chips 2025
chipsandcheese.com·1d·
Discuss: Hacker News
✓Formal verification
Upcoming changes for bcachefs; notes for users distributions
lore.kernel.org·21m·
Discuss: Hacker News
🗃️Local databases
Building an ARM64 home server the hard way
jforberg.se·13h·
Discuss: Hacker News
🗃️Local databases
Coco – Solving the Expression Problem in Standard OO (Java, C#, Scala, ..)
drops.dagstuhl.de·1d·
Discuss: Hacker News
✓Formal verification
Recon2012: Reverse engineering of binary programs for custom virtual machines
recon.cx·3h·
Discuss: Hacker News
✓Formal verification
Accelerated Game of Life with CUDA / Triton
boristhebrave.com·14h·
Discuss: Hacker News
🗃️Local databases
Setting up rooted Android emulator with Frida and mitmproxy
trickster.dev·11h·
Discuss: Hacker News
🗃️Local databases
ESP32-based boundary wire signal generator for Robomow RX/RT mowers
github.com·1d·
Discuss: Hacker News
✓Formal verification