opening up the skittles portal...

#skittles #portal #candy #colours #animatedgif

This is one of my favourite gadgets.

An economics student built a COMPUTER out of PLUMBING PARTS and WATER to simulate the major processes of the UK financial economy of the time, and it turned out to be so accurate, big companies commissioned a few to make predictions.

https://en.wikipedia.org/wiki/Phillips_Machine

I gave a talk yesterday at the WebAssembly Workshop (WAW 2025) at POPL on all the correctness/verification stuff I've worked on in Wasmtime/Cranelift in the past few years, including some thoughts on ongoing (well, when I get time again) proof-carrying code work. Recording is up from the whole workshop day (and all the talks are worth watching!). Here's the content for anyone curious:

- Video: https://www.youtube.com/watch?v=tiksgrSC3Ig&t=2453s
- Slides: https://cfallin.org/pubs/waw2025_correctness_slides.pdf

Illustrated fake-proof that π=4

The length of the green border is constant; always 4 times the diameter of the circle yet it can be made to approach arbitrarily close to the circumference
#genuary #genuary17 #genuary2024 #CreativeCoding #Processing #Mathsodon #maths #mathematics #geometry

*drops an abomination into the room and runs away*

From Daniel Feldman (dfeldman.org) on Bluesky.