Stories by pykello

James Munkres (1930-2026)

Even More Formal Verification for BPF

A look at CrossPoint e-reader firmware

Manim: Framework for Creating Mathematical Animations

Building a Quantum Computer, One Fragile Qubit at a Time

A Call for Action: The "Leiden Declaration on AI and Math"

A look at CrossPoint e-reader firmware

Hilbert Curve

Changes in shadow-utils password-expiration features

Building a Quantum Computer, One Fragile Qubit at a Time

Block-Layer Error Injection

KVM Planes Head for Takeoff

The existence of the square root of two

Jason Arday's rise and fall tells a larger story about academia, a critic says

Progress in Modernizing Kernel Cryptography

Debating the role of large language models in the kernel community

OS Development Wiki

Why Aging May Be a Program, Not a Breakdown

Falstad Math and Physics Simulations

manim: Framework for Creating Mathematical Animations

1 2 3 4 5 6 7 8 9 10