Kani: A Model Checker for Rust

Januscape: Guest-to-Host Escape in KVM/x86 [CVE-2026-53359]

CoMaps – FOSS Offline Maps

Linux on the Atari Jaguar. No, really.

Stealth robotics startup (YC S26) is hiring principal engineers (Palo Alto)

Aluminum foil (2021)

AMD Ryzen AI Halo – $4k AI Dev Kit

A global workspace in language models

OpenWrt One – Open Hardware Router

Resetting Xbox