https://www.youtube.com/watch?v=JHEO7cplfk8 pvmpgang tells me to take my fucking meds meanwhile we are at the fucking vibemathing stage
YouTube
Formalizing a proof in Lean using Claude Code
I revisit the formalization task I did nine months ago in https://www.youtube.com/watch?v=cyyR7j2ChCI , but this time use a recent version of Claude Code to agentically do most of the formalization, while still leaving enough interactivity to stay manually…
🥰1🤣1🗿1
Forwarded from Axis of Ordinary
How AI is being used in Iran. The Army is matching prior performance levels using just 20 personnel for targeting tasks that previously used 2000.
Read more: https://www.wsj.com/tech/ai/how-ai-is-turbocharging-the-war-in-iran-aca59002 [no paywall: https://archive.is/XxRq5]
Read more: https://www.wsj.com/tech/ai/how-ai-is-turbocharging-the-war-in-iran-aca59002 [no paywall: https://archive.is/XxRq5]
🤡2
Wiggerlab
It's time. It's happening.
This was a scheduled post, pointing to nothing. But it did point to 1M context window for Claude Opus 4.6 priced in with the subscriptions.
I have like 5 more scheduled vagueposts at different dates according to gematria, even I don't know what they are about I just don't give a shit anymore.
🤣1
There might be a Netanyahu inside you. Check if your ears are lower than your eyes.
Wiggerlab
USA keeps doing insane geopolitical moves yet everything works out. Then you realise every move is move 37. This isn't a good thing by the way.
This wiggerlab guy is a stupid fucking nigger
🤣8
I wake up in the morning thinking that Yookay cops just exist. No ounce of conscience in these people.
💯1
Without Claude Code or Codex I will straight up fucking die. I have two whispering earrings. My NixOS configuration works. My emacs configuration works. Everything works. My mind doesn't.
😁3🤡1💯1
