(i did it; yay)
06.03.2026 16:20
👍 1
🔁 0
💬 1
📌 0
hmph! (ok thank u)
06.03.2026 15:52
👍 1
🔁 0
💬 1
📌 0
best font for lean/etc.???
06.03.2026 15:47
👍 0
🔁 0
💬 0
📌 0
someone tell me to go get a breafkast and a coffee???
06.03.2026 15:44
👍 2
🔁 0
💬 1
📌 0
anyone who's been inside google fully does tho
06.03.2026 15:06
👍 4
🔁 0
💬 0
📌 0
still wroking on my main project from my pinned post!!!!
extracting semantics of PLs and similar things from impls
06.03.2026 14:51
👍 1
🔁 0
💬 0
📌 0
nothing klovar
06.03.2026 14:45
👍 1
🔁 0
💬 0
📌 0
some context windows just have a lil self esteem crisis and need a pick me up 🤷🏼♀️
06.03.2026 14:40
👍 1
🔁 0
💬 0
📌 0
semantics extraction stuff, a much better version of it
06.03.2026 14:36
👍 1
🔁 0
💬 1
📌 0
(it amuses me that some ppl may think i'm like unselfawarely going all hypomanic and risking detachment from reality etc etc etc and joke's on u i always worried about that in all things always!! even now as i enjoy it agghhhh!!!!!!)
06.03.2026 14:21
👍 2
🔁 0
💬 1
📌 0
can't believe i'm doing another all nighter so soon but this,,, this fucking proof y'allllllll
WE ARE SO CLOSEEEEEEEE
06.03.2026 14:19
👍 8
🔁 0
💬 2
📌 0
yea, this sorta stuff is really hard to excise and i just don't try to rn (upside of solo research stuff!)
06.03.2026 14:14
👍 2
🔁 0
💬 0
📌 0
agree
06.03.2026 13:33
👍 5
🔁 0
💬 0
📌 0
Notation abuse is just a parametric typeclass instance
06.03.2026 11:33
👍 4
🔁 1
💬 0
📌 1
like it's a different statement even, just same goal in practice
06.03.2026 12:04
👍 1
🔁 0
💬 0
📌 0
indeeeed
this is a much better version entirely tbqh
06.03.2026 12:04
👍 1
🔁 0
💬 1
📌 0
nuh uhhhhhhhh
06.03.2026 12:03
👍 1
🔁 0
💬 0
📌 0
also: pancake desire
06.03.2026 12:03
👍 0
🔁 0
💬 0
📌 0
nonsense is going on
06.03.2026 12:03
👍 0
🔁 0
💬 1
📌 0
wat
06.03.2026 12:01
👍 1
🔁 0
💬 1
📌 0
p*y*le, gosh
06.03.2026 11:58
👍 1
🔁 0
💬 1
📌 0
stake; can pyle
06.03.2026 11:56
👍 2
🔁 0
💬 1
📌 0
annnnnn
cake
of the
pan
06.03.2026 11:40
👍 2
🔁 0
💬 1
📌 0
wanna pancake
06.03.2026 11:40
👍 2
🔁 0
💬 1
📌 0
like, did i submit something i am less proud of now? yes!
is this a better version? fuck yes! transparently so. so glad finally found it. wild how much luck comes into this.
06.03.2026 10:45
👍 3
🔁 0
💬 0
📌 0
up so late but proof is proofing so well and poc is pocing so well and fjadsl;fjlkadsfkladsfkl agghhhhhh this gives me LIFEEEE this makes me feel invincible to bad feedback this progress is so solid
06.03.2026 10:44
👍 4
🔁 0
💬 2
📌 0
cick damera
06.03.2026 10:14
👍 1
🔁 1
💬 0
📌 0
(i'm really not sure where that limit will be tho! i am not confident of much of any change beyond where we are, but i know that these things are hard to imagine in advance from experience, so i also expect that a lot a lot of change is *possible*
anyway rambling lol)
06.03.2026 10:14
👍 1
🔁 0
💬 1
📌 0
fwiw, a good many of the earliest economists focused on ai didn't really think it would likely end all employment either
my guess is more relational work, some material, some service, but w/increasing focus on paying for human engagement as other needs, insomuch as they are automatable, are
06.03.2026 10:14
👍 1
🔁 0
💬 1
📌 0
one of my strongest beliefs is that continuing to learn new things as you age is essential -- no matter what you decide to learn about.
There is a kind of death that begins when you decide you know all that you need to know about the world.
06.03.2026 09:47
👍 46
🔁 16
💬 1
📌 0
