Stories by gbacon

Language models imply world models

Ann Bedsole, founder of the Alabama School of Math and Science, dies at 95

Generating map tiles for FAA sectional charts with GDAL

How Did Dennis Ritchie Produce His PhD Thesis? A Typographical Mystery

Second look at Microsoft 365 Copilot

First look at Microsoft 365 Copilot

Showing the halting problem’s undecidability in Agda

Poker pro Mike Caro on keeping the short term in perspective

Private Pilot Ground School

Temptation bundling: Use instant gratification to finish least favorite tasks

White to move and win: beautiful van Breukelen puzzle (c. 1987)

Multiple ways to compute e in Raku

The Limits of Logic

Differences Between MSL and GPS Altitudes

I struggle to understand Haskell’s Traversable

A Minecraft mapmaking utility

FAA to consider increasing Light Sport Aircraft weight limit to 3,600 pounds

Cook’s 1971 Paper proving boolean satisfiability NP-Complete transcribed to TeX

Senator John McCain dies at 81

A software archaeology screwup

1
2