🦀 Embedded Rust

Microcontrollers, Memory Safety, Real-time Systems, Hardware Abstraction

Bluetooth Vulnerability Exploit Chain Leaves Millions of Cars Vulnerable to Remote Control
bastille.net·12h
🔓Hacking
[$] Scheduler medley: time-slice extension, sched_ext deadline servers, and LRU batching.
lwn.net·12h
🐚Bash Combinators
Machine Code Isn't Scary
jimmyhmiller.github.io·3d
🔤Character Encoding
Types That Count: Journey across Qualitative and Quantitative Intersection Types
iris.unito.it·3d·
Discuss: Hacker News
🔍Type Inference
BrowserStation is an open source alternative to Browserbase.
reddit.com·6h·
Discuss: r/kubernetes
📦Container Security
To be a better programmer, write little proofs in your head
the-nerve-blog.ghost.io·3d·
Discuss: Hacker News, r/programming
🛡️Preservation Proofs
GPUHammer: Rowhammer Attacks on GPU Memories Are Practical
gpuhammer.com·3d·
Discuss: Lobsters, Hacker News, Hacker News
🔓Password Cracking
Wrote a blog about using Dapr and mirrord together
metalbear.co·14h
📦Container Security
Show HN: 1.5B LLM routing model that aligns to preferences, not leaderboards
huggingface.co·6h·
Discuss: Hacker News
📝ABNF Parsing
Wrote a tiny FSM library in Go for modeling stateful flows (bots, games, workflows)
reddit.com·7h·
Discuss: r/golang
💧Liquidhaskell
Cheating? Or the acumen of modern programming? FOSS, "AI", and human conscience
gist.github.com·1d·
Discuss: Hacker News
🔗Concatenative Programming
Agent DB
agentdb.dev·6h·
Discuss: Hacker News
🗄️Database Internals
Compiler Bootstrapping in Nixpkgs
blog.obsidian.systems·2d·
Discuss: Lobsters, Hacker News
❄️Nixpkgs
The World’s Most Powerful Server Embiggens A Bit With Power11
nextplatform.com·1d·
Discuss: Hacker News
🇳🇱Dutch Computing
Understanding Registers and Data Movement in x86-64 Assembly
blog.codingconfessions.com·1d
🔧RISC-V Assembler
Python Fundamentals: case
dev.to·14h·
Discuss: DEV
✅Format Verification
When More Cores Means Less Speed: Debugging PyTorch with Valgrind on ARM
blog.cloudkernels.net·3d·
Discuss: Hacker News
📊Performance Profiling
Undone Computer Science
undonecs.org·14h·
Discuss: Hacker News
🌍Cultural Algorithms
You Are in a Box
jyn.dev·3d·
Discuss: Lobsters, Hacker News
🐚Shell Calculus
SmartDocs AI - Intelligent Documentation Search with Algolia MCP Server
dev.to·1d·
Discuss: DEV
🌀Brotli Internals