Loading...

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

5 Boring Things That Have a Bigger Impact Than AI Assistants on Dev Productivity

Oodle 2.9.14 and Intel 13th/14th gen CPUs

NetBSD 10.x Kernel Math_emulation

A tool to verify estimates, II: a flexible proof assistant

Dead Stars Don’t Radiate

TrueNAS CORE is Dead – Long Live zVault

Dijkstra on Ada

Planetfall

Comparing floating-point numbers (2012)

The future of solar doesn't track the sun

Pixels in Islamic Art: Square Kufic Calligraphy (2020)

Orders of Infinity

A proof of concept tool to verify estimates

Minecraft Server in FreeBSD Jails Container

Rsync replaced with openrsync on macOS Sequoia

Make C string literals const?

Are FreeBSD Jails a Containers?

Stonean spaces, projective objects, the Riesz representation theorem, and (possibly) condensed mathematics

Street address errors in Google Maps

Is 1 Prime, and Does It Matter?

Diagnosing bugs preventing sleep on Windows

A puzzle of two unreliable sensors

Our New AI Website Builder

Fun ways of deciding authorship order (2016)

The Mathematics of Crochet

FreeBSD Jails Security

Ultima III for the VIC-20

Minimum reviewable unit

Decomposing a Factorial into Large Factors

Zero-knowledge proofs, encoding Sudoku and Mario speedruns without semantic leak

More →