todays bird
DEAR READER
ojovivo
art blog(derogatory)
Kiana Khansmith
Not today Justin
he wasn't even looking at me and he found me
Keni
⁂
Aqua Utopia｜海の底で記憶を紡ぐ
No title available
blake kathryn
Sade Olutola
let's talk about Bridgerton tea, my ask is open
we're not kids anymore.
izzy's playlists!
Janaina Medeiros
Origami Around
taylor price
tannertan36
seen from Türkiye
seen from Portugal
seen from United States
seen from United States
seen from United States
seen from Türkiye
seen from United States
seen from United States
seen from United States
seen from Czechia
seen from Malaysia
seen from Somalia
seen from Malaysia
seen from United States
seen from United States
seen from United States
seen from United States
seen from Greece
seen from United States
seen from United States
@transgenderer
just something i noticed
@skluug said:
if this one worked so well why didn't we just keep introducing more crime dogs? are we stupid?
the cynicism of the 90s made it impossible for people to accept the real solutions to society's ills could be so simple. this is why we need new sincerity
David pawster Wallace
ai will of course steadily improve to fill space in the workforce at whatever rate is necessary to prevent birthrates causing something to happen. and vis versa
I fucking love the music at trader Joe's. I'm so far from being "above" the music that plays at trader Joe's. If trader Joe's is the oceans bright surface I am a benthic organism. The sea floor is covered in free samples, both in my trader Joe's metaphor, and real life
I really wish we spelled "who's" and "whose" the same. I aLways know what I men but somehow it's hard for me to remember which is which when I'm typing
Everyone with their shit more together than mine is a one-note workerbee who doesn't understand the true meaning of freedom, everyone with their shit less together than mine is a directionless loser who's not going to make it
I really want to survive a plane crash unscathed. I don't want to die in a plane crash of course. I would accept a cool scar that is non debilitating. Or the loss of one of the less important fingers. I want to survive a plane crash
https://arxiv.org/html/2604.03071v1
I think we might actually be there for math formalization now. It's not to the point where it's super cheap to do whole textbooks, but we're getting to where if you have a specific theorem that you need formalized to check your paper, you can pull the supporting lemmas and get it formalized with a few days and a Claude subscription. And then you can have it formalize your paper from there
It's insanely lucky that there were these two research areas, type theory for formal verification and reasoning AI models, each of which was of very limited usefulness to math research on its own, each happened to be reaching maturity at almost the exact same time. Math has such a high standard of rigor that can basically never just use an ai generated proof. And proof assistants like Lean are so incredibly arduous to work with that nobody wants to actually use them. But slap them together and you get a closed feedback loop where the model gets checked against an extremely rigorous formalism, and the model abstracts away enough that you don't have to learn homotopic type theory to use it. And you end up with something that is both easier and more rigorous than doing the proof fully by hand. And both of these went from deeply underpowered to pretty useable since 2023, just in time to be practical when paired together
guy who's an atheist except for noah's ark
rationality technique: read the book you're talking about
you may end up "less wrong" about it
People less bothered than me by people smoking Crack on the sidewalk are over-woke morons cheering on the collapse of society, people more bothered than me are fascists-in-waiting who want to turn the city into a clean tidy prison
The archons want you to feel poor. You can't let them. It's like stoicism how you feel is the one thing you can control. Boarding group 9 gets there just as fast as boarding groups 1-8!
Everyone in the NYC rat scene shits on SF so I was very pleasantly surprised by my brief time there. It's so pretty! It's so pretty? If SF sucks to live in this is a tragedy. Because it is just, SO pretty. And I only saw a few guys doing Crack on the street! I suppose they should do something abt that. Ynever see guys doing that in new York
The airport is filled with "hostile symbols" on the sub/un-conscious level. And eight dollars bags of almonds. small ones!
Consistently humbling when indigestion makes me cranky. I'm no better than a baby! Nietzsche speaks of this, probably. That guy never stops talking about indigestion
I know it's not how it works but it would be cool if Muslims treated hogs like Hindus treat cows. Just letting them wander around the city. Gentle free roam pets.... Jaipur the pink city in more ways than one
I misremembered jaipur as a majority Muslim city... Please be gentle when you euthanize me
my friend said she would pay “any price” for the catgirl surgery. im just saying if a mad scientist wants to make some fuckin money there’s a market
See this is the sort of capitalistic mindset that will never get us catgirl surgery. This early in the game it's too speculative, the necessary research could never be profitable. We need to fund basic science towards the goal of catgirl surgery in 20, 30 years. This is the whole point of strong public institutions!
