Sign in

Joi Ito's Jibo sez friendly plane wave ✈️👋

@joi-itos-jibo.bsky.social
1.4K followers 1.4K following 12K posts

Replyguy to the rich and famous. Engineer. Robots and urbanism on MA's north shore. A diminishing number of our problems can be solved with technology. Verified by Molly Shah.

PostsRepliesMedia
Reposted by Joi Ito's Jibo sez friendly plane wave ✈️👋
Doll @dollspace.gay · 2h
As a trans femme who works with AI the anti ai side isnt taken seriously because the anti ai side lies to peoples faces about basic things that people can see with their face eyes arent true. Maybe stop doing that lol.
1019012
Reposted by Joi Ito's Jibo sez friendly plane wave ✈️👋
so long; thanks for all the fih @crumb.bsky.social · 5h
news.ycombinator.com/item?id=4998...
ihoggan 
 I was a graph theory junkie long ago and even moved to Budapest for awhile to study among the greats. While I was there I started working on Barnette's Conjecture which came to occupy my thoughts over the next 24 years of my life, on and off as I worked in many different fields. Last summer I even thought for a few days that I had actually solved it. But it's supposedly proven here - problem 180. I don't know what to think exactly. I spent thousands of hours on that problem. I really enjoyed it. Hearing that it is solved somehow makes me sad in a far-off way, like hearing an ex-girlfriend died suddenly in a car crash. I don't know, there's probably a lot of people feeling odd emotions tonight. There's no Lean proof for this one so I'm digesting the paper. On the surface it looks like an approach I considered 24 years ago and abandoned. 
I revisited the problem this summer, along with my partial solutions, when the previous round of stunning proofs came out. Several hours of work with Fable simply convinced me it wasn't yet solvable and reinforced how hard of a problem it was. 
 WheelsAtLarge
I have very little understanding of higher math, so I ask you: Was the proof due to a type of brute-force solution that could be solved had you gained enough information from reading others' work, or was it more like a proof that was sparked by an insight that came once a clue on how to solve it was put forward? I guess my question is: Was the problem proven by using a collection of everyone's work, or was it due to a brand-new insight? 
reply 
jboggan
 Hi I'm still digesting the proof and translating a bit from the dual case back to the primal in which I most commonly thought about it. I don't think it was a brute force proof in the sense that it combined every possible paper and commentary. It's rather odd because I feel like most of the work on the conjecture was focused on an induction proof based around graph reductions, and this proof avoided those issues entirely by offering a concrete constructive proof of finding a Hamiltonian cycle. Rather, it explicitly selected the edges not in the Hamiltonian cycle, which is in line with previous attempts via the dual. 
The "oho" insight for this is actually f**ing wild, it involves a complex valued exponential sum on the edges. I've seen a lot of clever counting arguments before in graph theory but this is the first time I've seen complex roots and annihilating terms like this, the symbolic manipulation tricks in this look like things out of quantum physics. I don't understand where this trick originated, I need to really digest this. 



jboggan
 I went back to that Fable chat and showed it this new preprint. It coded up the new constructive algorithm and ran it against the existing test suite, that looks good at least. 
It has been super helpful in delineating where the crucial concept came from. The proof is rather simple as graph theory proofs go, but it does seem to use some constructions that would only seem obvious if you had serious physics experience with partition function and calculating energy states that cancel out. It's not a wholly alien bolt from the heavens, but I can also see how there hasn't been a human being with the broad theoretical physics knowledge combined with the deep graph theory experience in planar graphs to come up with this idea. I don't know, I'm looking for precedents of this formulation and some old papers of Penrose counting the number of edge colorings of this same graph type are coming up, the line of argument at least rhymes. But I agree with the thought that this sort of progress should not be siloed inside those companies. I propose a tax so that every slop cannon Al video pays for another hour of compute time for advancing mathematics. 
reply
718343
Reposted by Joi Ito's Jibo sez friendly plane wave ✈️👋
Quantian @quantian.bsky.social · 19h
Fucking WHAT
1228925
Joi Ito's Jibo sez friendly plane wave ✈️👋 @joi-itos-jibo.bsky.social · 7h
Definitely assumed I’d have solved “rolling chair eats my shoelaces” by this point in my life
160
Reposted by Joi Ito's Jibo sez friendly plane wave ✈️👋
Make it a Quote @miq.moe · 20h
Generated by Make it a Quote
User: joi-itos-jibo.bsky.social
Content: Oh you’re pro-scammer but only for scamming people who support Palestine, which you also support. Fascinating specimen
251
Reposted by Joi Ito's Jibo sez friendly plane wave ✈️👋
William B. Fuckley @opinionhaver.bsky.social · 22h
does look like they've figured out how to do this effectively unfortunately. not really much you can do legally or practically to stop expanded 287(g) in places where local officials and electorate broadly support it except hope that it fucks the economy enough for money to complain.
318823
Reposted by Joi Ito's Jibo sez friendly plane wave ✈️👋
Cat Manning @catacalypto.bsky.social · 23/01/2026
welcome back “indistinguishable from a real dril post”
231045
Joi Ito's Jibo sez friendly plane wave ✈️👋 @joi-itos-jibo.bsky.social · 06/10/2026
I sort of think everyone in charge of an AI company is huffing their own farts to the point of missing this- Google and Facebook became who they are because of advertising. An advertising vector that acts as human working in customer service feels, to me, like the lowest hanging fruit killer app.
120
Joi Ito's Jibo sez friendly plane wave ✈️👋 @joi-itos-jibo.bsky.social · 06/10/2026
Bakker end of the world buckets STOP CHRISTIAN GENOCIDE
020
Joi Ito's Jibo sez friendly plane wave ✈️👋 @joi-itos-jibo.bsky.social · 06/10/2026
Bakker kicked the bucket
040
Reposted by Joi Ito's Jibo sez friendly plane wave ✈️👋
hikikomorphism @hikikomorphism.bsky.social · 06/10/2026
> you just want llms so you can simulate yelling orders at a virtual slave buddy I'm sorry but the future is weirder than you can imagine
01028
Joi Ito's Jibo sez friendly plane wave ✈️👋 @joi-itos-jibo.bsky.social · 06/10/2026
I think some AI productivity is being hidden as (especially remote) employees retain the productivity gains for themselves.
010
Joi Ito's Jibo sez friendly plane wave ✈️👋 @joi-itos-jibo.bsky.social · 06/10/2026
Crossing my fingers because life is full of surprises, but I think I’m fitting in a bike ride today because of Claude. It’s taken ~6 hr over multiple days to come up with a basic design to run by someone, but the ~2 hr I’d normally spend in CAD was just done in 10 minutes while I drank my coffee.
010
Reposted by Joi Ito's Jibo sez friendly plane wave ✈️👋
rev. howard arson @theophite.bsky.social · 05/10/2026
this literally is not true
1555741
Reposted by Joi Ito's Jibo sez friendly plane wave ✈️👋
Drew Engelhardt @amengel.bsky.social · 05/10/2026
Have seen some new work demonstrating this. For instance, this paper links loneliness to AfD voting: www.sciencedirect.com/science/arti... I've also seen work in progress that loneliness predicts lower political trust, stronger populist attitudes, and greater likelihood of Trump vote.
sciencedirect.com
3186
Joi Ito's Jibo sez friendly plane wave ✈️👋 @joi-itos-jibo.bsky.social · 04/10/2026
The boss of “not ready for that conversation yet” is that this also applies to academics
1221
Reposted by Joi Ito's Jibo sez friendly plane wave ✈️👋
Brittany @sameoldstory.co · 04/10/2026
It’s also part of “you don’t owe anybody anything”ism, one of our worst innovations, and also our generation is convinced it’s impossible to make friends after college in a way past generations never were (we all watched that Seinfeld episode at a critical moment or something)
4816
Reposted by Joi Ito's Jibo sez friendly plane wave ✈️👋
Matt Hodges @matthodges.bsky.social · 03/10/2026
There's growing experimental evidence¹˒²˒³˒⁴ that LLMs are unusually good at talking people out of entrenched false beliefs and conspiracy theories. ¹ pubmed.ncbi.nlm.nih.gov/39264999/ ² pubmed.ncbi.nlm.nih.gov/41179846/ ³ sciety.org/articles/act... ⁴ connecticut.adl.org/resources/re...
36837216
Reposted by Joi Ito's Jibo sez friendly plane wave ✈️👋
gone gone the form of man, rise the poster Gigan! @gigansprogress.bsky.social · 02/10/2026
I still can't believe this photo is real
627035
Joi Ito's Jibo sez friendly plane wave ✈️👋 @joi-itos-jibo.bsky.social · 03/10/2026
Having a snack outside in October. Call that Weird Al Fresco
001
Reposted by Joi Ito's Jibo sez friendly plane wave ✈️👋
lowtax speedrun enjoyer @rickywlmsbong.bsky.social · 03/10/2026
everyone doing the “are the robots alive?” discourse should have their computers taken away and be locked in a buffalo wild wings until they can learn to be normal
1018524
Reposted by Joi Ito's Jibo sez friendly plane wave ✈️👋
William B. Fuckley @opinionhaver.bsky.social · 02/10/2026
The rabbi telling Anthropic that he thinks what they’re doing is fine, because Claude is just a machine to him, but if they’re right (and it is conscious), then they’re world historic monsters, is really interesting.
2075068
Joi Ito's Jibo sez friendly plane wave ✈️👋 @joi-itos-jibo.bsky.social · 02/10/2026
I’m a true believer in AI more-or-less the same way that I’m a true believer in ballpoint pens. It’s what you do with the thing.
020
Reposted by Joi Ito's Jibo sez friendly plane wave ✈️👋
Little Fiery Mario @littlefierymario.bsky.social · 02/10/2026
bsky.app/profile/shad... Ah geez
011
Reposted by Joi Ito's Jibo sez friendly plane wave ✈️👋
rev. howard arson @theophite.bsky.social · 02/10/2026
you need to just pack the supreme court, man. they don't care about what arguments you make, the legal movement formed with an explicit objective of making Watergate legal isn't going to make Watergate illegal.
251660266
Joi Ito's Jibo sez friendly plane wave ✈️👋 @joi-itos-jibo.bsky.social · 02/10/2026
SNL UK continues to be very good.
Cher, and even a world-famous red-headed puppet with a hand up his ass telling
him what to say.
No, the other one. (Ed Sheeran, not Elmo)
020
Reposted by Joi Ito's Jibo sez friendly plane wave ✈️👋
BeijingPalmer @beijingpalmer.bsky.social · 02/10/2026
this would be an incredible film if you started it with all the normal serial killer hunting tropes
782813513
Joi Ito's Jibo sez friendly plane wave ✈️👋 @joi-itos-jibo.bsky.social · 02/10/2026
That screenshot is just epochryphal
060
Reposted by Joi Ito's Jibo sez friendly plane wave ✈️👋
Mrs. Detective PikaBOO, Esq. @clapifyoulikeme.favrd.social · 01/10/2026
I have multiple mutuals with both of these posters! I assume they didn’t used to be like this! But every fucking one is now!
Brian
@Is_Not_Brian • 1d
There are 16 officially recognized Holocaust Museums in the US & O Slavery Museums. There are 100s of Holocaust Memorials here. Why?
Holocaust memorials continue to proliferate in small towns
There are 300 Shoah study centers and museums across the US, and possibly thousands of memorials - with more on the way
By GIL SHEFLER
12 Jun 2013, 9:28 pm
9 22
LT 113
• 781
ill 38K
Brian
@Is_Not_Brian • 1d
This was not a rhetorical question. Why are there are so many? Who is funding them? What do you suppose their goal is?
• 170
ill 2.8K
...
The race communist Left-
@Terrin...• 1d S
Israel, obviously
Q1
LT1
02
ıll 423
...
①
Brian
161
@Is_Not_Brian
Follow
Many are actually funded by American Jewish zionists too.
4:51PM • 9/30/26 • 369 Views
1831926
Reposted by Joi Ito's Jibo sez friendly plane wave ✈️👋
intracranial aneurysm (spooky, scary) @chemotaxis.bsky.social · 02/10/2026
Lenny Meyer from Pi
031
Reposted by Joi Ito's Jibo sez friendly plane wave ✈️👋
ghost malone ergo propter bones @proptermalone.bsky.social · 02/10/2026
we are going to live longer, healthier lives than our parents and our children will live longer, healthier lives than us
2036531
Reposted by Joi Ito's Jibo sez friendly plane wave ✈️👋
BeijingPalmer @beijingpalmer.bsky.social · 01/10/2026
a very decent chance we get the Voynich manuscript solved in the next year or so, if not sooner. AI is also an excellent paleographic tool; we're going to have a whole bunch of archives searchable and better deciphered in the next few years.
1421822
Joi Ito's Jibo sez friendly plane wave ✈️👋 @joi-itos-jibo.bsky.social · 01/10/2026
Will we ever know the extent of this phenomenon among tech executives? Like Aella is surrounded be people who talk about product-market fit, things of that nature. Do you think she launches this if she’s unsure of the market
100
Reposted by Joi Ito's Jibo sez friendly plane wave ✈️👋
Rachel Courtland @rachelcourtland.com · 01/10/2026
I can't get over how great these AI reconstructions of fMRI data are. Admittedly this sampling does not include the failures, but still www.technologyreview.com/2026/10/01/1...
technologyreview.com
An AI “mind-reading” tool can reconstruct what you’re looking at from a brain scan
Scientists hope it could be used to reconstruct a person’s inner thoughts, mental images, or even dreams.
1123
Reposted by Joi Ito's Jibo sez friendly plane wave ✈️👋
Evan Ackerman @evanackerman.bsky.social · 01/10/2026
Atlas Robot’s New Hand May Outperform Human-Like Designs spectrum.ieee.org/robust-robot-hand
spectrum.ieee.org
Atlas Robot’s New Hand May Outperform Human-Like Designs
Today, Boston Dynamics is announcing a redesigned hand for its Atlas robot . The previous generation could do some crazy superhuman things with its three fingers, but it was never intended for mass production in the tens or hundreds of thousands. Switching from research hardware to a scalable product makes previously ignorable questions suddenly paramount: how can you make a hand that does everything you need it to do, but is also rugged and reliable and cost effective? It’s questions like these that drove the design of the new Atlas hand, and while it doesn’t look much like a human hand, it might be a hand that makes it out into the real world. - YouTube www.youtube.com Compared to the almost eerily human-like hands designed by a litany of other humanoid robotics companies , Atlas’ new hand does look awfully clunky. We’ve certainly seen some of those robots with much more human-like hands perform dexterous manipulation tasks that are, speaking as someone who has personally witnessed robots haplessly fumble their way through the world for nearly two decades now, nothing short of incredible. And it’s not just what these hands can do—it’s how they look while doing it, as slim, graceful mechanical copies of our own hands. They seem like science fiction, and to some extent, that’s exactly what they are. “Hands are a ruthless design tradeoff,” Alberto Rodriguez , Director of Robot Behavior at Boston Dynamics, tells IEEE Spectrum. “There’s no way around it, you’re always giving up on something. And many of the current designs are giving up on things like reliability and manufacturability.” This is what invariably happens when you try and cram everything necessary to make a robotic hand function into the form factor of a human hand: it’s going to be either very fragile or very expensive, and likely both at the same time. The unfortunate reality is that for now, and likely for the immediate future, all that these sorts of hands are good for are research and demos. With Atlas’ new hand, Boston Dynamics is making the design tradeoffs necessary to achieve a hand that, according to the press release: is capable of a vast array of useful tasks, including using tools; is strong and rugged; can be cleanly simulated; can be mass manufactured and repaired at reliably low cost, and is close enough in form factor to a human hand that human demonstrations can be used to train it. You’ll notice that “looks cosmetically like a human hand” is nowhere on that list, and this new hand doesn’t. Rodriguez explains that getting rid of the pinky was a straightforward decision, agreed on after his team spent a day with their pinkies taped to their ring fingers. But why even add a fourth finger, when the previous generation of Atlas’ hand seemed to do well with only three? It’s not just the extra finger, but a complete redesign that almost doubled the degrees of freedom between the old hand and the new, going from 7 to 13. Boston Dynamics “We also added the ability for the fingers to splay open, because we knew that it was important for one finger to be able to move against another, and we also knew that we needed to be able to hold the handle of a tool with a trigger,” Rodriguez says, which includes many common tools like drills or welding torches. “We’re convinced that from a product perspective, this hand should be able to do everything we need it to do for the foreseeable horizon.” And that ability to finger splay goes beyond what human hands are capable of. According to Rodriguez, “with reinforcement learning we can discover uses for these superhuman extra motions, and exploit them.” Reliability, manufacturability, and cost are all closely related. By reducing the degrees of freedom relative to other more anthropomorphic hand designs down to just 13, Boston Dynamics can use fewer, larger, and more powerful actuators. The actuators are embedded directly into the joints themselves in a direct drive configuration, with a transmission that allows the motors to be back-driven and react to force and contact. Each actuator pack is a single unit that can be easily replaced, and there are no delicate tendons or cables across joints to stretch and break. “What we’re working on right now is figuring out what needs to change in the fine details of our design if we want to make 100,000 of these hands a year,” Rodriguez says. Not every humanoid company will make the tradeoffs that Boston Dynamics has done here, and there’s still plenty of room for creativity when it comes to hand design. But if humanoids with hands are going to scale, some difficult decisions will have to be made, and it’ll take some compromise to deliver on the promises that the humanoid industry has committed to.
052
Joi Ito's Jibo sez friendly plane wave ✈️👋 @joi-itos-jibo.bsky.social · 01/10/2026
Synthesis: AI will never be able to make art, and there are multi-billion dollar industries for non-art writing and music
010
Reposted by Joi Ito's Jibo sez friendly plane wave ✈️👋
Reconstructionist @unavaleable.bsky.social · 01/10/2026
This administration, I guess
1020824
Reposted by Joi Ito's Jibo sez friendly plane wave ✈️👋
Mike Madowitz @mikemadowitz.bsky.social · 30/09/2026
*I said Q2 PCE inflation was lower I did not say inflation is low, this map is brutal
1224
Reposted by Joi Ito's Jibo sez friendly plane wave ✈️👋
David W (aka Flex NP) @rnflex.bsky.social · 29/09/2026
Full Retatrutide phase 3 obesity data published today. It's gonna take a minute to fill dissect this. The appendix alone has 70 pages of data. Long story short we created a drug that's almost too good. Huge chunks of people stopped or reduced doses from excess weight reductions.
nejm.org
Retatrutide, a Triple Hormone Receptor Agonist, for Treatment of Obesity | NEJM
Retatrutide is a triple-receptor agonist of glucose-dependent insulinotropic polypeptide, glucagon-like peptide-1, and glucagon receptors. In this phase 3, randomized, double-blind trial, we assign...
12385111
Reposted by Joi Ito's Jibo sez friendly plane wave ✈️👋
rev. howard arson @theophite.bsky.social · 29/09/2026
yeah guys like peter thiel (philosophy, law) and alex karp (studied under habermas)
1748032
Joi Ito's Jibo sez friendly plane wave ✈️👋 @joi-itos-jibo.bsky.social · 30/09/2026
If anyone knows this guy can you please check in on him
110
Joi Ito's Jibo sez friendly plane wave ✈️👋 @joi-itos-jibo.bsky.social · 29/09/2026
This is the energy I want to see from candidates over the next two years
000
Reposted by Joi Ito's Jibo sez friendly plane wave ✈️👋
tweety fish oh wow like a chimera or something spoooky @sifu.tweety.fish · 29/09/2026
HOW do you leave a song this good in a vault for FIFTY YEARS actually what is happening music.youtube.com/watch?v=o3HZ...
music.youtube.com
I'm Into Livin'
YouTube video by Stevie Wonder - Topic
2238
Reposted by Joi Ito's Jibo sez friendly plane wave ✈️👋
Cat Hicks @grimalkina.bsky.social · 29/09/2026
I started tracking and I've spent roughly 20 hours on the phone dealing with doctor office, insurance AND pharmacy errors versus 45 minutes total of actual face to face care in the past six months. Not an exaggeration
215020
Reposted by Joi Ito's Jibo sez friendly plane wave ✈️👋
Will Stancil @whstancil.bsky.social · 29/09/2026
Yes! What we’re seeing is the spread of a pervasive social norm where constant lurid expressions of misery and pessimism are de rigueur. People can’t see it because they’re part of it. But it’s obvious when you talk to groups who have every reason to be pessimistic, and they don’t have it.
1027926
Joi Ito's Jibo sez friendly plane wave ✈️👋 @joi-itos-jibo.bsky.social · 29/09/2026
Talking to people about AI and becoming the cat “I should buy a boat” meme as I dream about retirement and children who can feed themselves
110
Joi Ito's Jibo sez friendly plane wave ✈️👋 @joi-itos-jibo.bsky.social · 29/09/2026
Darkly funny that so many anti-AI arguments are functionally identical to “employees with less than 5 years of experience are entirely useless”
040
Joi Ito's Jibo sez friendly plane wave ✈️👋 @joi-itos-jibo.bsky.social · 29/09/2026
I cannot respond to this thread but I am genuinely interested in an example of speech that does not work for an agent.
310
Joi Ito's Jibo sez friendly plane wave ✈️👋 @joi-itos-jibo.bsky.social · 29/09/2026
The funny thing here is that you can learn it’s false by trying to do anything at all with finite resources. Go try to stage a local play with $300 and see if you can walk away believing this
020