I am now in Italy, but my luggage chickened out and decided not to get off the plane in France, before turning around to head back to the United States. What does it know that I do not know?

As much as I love @ICFP_conference, this year's hallway track is the least hospitable of any conference I've ever been to. There isn't a single chair outside of the main room and I'm not looking forward to doing six months worth of physical therapy for plantar fasciitis after

Those responsible for sacking the people who have just been sacked, have been sacked. The [government] hired to continue the [tax] credits after the other         people had been sacked, wish it to           be known ...

A story about fraud in the AI research community: On September 5th, Matt Shumer, CEO of OthersideAI, announces to the world that they've made a breakthrough, allowing them to train a mid-size model to top-tier levels of performance. This is huge. If it's real. It isn't.

To be fair when writing it, I was using hole driven development quite systematically! I recommend taking one of the code branches and replacing it with _ , and working your way through what is in scope and what you have to do with it and why. There's only really one viable thing

OH: A: Delete your gender and try again. B: *blink blink* A: Your 'gen' dir. The directory. B: Oh, that's a little more reasonable.

hackage.haskell.org/package/placeh… ghci> import Control.Placeholder ghci> main = todo <interactive>:6:8: warning: [GHC-63394] [-Wdeprecations] In the use of ‘todo’ (imported from Control.Placeholder): "'todo' left in code"

There is something oddly sci-fi in feeling about "Of course the standard AI these days ships with ~everything a well-informed college graduate knows but that is of course wasteful so if you only need enough reasoning to debug code you can chop off bits for cost reduction."

Haskell's #28! We're getting there!

Washing machines had a greater impact on women's rights than any other mechanical technology It's pretty hard to work outside the home if you're spending 2 days a week washing all the clothes Here's Hans Rosling's brilliant talk on The Magical Washing Machine from 2011

The future has arrived - and it is terrible. Since the AgdaJS compiler isn't maintained, and since creating one would be a $1m-budget project, we're now compiling 590 Agda files to TypeScript using Sonnet-3.5, to let us run our apps on the browser. The results are excellent.

A coworker and I were talking about the proper way to kill children in a food court once, in the wake of 9/11, and had mall security called on us. The ensuing awkward explanation of unix process terminology with a jittery mall-cop has lived rent-free in my head ever since.

Apparently the answer for how AI will make it possible for one person to build a billion dollar company is to start with 3,600 people and an approximate valuation of $150 billion and aggressively prune. Who knew?

OpenAI To Grant 7% to Mr. Altman; Becomes Latest Stage Company Ever to Accept the YC Standard Deal

Step aside Monty Hall, Blackwell’s N=2 case for the secretary problem is way weirder.

This gives new meaning to the term "cold storage."

So happy to see this come together!

If you often have the thought “if I ran the government, I would fund X,” where X is an area of sci/tech R&D that could make a transformative difference for only tens of millions, then I have good news for you: you don’t need to run the government, just apply to be an ARIA PD.