šŸ”Œ Embedded

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

LF AI and Data Hosts Vortex Project for Data Access for AI and Analytics
linuxfoundation.orgĀ·15hĀ·
Discuss: Lobsters, Hacker News
šŸ¤–AI
D-Wave's open-source toolkit integrates quantum computing into AI training
siliconangle.comĀ·1dĀ·
Discuss: Hacker News
šŸ¤–AI
The DB Grill
db-grill.comĀ·1dĀ·
Discuss: Hacker News
šŸ—ƒļøLocal databases
Fedora 42 and the Sigil of "4"
linuxcommunity.ioĀ·20hĀ·
Discuss: Hacker News
āœ“Formal verification
The Curse of the A-Word
temporal.ioĀ·2dĀ·
Discuss: Hacker News
šŸ¤–AI
ECScape: Understanding IAM Privilege Boundaries in Amazon ECS
sweet.securityĀ·10hĀ·
Discuss: Hacker News
šŸ¤Using AI for programming
Software Development with AI ā€“ Perspective from an experienced software engineer
nootn.com.auĀ·20hĀ·
Discuss: Hacker News
šŸ¤–AI
Making of SARE: Master Seeds in Hybrid Post-Quantum Encryption
zola.inkĀ·1dĀ·
Discuss: Hacker News
āœ“Formal verification
Project goals update ā€” July 2025
blog.rust-lang.orgĀ·2dĀ·
Discuss: Hacker News
āœ“Formal verification
Secure boot signing with Debusine (by Colin Watson)
freexian.comĀ·3dĀ·
Discuss: Hacker News
šŸ¤Using AI for programming
WCH WebLink, a web based ESP32 programmer for CH32V003
github.comĀ·1dĀ·
Discuss: Hacker News
šŸ—ƒļøLocal databases
Ditching Android: Two months daily driving Linux as my only Mobile OS
clubb.cymruĀ·1dĀ·
Discuss: Hacker News
šŸ—ƒļøLocal databases
A Fast, Growable Array With Stable Pointers in C
danielchasehooper.comĀ·2dĀ·
Discuss: Lobsters, Hacker News, r/C_Programming
āœ“Formal verification
Indexing Blockchain Events with Rust and Alloy
blog.bilinearlabs.ioĀ·2dĀ·
Discuss: Hacker News
šŸ¤–AI
Software flies airplanes. And sometimes software fails (2010)
softwarefreedom.orgĀ·2dĀ·
Discuss: Hacker News
šŸ¤Using AI for programming
Endor: Fire up a Dev Environment in Seconds With WebAssembly
thenewstack.ioĀ·1dĀ·
Discuss: Hacker News
šŸ¤Using AI for programming
Embracing the Model Context Protocol in practice: An engineering deep-dive
xpander.aiĀ·1dĀ·
Discuss: Hacker News
šŸ¤–AI
We trained LLM to find reentrancy vulnerabilities in smart contracts
blog.unvariant.ioĀ·1dĀ·
Discuss: Hacker News
āœ“Formal verification
Plague: A Newly Discovered Pam-Based Backdoor for Linux
nextron-systems.comĀ·4dĀ·
Discuss: Lobsters, Hacker News
āœ“Formal verification
Let's hax0r a GCā€¦ (eventually)
h4x0r.orgĀ·2dĀ·
Discuss: Lobsters, Hacker News, r/programming
āœ“Formal verification