A small collection of formally verified junk theorems provable in Lean4 + Mathlib. - James-Hanson/junk-theorems-in-lean

Obscure tape finds and their stories

Interactive React components for creating network diagrams, fiber networks, and rack infrastructure visualization.

A huge animation scene with many references to memes, games, films, series, anime, music groups

Two engineers walked into the government six months ago to drag federal retirements from an underground mine onto the Internet. They built retire.opm.gov and are poised to turn six-month waits into near-instant processing for hundreds of thousands of employees.

Panic buying, plain and simple. If anything indicates that this AI bubble is about to pop, it’s this.

A deep dive into Kubernetes.

Visual Studio Code redefines AI-powered coding with GitHub Copilot for building and debugging modern web and cloud applications. Visual Studio Code is free and available on your favorite platform - Linux, macOS, and Windows.

Not an artistic judgement. Just a technical one.

In an extraordinary move, Louisiana-based Fibrebond rewarded loyalty over ownership when over 550 employees with no company shares received a combined $240 million after its $1.7 billion sale to Eaton. CEO Graham Walker allocated 15 percent of proceeds to…

I've never felt this much behind as a programmer. The profession is being dramatically refactored as the bits contributed by the programmer are increasingly sparse and between. I have a sense that I could be 10X more powerful if I just properly string together…

The Groq deal that dodged regulators, enriched Chamath, sidestepped Saudi entanglements and a whole bunch more

With grim prognosis hanging overhead, doctors and scientists at universities and institutions across the U.S. worked tirelessly to develop the world’s first custom gene-editing therapy to save the life of a newborn.

Time seems simple. But we engineers lose sleep over something as basic as keeping clocks in sync. Here’s why…

Last year, Lemire wrote about an optimized variation of the Euclidean algorithm for computing the greatest common divisor of two numbers, called binary Euclidean algorithm or Stein’s algorithm. It’s a best-of-class implementation, though it’s currently only…