Loading...

Tag trends are in beta. Feedback? Thoughts? Email me at [email protected]

Palomar: A registry of Lean verified mathematics

AI Software Development – What Does The Data Say?

Solving the Flat Cube

What sort of maths are LLMs good at?

Ranking the Most Brilliantly Colored Birds with Data

Move FreeBSD System Between ZFS Disks

A digestion of the proof of Sendov's conjecture

Come for ENIAC, Stay for UNIVAC and Skeduflo

A partial digestion of the HRT counterexample

Spritework on the ZX Spectrum: Rendering

ESP32-C3 SuperMini antenna modification

ZX Spectrum System Tour: Text Mode

Ryg_rans Is Not a Library

ZX Spectrum System Tour: Sound

A digestion of the Jacobian conjecture counterexample

Human mathematicians are being outcounterexampled

What if they are all wrong? (2020)

A modern HTTP request

The tiny holdout building in the middle of Macy’s is back in view

What Bad Bases Are Good For

The small, real, original web

Old and new apps, via modern coding agents

The Preemptive Draw and Preemptive Grip in the Cash-in-Transit Sector

The rich aren't your role models

Diagrams for Penrose Tiles

SpaceX: Flying High on Impunity

Oxygen 6.7 is here: a breath of fresh air for KDE’s classic theme

From Pentagons to Pentagrams

Where to Find the Colors Your Screen Can't Show You

6 years and 360 patches to clean all instances of strnpy out of the Linux kernel

More →