Andrew M Wells

Code reasoning for fun and profit

[Alex Cohen @anothercohen]

Really appreciate the city of Austin letting me know that I was imminent danger from the rain at 2am, 4am, 530am, and 6am!

[David Zagaynov @DavidZagaynov]

The sheer scale of a trillion dollars can be hard to comprehend. Let me put it in perspective. You would be able to buy 42 miles of high speed rail in California with that much money.

[“paula” @paularambles]

classic cold start problem

[Elon Musk @elonmusk]

@iScienceLuvr Putting “Ph.D.” in your social media name is a sure sign of a pompous retard

[Bojan Tunguz @tunguz]

This is some major banana republic sh*t!

[Paul Graham @paulg]

What? It's not sufficient to park their money in an index fund or a blind trust? Lawmakers need to be active traders to take care of their families?

[Bojan Tunguz @tunguz]

@BradWilcoxIFS Misleading stat. It has mostly to do with the wider variety of names for non-Muslim children than. Very different overall distributions.

[Peter Gostev (SF: 22-26 June) @petergostev]

I wonder if Anthropic would manage to push past IBM if they release Mythos

[Andrew M Wells @WellsAndrewM]

@xlr8harder Prepping for Sunday with @growing_daniel

[Andrew M Wells @WellsAndrewM]

Happy Taco Tuesday to those who celebrate

[Andrew M Wells @WellsAndrewM]

His bloom-berg terminal

[Michael (Hedge Fund Manager) @HedgeFundFomo]

The advanced research tool used to do this analysis

[Andrew M Wells @WellsAndrewM]

@brankopetric00 Use this GH action: owenthereal/action-upterm
Has saved me hours

[Lean @leanprover]

The CSLib steering committee recently announced the official launch of CSLib — an open-source effort to formalize computer science in Lean, inspired by the impact of Mathlib in mathematics.

CS researchers, practitioners, and enthusiasts are invited to get involved to support formalizing essential computer science concepts, and building infrastructure for reasoning about real-world code with Lean.

Learn more at:
🌐 https://t.co/Qdj1XzikL3
📄 White paper: https://t.co/ZQHAKyMYCP
🤝 Contribute: https://t.co/HfDP19XwZ9

#LeanLang #LeanProver #CSLib #OpenSource #FormalVerification

[Will Kinney @WKCosmo]

This is really giving reviewers too much credit.

[Andrew M Wells @WellsAndrewM]

If your boyfriend uses tailscale instead of rolling his own network, that’s your girlfriend.

[Q @qtnx_]

relationship is getting serious (adding her macbook to my tailscale network)

[Alex Kontorovich @AlexKontorovich]

Real Analysis, The Game (v0.1) is DONE!!

44 Worlds

138 Levels

All your old favorites like Bolzano-Weierstrass and Heine-Borel, Uniform Convergence and Riemann Sums, and the biggest Boss of all, the Intermediate Value Theorem! :)

Play the game here: https://t.co/TiJfw59gi7

Follow along with all the lectures/videos/notes here: https://t.co/54ZutkeRP4

Very relieved to have survived this semester, it was a tough one! Here's a sneak preview of where this project is headed next (math as a Scratch game... Let's get 12 year olds doing epsilon-delta proofs!)

[prerat @prerat]

if the baby is cute, i flip a coin but keep the result hidden. if heads, i say "omg so cute!!"; if tails, i say nothing.

if the baby is not cute, i always say nothing.

this way my silence is only as insulting as a single bit of evidence, rather than conclusive evidence

[Andrew M Wells @WellsAndrewM]

@bmcnett “Float format from JSON’s inventor.”
Sounds like a horror story

[⏧ @syntacrobat]

literally how do ML people survive without lifting tensor dimensions into the type system? isn't that like the number one thing youd immediately want

[Andrew M Wells @WellsAndrewM]

You can just do things

[Culture Explorer @CultureExploreX]

They walked into Louvre Museum at 9:30 a.m.

Used a crane. Smashed a window.
Stole the French crown jewels in 4 minutes.
No violence. Just precision.

If a world-famous museum can be robbed in broad daylight… what does that say about the guardians of culture?