Title: Advice for a young investigator in the first and last days of the Anthropocene
Abstract: Within just a few years, it is likely that we will create AI systems that outperform the best humans on all intellectual tasks. This will have implications for your research and…
huh
I wonder if we'll soon cross some "de Bruijin threshold" at which teaching proofs in Lean with the aid of visualizing the current proof state is easier than teaching proofs normally
@ninja_maths
huh
I wonder if we'll soon cross some "de Bruijin threshold" at which teaching proofs in Lean with the aid of visualizing the current proof state is easier than teaching proofs normally
@ninja_maths
this souunds really cool
"They experimentally synthesized these genomes and showed that these AI-generated phages actually work"
what does it mean to exp synth an AI genome? build it base by base and put it in a cell to be turned into protein?
this souunds really cool
"They experimentally synthesized these genomes and showed that these AI-generated phages actually work"
what does it mean to exp synth an AI genome? build it base by base and put it in a cell to be turned into protein?
a long time ago i went to a talk by @anderssandberg where he mentioned that human beings have two separate sets of neural circuitry - one for "wanting" things and one for "liking" them, and that's stuck with me ever since
a long time ago i went to a talk by @anderssandberg where he mentioned that human beings have two separate sets of neural circuitry - one for "wanting" things and one for "liking" them, and that's stuck with me ever since
i need to fuzzy search the text of a large legal document (100s of pages)
by fuzzy search i mean semantic/ non-keyword matching
can this be done cheaply and reliably with modern AI?
Learnt today that the characters in the band-of-rabbits in Richard's Adams 'Watership Down' are based on his fellow soldiers in 250 (Parachute) Company RASC, who dropped into Arnhem 81 years ago.
Like J.R.R. Tolkein, his fantasy of good against evil was rooted in his own wartime…
# Enough AI copilots! We need AI HUDs
IMO, one of the best critiques of modern AI design comes from a 1992 talk by the researcher Mark Weiser, where he ranted against "copilot" as a metaphor for AI.
33 years ago, but still incredibly relevant for anyone designing with AI...…
1K Followers 577 FollowingM.A.G.A 🇺🇸,Stay Positive & Be Good To Good People. #xrp Consultant, Developer And Advisor. Passionate About #XRP Education, Author Of The Complete #XRP, #Web3
408 Followers 1K FollowingEntering year 10,000 of negotiating the Elven Treaties with the Andromeda Cluster
| ucla law | that Lib pro-excellence legal zealot @CenterforEdProg
10K Followers 8K Following"It would be much better to call a halt in material progress and discovery rather than to be mastered by our own apparatus and the forces which it directs"
266 Followers 177 FollowingML engineer rat(?) with an interest in strategy, philosophy, love, and general tomfoolery.
https://t.co/lp7M3i7fhe
take care of each other
29K Followers 812 FollowingMathematician (Distinguished Professor of #Math at @RutgersU). Here to learn about research, education, and community. Let’s build something together.
3K Followers 17 FollowingHigh-volume account of @ESYudkowsky, the original AI alignment guy. If it's missing punctuation, it's humor. If you can't tell, it's probably also humor.
5K Followers 928 FollowingTurning psychedelics into the programmable substrate for mental states | CEO @MindstateDesign | AI x Neurotech x Psychotropics | ex-biotech VC
408 Followers 1K FollowingEntering year 10,000 of negotiating the Elven Treaties with the Andromeda Cluster
| ucla law | that Lib pro-excellence legal zealot @CenterforEdProg
5K Followers 164 FollowingMaking ultra cheap thermal energy storage at Standard Thermal. https://t.co/Rx6SzD7vgm
⬇️ I write a blog about energy and technology
266 Followers 177 FollowingML engineer rat(?) with an interest in strategy, philosophy, love, and general tomfoolery.
https://t.co/lp7M3i7fhe
take care of each other
180 Followers 40 FollowingPlatform powering the future of education.
Kids crush academics in 2 hours, get their time back, then dive into life skills and passions. 🚀🧠
2K Followers 534 FollowingFacilitator & podcast host @artofaccomp
Founder @ https://t.co/x9L8nbHiGv
Coach @ https://t.co/6MhdBRQEPZ
Enjoyer of play on or above the earth
38K Followers 3K FollowingDad | Professor of applied sciences @AcademicaUoAS | PhD @KingsCollegeLon | UNESCO SoL editorial board | Dubliner | Keats devotee | persecuted by an integer
11 Followers 11 FollowingIsaac Holze - Exploring culture and creativity through the lens of Integral Theory.
Host of #LetsGoIndigo | On YouTube:
https://t.co/jI6KyGqjjX
4K Followers 259 FollowingI’ve spent a lifetime switching my Special Interest every year or two. By now I’m surprisingly knowledgeable in a lot of fields— a skill now obsoleted by AI.
269 Followers 716 Followingprev: pro poker, eng @ aws
now: AI whispering, founder @allinlabsio
next: transcendent flourishing, becoming one with the earth and the stars
6K Followers 2K FollowingIn pursuit of human flourishing. Historian of the home economy / phd student @Princeton / thinking about dignity, love and work / Catholic / mother of 1 🕊