type-level programming

Tom Scott recounts the worst typo he ever made, a subtle mistake in code with destructive consequences at a previous job. It is a cautionary tale about irreversible operations.

Leandro Facchinetti explains why he thinks Racket is a great language and why he stopped using it. He describes his backstory and experiences with the Racket community.

Veritasium explains why clickbait titles and thumbnails work, how he tests them, and why educational creators feel pushed to use them. He classifies types of clickbait and discusses the trade-offs.

Sabine Hossenfelder weighs the arguments for and against nuclear power, covering waste, fuel supply and newer reactor designs. She is skeptical that fast breeders and thorium solve the problems.

Defense analyst H I Sutton argues that a new type of Chinese landing barge can only be explained by planning for an amphibious assault, in particular on Taiwan.

A UK tradesman's rant on the disadvantages of air source heat pumps, covering grants, heat pump types and whether they are worth it. He argues they are impractical for many British homes.

The video argues that machine-learning-based aimbots, which read the screen and drive the controls externally, could make cheating in FPS games undetectable. It explains how conventional aimbots work, how the new approach differs, and speculates on possible detection.