

Dylan Zwick
341 posts






Update: I've joined @AnthropicAI and taken leave from the university. Excited to work with many talented, mission-driven people on the defining technology of our time.




Birthright citizenship. Court rule against the executive order. Upholds birthright citizenship.


NEVER!


They quit the West for Russia's traditional values, but it wasn't what they expected bbc.in/3Qoq2Ar


The first one’s gone. In Moscow, Lieutenant General Sergei Kobylaš, commander of the Russian Air Force, accidentally fell out of a window.


Some more details on Alexeev's approach. Here is his zulip thread: #narrow/channel/583339-AI-authored-projects/topic/Erd.C5.91s.20unit-distance.20counterexample.2C.20exponent.20above.201/near/606778508" target="_blank" rel="nofollow noopener">leanprover.zulipchat.com/#narrow/channe…


Who's the greatest presidential candidate to never get elected?

The first line of Before Sunrise is “Will you put down that damn newspaper and listen to me?”






Interestingly, ProofBench actually shows Opus 4.8 is almost as good as Aristotle at formalization (and with much lower latency). I reckon Mythos surpasses Aristotle



Wittgenstein once asked why we took it for granted that the Sun turned around the Earth. He was told it was because it looks like the Sun is going around the Earth — to which he replied, "Well, what would it have looked like if it had looked like the Earth went around the Sun?"