Stories by Kernel-Panic

First Proof: Research-Level Math for AI Evaluation

I Started Identifying Corporate Devices in My Software

Rate Limiting, Cells, and GCRA

Python can encode meaning directly not represent it, embody it

Nvidia CEO Jensen Huang says robots could be 'AI immigrants'

1970 Paris, cut into a grid and photographed

InfiniBand: An Inexpensive Performance Boost for Your Home Network (2016)

America's sweetheart meme came from Philly drill rappers depicting gun violence

The Most Dangerous Spot on Caltrain

Non-Lexical Bindings

Everything that is wrong in museums starts with wall labels

Revision 2025

Show HN: Tuisic v2 – Now with visualizer and AI (MCP server) support

Porting Lean to the ESP32-C3 RISC-V Microcontroller

Introduction to Univalent Foundations of Mathematics with Agda

Lessons from California's HSR Project

The Tech CEO Campaign to Stop Trump from Sending Troops to San Francisco

1
2
3
4
5
6
7
8
9
10