📟 Embedded programming systems - jetm · Scour

AutoSOUP: Safety-Oriented Unit Proof Generation for Component-level Memory-Safety Verification 🦀Rust language programming

Show HN: Vibe coding embedded systems with simulators 🏗️UEFI

simulator86.com·4d·Hacker News

Universal Arduino template for ESP32 and Pi Pico series MCUs 🏗️UEFI

hackster.io·1d

AI Sovereignty for the JVM ⚙️EFI applications

qxotic.ai·1h·Hacker News

A simple runtime invariant miner 🦀Rust language programming

rahul.gopinath.org·1d·Hacker News

Writing code by hand ✍️, Interaction Models 🌍, why use Python 🐍 🅒C language programming

cactus-compute/needle: 26m function call model that runs on incredibly small devices 🏗️UEFI

github.com·2h·Hacker News

Hardware Memory Models (Memory Models, Part 1) 🅒C language programming

research.swtch.com·4d·Hacker News

7 lines of code, 3 minutes: Implement a programming language (2010) 🦀Rust language programming

matt.might.net·1d·Hacker News, r/programming

May 12, 2026 (#4666) ⚙️EFI applications

alvinashcraft.com·9h

Jam Programming Language 🦀Rust language programming

Bare-metal STM32: vector table, linker script, and startup code from scratch 🅒C language programming

lmilz.dev·5h·Hacker News

Self (programming language) 🅒C language programming

en.wikipedia.org·1d·Hacker News

What You See Is What You Get: Practical Effect Handlers in Capability-Passing Style 🅒C language programming

link.springer.com·5d·Hacker News

Running local models on an M4 with 24GB memory 🏗️UEFI

news.ycombinator.com·15h·Hacker News

Show HN: NURL – A programming language designed for language models 🦀Rust language programming

nurl-lang.org·2h·Hacker News

I'm going back to writing code by hand 🦀Rust language programming

blog.k10s.dev·1d·Lobsters, Hacker News

ICYMI Python on Microcontrollers Newsletter: New Python Versions, Now PCBs Are Getting Scarce, BeagleBoard and More! ⚙️EFI applications

blog.adafruit.com·6h

Ignore previous directions 12: System programming experiments with AI 🏗️UEFI

Ignore Previous Directions via buttondown.com·4d

What Actually Happens Inside a CPU When Code Runs 🅒C language programming

siliconopera.com·2d

Log in to enable infinite scrolling