antonio

soup

[antonio @onion_bushel]

@letonyo THE KOMLOS CONJECTURE?!!!!

[antonio @onion_bushel]

@alz_zyd_ they're projecting

[dimden @dimden]

the washing machine we have in our rental is from 1958 and uses punch cards for operation

[antonio @onion_bushel]

@bleakflowerz @doomslide or maybe we should feed the mathematicians more calorie-rich foods! or upload their consciousness to the grid and power them with electricity directly

[antonio @onion_bushel]

@Quasilocal @ben_golub @RefineDotInk I initially thought he was sharing another startup's new ai, expecting the "flaws" it claimed would be ripped apart quickly, ie a win for human mathematics. (Isn't Simon Brendle an extremely first-rate mathematician??) Then I realized it's his own startup! Not a good look 😂

[antonio @onion_bushel]

@james406 omg I've been there!! You can see a copy of the original fundraising deck

[antonio @onion_bushel]

@robotsailor PARKOUR

[BURKOV @burkov]

A math professor noticed his kitchen sink at home was leaking.

He called a plumber.

The plumber came the next day, tightened a couple of nuts, and the sink worked perfectly again. The professor was delighted. But when, a minute later, the plumber handed him the bill, he was shocked.

“This is a third of my monthly salary!”
“Yeah, I get it…” said the plumber. “Why don’t you come work for our company as a plumber? You’ll make three times more than you do as a professor. Just remember: when you apply, say you only finished seventh grade. They don’t like hiring educated people.”

So the professor got a job as a plumber, and his life really did improve. All he had to do was tighten a nut here and there every so often, and his salary was much higher.

One day, the management of the plumbing company decided that every plumber had to attend evening classes to finish eighth grade. So our professor had to go too.

By chance, the very first class was math.

The evening school teacher, wanting to check what the students knew, asked for the formula for the area of a circle.

They called the professor up to the board, and he suddenly realized he’d forgotten it. He started frantically reasoning it out, covering the board with integrals, differentials, and all sorts of fancy formulas to re-derive the result. In the end, he got:
S = –π r²

He didn’t like the minus sign, so he started again.
Again he got a minus. No matter what he did, it kept coming out negative.

He cast a panicked look at the class, and all the plumbers were whispering:

“Swap the limits of integration!”

[antonio @onion_bushel]

@SpeaksNanda speaking of iambic pentameter, found this lovely little bowl of slop

[ben hylak @benhylak]

this is terrifyingly beautiful. the best writing i've ever seen from an AI, and the closest thing to conscious-seeming... scary.

[antonio @onion_bushel]

@localoptimiser @benhylak what is this? the Chinese imperial exams? what's a deviation
"Tomorrow and tomorrow and tomorrow
Creeps in this petty place from day to day
To the last syllable of recorded time"

[ben hylak @benhylak]

this is terrifyingly beautiful. the best writing i've ever seen from an AI, and the closest thing to conscious-seeming... scary.

[Will Anderson @wlanderson0]

Opus 5 is an interesting model, I hope they are doing okay

[Michael Nielsen @michael_nielsen]

One of my favourite letters, insightful & humane, from Richard Feynman to a former student who was having a rough time

I was reflecting on it as an argument in favour of scope insensitivity, or even in favour of smaller problems:

[Charlotte Lee @cljack]

Asked a nerd friend why he suddenly looked upset and he said, choking back tears, “we’ll never know what Von Neumann could have done with this level of compute”

[antonio @onion_bushel]

@__paleologo intuitively - because slices of a sphere with the same width also have the same surface area. (which itself is a fact I personally don't fully intuit, but at least it's a better-known fact)

[François Fleuret @francoisfleuret]

It's telling about the teaching of math that even thought I studied a lot of maths, and I am obsessive about nice representations, I never saw that before.

What kind of global culture and educationfailure is that.

[nxthompson @nxthompson]

This is an amazing quote from Lindsey Graham about when he realized how politics works. https://t.co/sh04ahQOFq

[justine @justinemach_]

an idiot in motion goes further than a genius at rest

[antonio @onion_bushel]

yeah I was looking at data center capex and ai labs' valuations vs a 10-15% cost of capital, and unit-econs wise it requires $20-200/1mn tokens, ie 10-100x what chatgpt charges now. Conversely we can back up that cost of capital versus how many knowledge workers there are, which gives $200-400/month per employee. Assuming even a 10-20% productivity/efficiency increase, the numbers on paper work out on the face of it, but there's 1. willingness of enterprises to actually invest and integrate, and 2. higher productivity may just mean people finish work quicker and wanna go home earlier