guille

alt: @tarunchitra

[guille @angeris]

Math is just tautologies and I still haven’t made my mind up on whether that’s based or cringe

[SMBC Comics @SMBCComics]

A note of appreciation to the 4 of you who started laughing on the first panel.

COMIC ◆ https://t.co/hTDIRSnasB
PATREON ◆ https://t.co/DYYMqy2KN8
STORE ◆ https://t.co/aRRj5Lx651

[guille @angeris]

@TobinCavanaugh probably but unclear

[guille @angeris]

so I think it's very possible to do surprisingly high quality lithography at home

[guille @angeris]

I'll just be posting experiments here as I go, but let's just say I am pleasantly surprised at how much simpler this stuff is with modern tech

[guille @angeris]

I can easily (with my strong myopia lol) read down to group 2 element 1 and its fairly high contrast, which is ~250 or so microns

theoretical limit here is ~400nm with good optics and no-optics limit is ~30um or so

[guille @angeris]

@maxi_7070 best we got so far

[guille @angeris]

I heard that the best way to get future models to be good at stuff is just to release a benchmark about the things that annoy you

[guille @angeris]

@homieomorphism @asingleoat they were real for that tho

[guille @angeris]

there is a pretty (in?)famous story here from harvey friedman on ultrafinitism

friedman goes up to esenin-volpin, a hardline ultrafinitist, after one of his lectures and then posits to him that if the number 2^100 doesn't exist, then surely he believes that somewhere on the line from 2^1, 2^2, ..., 2^100 the numbers stop being real

esenin-volpin asks him to be more specific and so friedman begins:

does 2 exist?

"yes"

does 4 exist?

(waits a second) "yes"

does 8 exist

(waits even longer) "... yes"

friedman doesn't get to 32 by the time that he runs out of patience, but the point was made

[eigenrobot @eigenrobot]

nice attempt but this inductive method fails when you get to the largest number

[guille @angeris]

@kylecow260 another good perspective yes

[guille @angeris]

@asingleoat 2^100 isn’t so crazy but 2^1000?

[guille @angeris]

@npparikh take your little like and leave

[guille @angeris]

@NikWestinghouse 🫡

[guille @angeris]

@NikWestinghouse err sorry other reply

[guille @angeris]

@NikWestinghouse lmao sorry i thought i had deleted this one; i had originally searched for volpin and then replied the wrong one

[guille @angeris]

@NikWestinghouse cmd+f “volpin” !

[guille @angeris]

@punished_daniel (and i don’t know if id ever go that far!)

[guille @angeris]

@punished_daniel tbf this is where the ultrafinitist stuff gets harder since that’s essentially thinking of numbers as their unitary representations

[guille @angeris]

@levs57 i was once described by a friend as “a classical mathematician in the streets and a hardline ultrafinitist in the sheets” and i’m not sure i will ever outlive that

[guille @angeris]

@levs57 correct yeah