Andrew M Wells retweetledi
I wonder if Anthropic would manage to push past IBM if they release Mythos
English
Andrew M Wells
79 posts
Andrew M Wells
@WellsAndrewM
Code reasoning for fun and profit
Katılım Aralık 2020
36 Takip Edilen20 Takipçiler
This is kind of an incredible youtube link error from Jeff.
Jeff Dean@JeffDean
Hedged requests (apparently inspired by the Tail at Scale paper by myself and Luiz Barroso) applied within a single machine to replicating data across DRAM channels and issuing reads to all channels, using the one that comes back first. ~5-15X reduction in p99.99 read latency. github.com/LaurieWired/ta… Cool stuff, @lauriewired! Accompanying video forwarded to me by a friend, which is how I learned about it: youtube.com/watch?v=QFi2WV…
English
His bloom-berg terminal
Michael (Hedge Fund Manager)@HedgeFundFomo
The advanced research tool used to do this analysis
English
@brankopetric00 Use this GH action: owenthereal/action-upterm
Has saved me hours
English
Andrew M Wells retweetledi
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:
🌐 cslib.io
📄 White paper: arxiv.org/abs/2602.04846
🤝 Contribute: github.com/leanprover/csl…
#LeanLang #LeanProver #CSLib #OpenSource #FormalVerification
English
Andrew M Wells retweetledi
This is really giving reviewers too much credit.
Philippe-Antoine Hoyeck@PAHoyeck
A striking statistic about the state of academia: About half of all academic papers are read only by the author and reviewer.
English
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)
English
Andrew M Wells retweetledi
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: adam.math.hhu.de/#/g/AlexKontor…
Follow along with all the lectures/videos/notes here: alexkontorovich.github.io/2025F311H/
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!)
English
Andrew M Wells retweetledi
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
Ben Podgursky@bpodgursky
whenever old people tell me "your baby is soooo cute", i ask them, "would you tell me if he wasn't?". it throws them off for a bit until i explain the importance of epistemic calibration.
English
@bmcnett “Float format from JSON’s inventor.”
Sounds like a horror story
English
everyone should go read crockford.com/dec64.html
it's a decimal float, from the inventor of JSON
English
Andrew M Wells retweetledi
If you think about it this makes sense. Anyone with an IQ less than 276 just wouldn’t think of it on their own.
dylan@narrenhut
HE WROTE THE PAPER LMAOOOO
English
Today I saw an image of how autistic people walk.
I didn’t know people actually have a name for this behavioural pattern which is “Continuous Dijkstra”
English
Because I try to admit my errors:
My theory that who becomes president is unimportant because they all listen to competent advisors didn’t age well.
Also, members of congress who don’t threaten to impeach Trump for shilling his shitcoin are spineless.
English
Andrew M Wells retweetledi
Wondering whose killing by the Israeli military they are celebrating?
Here he is. He was two years old
English
Imagine getting acquitted on a technicality and then interviewing for jobs.
“Tell me about a time you had a disagreement. How did you get it resolved?”
Luigi Nation@mangionethinker
Luigi Mangione's backpack was repacked by the officers after seizing and searching it at McDonalds. They later brought it to the Police Department and found the gun. If his attorney's motion for unlawfully obtained evidence is granted, all evidence would be inadmissible in court
English