@_JeanLeon

friendly & curious introvert with too many interests “start where you are, use what you have, do what you can” also on bsky @ https://xitter.cf/t.co/z6rZGFfzVB

 steppelandia
bsky.app/profile/jean-leon.bsky.social
Joined December 2019
  • Tweets17.9K
  • Following3.6K
  • Followers503
1.4KMedia
The proof of the Classification is so damn long that they never finished publishing the refactored version because the main authors were dying faster than they could write. xitter.cf/axiommathai/status/211…
Axiom
@axiommathai20h
Replying to @axiommathai
AxiomProver's swarm built the proof in 50 million lines of Lean, over 24 days. The repository is the largest Lean code base to date. Code generation at this scale forced us to reimagine the underlying engineering infrastructure. We saw a glimpse of the future of swarm coding.
1
1
23
478
at what scale will these hacking incidents finally become military matters? hospitals getting ransomed should be a redline, or does it only become one when we get 9/11 scale of deaths? people will 100% die from delayed ambulances that had to divert.
Matt Johansen
@mattjay14h
Hackers absolutely compromised New Mexico hospital system. Surgeries cancelled. Ambulances diverted. Hackers demands broadcast over the sound system.
1
2
77
Jean 🍌 Leon retweeted
Chad@birdchad88Oct 27
Every time we discover P=NP they just reset the universe.
97
371
38
7,067
274,090
Jean 🍌 Leon retweeted
octo
@the_octobroOct 27
It turns out math was only beautiful because we weren't looking for the incredibly ugly stuff
Kevin Lacker
@lackerOct 26
A pessimistic hypothesis for complexity theory: every simple and beautiful algorithm can be made log(n)^epsilon faster by making it incredibly ugly
11
44
8
966
17,878
Jean 🍌 Leon retweeted
Stakeholder Consultant@echetus16h
1915: Personally direct gas attacks at the Battle of Ypres, so appalling your wife tha she shoots herself with your service revolver 1918: Win the Nobel Prize in Chemistry for an invention which will ultimately end mass famine for all time
Stakeholder Consultant@echetus16h
Fritz Haber inventing chlorine gas and modern fertilisers a few years apart is like some Effective Altruist thought experiment
7
25
354
5,815
not gonna argue against the post as any reasonable person or person who ever used a drone immediately sees the practical value of this research. but the genius in the post is that it preempts any reasonable arguments by rendering them as motivated reasoning and self-deception.
Richard Ngo
@RichardMCNgoOct 26
It’s worthwhile to play through in your mind the kinds of motivated reasoning and self-deception that might have led academics to work on this project. It’ll help you understand better what’s going on at AGI companies.
1
108
imagine if a share of all cyber ransoms being demanded went into a fund that pays out bounties for getting the extortionist. how big would such a fund be by now?
Andrew Curran
@AndrewCurran_Oct 27
GMO refused to pay the $50m ransom demanded by the hackers, so they have threatened to trigger ransomware installed on the PCs of everyone who was logged into the cloud during the hack. GMO is asking everyone to unplug and turn off their PCs ahead of the deadline 30 min from now.
4
105
Jean 🍌 Leon retweeted
chlouds@chlouds121600Oct 26
geology does not exist (husserl) and anyone who claims to be a geologist is lying to you. the rocks are unknowable. leave them be.
9
30
8
188
16,188
azure, with a market value of estimated $2t if it was a seperate business, can not get its docs right
_its_not_real_
@_its_not_real_Oct 26
The Azure portal changing faster than the supporting documentation is so deeply frustrating. The help agents can lend is even limited because everything in their training data is out of date and wrong. The built in copilot chat seems to only work half the time.
1
53
the day will come when i will be hedonically adapted to math getting solved forever by AI, but for now the hits still feel like hits
Andrew Curran
@AndrewCurran_Oct 26
OpenAI has announced to three new discoveries in mathematics, computer science, and physics: - Local smoothing and the Kakeya conjecture - The Exponential Time Hypothesis is false - Existence of quantum chromodynamics and completions of the Standard Model
1
2
186
Jean 🍌 Leon retweeted
Andrii Liubivyi@andrii_liubivyiOct 26
Replying to @FrJulienLaurent @teortaxesTex
Let’s imagine that the escape from the openai sandbox was just because of this one bit from cosmic rays
1
8
181
demand for anti-AI AI slop remains strong
Paul Calcraft
@paul_calOct 25
Anti-AI YouTube channel with millions of views & 150k subs is 96% AI scripted according to Pangram
24
Jean 🍌 Leon retweeted
Syd Steyerhart
@SydSteyerhartOct 25
Replying to @ArtemisConsort
The miracle that modern society works at all will never be understood by the masses, much less appreciated.
2
1
33
685
we will need a state-mandated pangram for phones, because people yearn for building the wire fraud automaton
Ragavan Thurairatnam
@RagavanThurairOct 23
We made the first AI model you can have a realistic conversation with that was trained entirely on speech! Dessa is a full-duplex speech-to-speech model that you can run on consumer GPUs. This is a GPT3 moment for speech.
1
1
46
Jean 🍌 Leon retweeted
Piers Cowburn
@pierscowburnOct 24
Been playing with taking data from Google Earth, processing it in Houdini, and running out photorealistc renders of distorted cityscapes. (no AI used btw)
20
59
2
1,004
41,853
most writings in shorthand is not transcribed and not digitized, right? another treasure trove of tokens to lift
Sabine Hossenfelder
@skdhOct 25
Scan of a page from Erwin Schrödinger's notebook, ca 1910. (Source: Zentralbibliothek für Physik, Vienna)
23
Jean 🍌 Leon retweeted
dizzee
@diz__zeeOct 25
"i work at one of the big 3 AI labs"
TheCoinClapper
@TheCoinCollect8Oct 23
Replying to @jakemintz @Suhail
Hi Jake - i work at one of the big 3 AI labs. I can assure you - it’s 100x worse than anyone is telling you truthfully. We had to patch a major energy security flaw on 3 grids in the US this week alone. This will never leave the lab’s walls - but I’m brave enough to say it. We are about 3-5 days away from a potential 20% blackout of energy in the US.
36
31
2
2,533
102,763
Jean 🍌 Leon retweeted
orph
@orph_Oct 24
we absolutely should in fact genetically engineer bioluminescent plants & trees and then completely eradicate the affront to God that is LED street lights from the face of the Earth
Zy
@ZyMazzaOct 23
How come it's always war and never like road work. Can we genetically engineer some giraffes for construction projects?
337
3,315
200
42,090
485,511
Jean 🍌 Leon retweeted
Nissa Seru
@nissa_seruOct 24
Replying to @louisvarge
Your whole life every user has been an illusion. You really think this one is real?
3
1
1
86
3,142
what a great effin idea for a captcha, just scan a random QR code with your smartphone. might as well tell me to beat it and never visit the site again.
1
1
49
"it's just a QR bro don't be a luddite" xitter.cf/max_spero_/status/2114…
Max Spero
@max_spero_Oct 25
I went to a restaurant today that made me order by QR code. Scanning the code took me to an app that immediately opened a live activity on my phone. Closing the tab involved a default 22% tip and declining an offer for Polymarket credits
1
21
Load more