Optimizable Code (2013)
๐จCache Optimization
Flag this post
Caruca: Effective and Efficient Specification Mining for Opaque Software Components
arxiv.orgยท15h
๐งLiquid Types
Flag this post
Missing Mitigations: Inside The Security Gap in UEFI Firmware
binarly.ioยท1h
๐Secure Boot
Flag this post
QNX Resource Manager in Rust: Design
membarrier.wordpress.comยท2d
๐Linear Types
Flag this post
Tracking Down Mysterious ML Training Stalls
medium.comยท3h
๐ฏEmulator Accuracy
Flag this post
Codeminer42 Dev Weekly #83
blog.codeminer42.comยท5h
๐Stream Processing
Flag this post
smolBSD: Easily Create Your Own BSD System
heise.deยท7h
โ๏ธOperating System Design
Flag this post
Skia: Exposing Shadow Branches
โกCPU Microarchitecture
Flag this post
Scalable Dynamic Power Management via Reinforcement Learning on Multi-Core SoC Platforms
๐ฅ๏ธHardware Architecture
Flag this post
The History of Rust
๐ฆEmbedded Rust
Flag this post
[$] Large language models for patch review
lwn.netยท1d
๐Language Evolution
Flag this post
Building a Real-Time System Monitor in Rust Terminal
thenewstack.ioยท2d
๐๏ธSystem Observability
Flag this post
Getting Started with Rust on NXP LPC55S69-EVK
mcuoneclipse.comยท2d
๐ฆEmbedded Rust
Flag this post
Developer Flow
leadership.gardenยท1d
๐Stream Processing
Flag this post
OCaml Platform Roadmap (2023)
๐Language Evolution
Flag this post
Status update, 17/10/2025
samthursfield.wordpress.comยท3h
๐Operating system internals
Flag this post
Loading...Loading more...