Table of Contents
Operating Systems and SecurityIronclad – formally verified, real-time capable, Unix-like OS kernelDefeating Kaslr by Doing Nothing at AllRunc breaks pods when CPU requests aren't multiples of 10Programming Languages and ToolsMarko – A declarative, HTML-based languageTabloid: The Clickbait Headline Programming LanguageControl structures in programming languages: from goto to algebraic effectsUnique Innovations and StudiesLargest cargo sailboat completes first Atlantic crossingStudy identifies weaknesses in how AI systems are evaluatedStudy finds memory decline surge in young peopleCommunity Projects and InsightsOpen-source communications by bouncing signals off the MoonShow HN: I built a self-hosted error tracker in RailsShow HN: Hephaestus – Autonomous Multi-Agent Orchestration Framework
View all episodes
