This sort of convenient semi-arbitrary extension of a partial function is ubiquitous in Lean 4 mathlib, the most active mathematics formalization project today. It turns out that the most convenient way to do informal math and formal math differ in this aspect.
> many of my math friends consistently slept 9–10 hours a day.
Anecdotally, I've noticed an association between long sleeping and math ability in particular, so this doesn't surprise me. I wonder if it's been studied scientifically.
In Meta's case, the problem is that they had been given the go-ahead by the EU to train on certain data, and then after starting training, the EU changed its mind and told them to stop.
A fun point in the article: Burton got into the industry via Rollercoaster Tycoon experience:
> Curiosity became an obsession in his teens, when he started to play RollerCoaster Tycoon, a computer game that allowed him to devise his own rides. [...] In the end he won the job, he said, on the strength of those speculative rollercoasters he had made in a video game.
The revised content on that topic, found in the Boss Fight book [1], is even better than the blog post. A teaser:
> I'm obsessed with finishing as a skill. Over the years, I've realized that so many of the good things that have come my way are because I was able to finish what I started.... Irrespective of how big the project was, each one I finished gave something back to me, whether it was new fans, a new benchmark for what I could accomplish, or new friends that I could work with and learn from.
That was strange. I had to reread it to confirm that he's just talking about some random kid looking at the publicly-available game data files, not an employee or anyone else with special access.
All sorts of technology can be used secretly to assist criminal enterprises. Cars, computers, pencils, electricity, etc. It's unfair to hold LLMs to a higher standard than what applies to nearly everything else.
reply