Proof by storytelling

Related Stories

Small Propositional Logic Proof Assistant

A proof of concept tool to verify estimates

New 'Superdiffusion' Proof Probes the Mysterious Math of Turbulence

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

Linguists Find Proof of Sweeping Language Pattern Once Deemed a 'Hoax'

Security Researchers Create Proof-of-Concept Program that Evades Linux Syscall-Watching Antivirus

A Rust API Inspired by Python, Powered by Serde

Stability by Design

Process state by &mut, or, by move in and out

Time saved by AI offset by new work created, study suggests

The Cybertruck was supposed to be apocalypse-proof. Can it even survive a trip to the grocery store?

"Vibe Coding" by Emergent Garden

Filtering GitHub actions by changed files

Stop Solving Problems by Adding Processes

UK could require solar panels on most new homes by 2027 | Country aims to decarbonize by 2030

Contributions to ruby/spec by Ruby implementation

Reducing SVGs by 90% with Javascript tricks

Ports that are blocked by browsers (2023)

Mac app launches slowed by malware scan (2024)

AfD classified as extreme-right by German intelligence

Pinterest Users Left Confused By Mass Account Suspensions

16-bit Intel 8088 Chip by Charles Bukowski

I ruined my vacation by reverse engineering WSC

Nvidia Reportedly Raises GPU Prices by 10-15%

Malicious compliance by booking an available meeting room

Giant Bomb has been sold by Fandom, will continue independently | The site has been purchased by long-time staff members

ADHD could contribute to obesity by reducing physical activity, and this relationship could also be influenced by where you live

US Manufacturing Activity Shrinks by the Most Since November

claude-code: Anthropic's CVE 9.x "by design"

Website for US deportation airline GlobalX defaced by hackers