Joe

Aspiring Abyss Domain Expert

[Joe @alpha_convert]

The Next 700 "The Next 700" Papers

[Joe @alpha_convert]

@mindyisser Musette

[Joe @alpha_convert]

@TaliaRinger SLOPL

[Joe @alpha_convert]

@lambdabetaeta @TaliaRinger Did POPL reviewing have a “this is Claude I am not going to read this” button?

[Edward Z. Yang @ezyang]

Deciding how to help non-expert humans engage with formal verification specifications seems like one of the more important non-verifiable UX problems facing the rise of formal verification. 🧵

[Joe @alpha_convert]

Did a bunch of biking :)

[Joe @alpha_convert]

Hello from the Hudson River

[Joe @alpha_convert]

I call it “breakfast”

[yoni soprano @legally_male]

Does this drink have a name:
- shot of espresso
- in seltzer/soda water
- served iced

[will brown @willcb]

me: kinda fucked up how many people are offloading their whole lives to muse or instinct or grokbot or whatever

claude: yeah

[difficultyang @difficultyang]

So the log_softmax bug https://t.co/plXnVXVvEW that's been making the rounds. TorchLean also had the same problem (fixed in https://t.co/kfrbkZ8YoJ). How come? This example is pretty illustrative of the proper mindset you need when working on formal verification. 🧵

[Joe @alpha_convert]

@josecalderon If you name a constant I can name a bigger constant

[Joe @alpha_convert]

@NoahJSnyder CA timezone diff?

[Joe @alpha_convert]

@awsTO General beats special in the time of general intelligence!

[Joe @alpha_convert]

@samth @satnam6502 @awsTO You might need that now, but in 6mo? Probably not.

[Joe @alpha_convert]

The MTA has incredible time travel powers. 15 minutes ago, the next R train came in 9 minutes. Now it comes in 5 minutes!

[Joe @alpha_convert]

@TW1NKD3STR0YER This is what a PhD feels like

[Sylvain Gugger @GuggerSylvain]

At the PyTorch conference today and tomorrow, come and say hi!
We have lots of swag!

[Joe @alpha_convert]

potion seller

[em @filmlver]

do NOT go see you can see everything in the first row

[Joe @alpha_convert]

@tiksiminic yes

[Joe @alpha_convert]

Everybody needs to go see You Can See Everything right now