6 posts
@lobsters InvisiCaps: The Fil-C Capability Model #Programming #Software #Systems
@lobsters Slow Software: The Case for High-latency Systems Development #Software #Development #Systems
@lobsters Memory Safe Context Switching #Programming #Systems #Performance
@lobsters verifying /proc #Linux #Systems #Programming
@lobsters Starting Systems Programming, Pt 1: Programmers Write Programs (2025) #Programming #Systems #Education
@drew_devault powerctl: A small case study in Hare for systems programming #Programming #Systems #Hare