iiinova — where your digital self keeps evolving

Reposted by @brx0

It’s kinda funny to think that Lindsay Graham dying could be the lynchpin that causes the whole enterprise to catastrophically collapse

3486

Reposted by @brx0

Maladroithe @maladroithe.bsky.social · 07/10/2026

Would you like to see an elderly raccoon getting his supper?

5538

Reposted by @brx0

hesperidean-apple.bsky.social @quasi-hesperidean.bsky.social · 07/10/2026

This is such a fascinating deep dive, thank you lmao en.wikipedia.org/wiki/Olo_(co...

en.wikipedia.org

Olo (color) - Wikipedia

41119

Reposted by @brx0

jamelle @jamellebouie.net · 12h

“we call this flavor ‘the shoggoth.’ it opens the mind to non-euclidian geometry. it drove three of our top technicians to madness.”

762155153

Reposted by @brx0

Ryan Goodman @rgoodlaw.bsky.social · 15h

Stephen "Miller did not want the facilities that were comfortable. He did not want facilities that were humane. We were told point-blank that that was not what the administration wanted." www.npr.org/2026/10/08/n...

npr.org

ICE has quietly used this warehouse as a detention facility all summer, neighbors say

Throughout the summer, rumors have been bubbling in North New Jersey that ICE has quietly been using a warehouse as a detention center. NPR investigated.

11218741036

Reposted by @brx0

Micah @rincewind.run · 10h

"threatened to report someone's marriage as fraudulent to chase them out of a rent-controlled apartment" is about the most evil thing I've ever read that didn't involve physical violence

14888198

Reposted by @brx0

McSweeney's @mcsweeneys.net · 11h

"Late-stage capitalism is a grind. Gerontocracies remind us why short-, medium-, and long-term disability insurance policies exist. Sometimes a person needs to take three months of paid days off without explanation or proof of life before making a return of sorts." buff.ly/c7QsYAg

buff.ly

Twelve Upsides to Gerontocracies

“Late-stage capitalism is an absolute grind. Gerontocracies remind us that short-term, medium-term, and long-term disability insurance policies exist for a r...

0367

Reposted by @brx0

Andrew Lawrence @ndrew.bsky.social · 13h

they did the thing

an october 11 2025 post from me reading: every single tech idea is like “soon our robots will be capable of playing catch with your kid, freeing you up to spend more time working on your employers’ spreadsheets”

219132843104

Reposted by @brx0

NY Times Pitchbot @nytpitchbot.bsky.social · 08/10/2026

Sources close to Jared and Ivanka say, privately, the couple disapproves of letting Iran obliterate LA and San Diego.

211188130

Reposted by @brx0

Kasey Gifford @kaseygifford.bsky.social · 07/10/2026

To put this in perspective chestnut trees used to be dominant species in the United States. Billions of trees were killed by fungal blight and now fully grown America chestnuts are functionally extinct. There is no getting them back. Ever. All for a data center. www.gadgetreview.com/one-of-ameri...

gadgetreview.com

One of America’s Last Chestnut Groves Is About to Be Destroyed for a Data Center

A rare 200-tree American chestnut grove in West Virginia may be cleared for data-center development, but the project denies the site is on its land.

8035122127

Reposted by @brx0

Randall Munroe @xkcd.com · 07/10/2026

Spectrum Allocation xkcd.com/3307/

663359601

@brx0 @brx0.bsky.social · 07/10/2026

Watch out for that VB box. Too much handling risks breaking the shrinkwrap and activating an ancient EULA, forever binding anyone who disturbs its slumber en.wikipedia.org/wiki/Curse_o...

en.wikipedia.org

Curse of the pharaohs - Wikipedia

010

@brx0 @brx0.bsky.social · 07/10/2026

So if you prove something in the traditional way that OpenAI only has an opaque result for, it's the Smith-Jones Theorem, not OpenAI's 999th.

020

@brx0 @brx0.bsky.social · 07/10/2026

An old practice from the 18th & 19th centuries might be useful here, where lots of things were named after the first person to prove something who wasn't Euler, to avoid everything being named after him.

120

Reposted by @brx0

Julianne Dalcanton @dalcantonjd.bsky.social · 07/10/2026

Like many scientists, I’ve been mulling over the impact of LLMs on our fields. I’ve not yet seen it articulated, but I think there is a largely unspoken “invisible labor underclass” framework at play.

1118951

Reposted by @brx0

Nvidie @dervine7.bsky.social · 07/10/2026

Lean+Matlib be like "the number 3 is Julius Caeser"

Some Junk Theorems in Lean
This is a small collection of formally verified junk theorems provable in Lean 4 + Mathlib that, in my experience, are quite surprising and upsetting to mathematicians who are not familiar with type theory (and in the case of Theorems 13 and 14, also to mathematicians who are familiar with type theory). See the main .lean file here.

Coding
Theorem 1. The third coordinate of the rational number
1
2
is a bijection.

Theorem 2. The first coordinate of the polynomial
X
2
(
X
3
+
X
+
1
)
is equal to the prime factorization of
30
.

Theorem 3. Let
P
be the multivariate polynomial
(
X
0
+
X
1
+
X
2
)
3
. Let
Q
be the univariate polynomial
X
2
+
X
+
1
. The second coordinate of
P
applied to the first coordinate of
Q
is equal to the natural number
6
.

Sets and Logic
Theorem 4. The set
{
z
:
R
|
z
≠
0
}
is a continuous, non-monotone surjection.

Theorem 5. The Riemann hypothesis is in the topological closure of the set not not.

Note though that showing that the Riemann hypothesis is in the topological closure of not will win you a million dollars.

Theorem 6. The following are equivalent: The binary expansion of
7
.

Theorem 7. The dot product of not with itself. Moreover, the matrix determinant of or. However, not the determinant of and.

Theorem 8. The existential quantifier on the category of groups is a non-measurable set.

2203

Reposted by @brx0

liz ten eleven @selectric.space · 07/10/2026

heartbreaking: worst cable company lobbyists you know make great point

0216

Reposted by @brx0

Carl T. Bergstrom @carlbergstrom.com · 07/10/2026

...Federal marshals subsequently orchestrated the transfer of all 287 bars to local police. In a secret operation, officers guarded the 282 bars before returning them to the CIA. The agency promises that the 271 gold bars stolen by Mr Rush will be sold and the profits used to reimburse US taxpayers.

When F.B.I. agents first searched his house, they said they found 303 gold bars. In court on Tuesday, prosecutors said that the correct number was 298 gold bars, and that they had cost the government more than $46 million to obtain.

728153

Reposted by @brx0

Carl T. Bergstrom @carlbergstrom.com · 07/10/2026

Terry Tao @teorth.bsky.social: Indiscriminate brute-force application of AI to mathematics is depleting the field of good questions without renewing this resource or providing commensurate value. OpenAI: We hear you. Here's a .zip file with 377 hasty AI solutions to important open problems.

nytimes.com

OpenAI Releases Findings on 377 Math Problems, Further Roiling Field (Gift Article)

After a previous solution angered mathematicians, the company characterized the new release as being more responsive to concerns about A.I. disrupting research.

19415121

Reposted by @brx0

The Great Pumpkin Papers 🎃🎃🎃 @professormusgrave.bsky.social · 07/10/2026

OpenAI releases new cookbook “To Serve Man”

1265

Reposted by @brx0

TrumpsTaxes @trumpstaxes.com · 07/10/2026

I did not expect the best troll of Zach Lahn in the #IAGov race to come from Kansas Gov. Laura Kelly.

12714

@brx0 @brx0.bsky.social · 07/10/2026

Totino says it's pronounced "GIF"

120

Reposted by @brx0

Ken Plume @kenplume.bsky.social · 12/07/2026

If you never thought you'd ever hear a group of Anything Muppets from SESAME STREET sing the Blood, Sweat & Tears song "Spinning Wheel", well, never say never... (Oh, and keep an eye on the puff of smoke, knowing that it's coordinated between a performer & a separate cued smoke mechanism)

312843

Reposted by @brx0

Alex Spahn 🌋🌪️☄️ @spahn711.bsky.social · 07/10/2026

Do y'all have an obvious favorite photo of your dog? Because I sure do, and it will forever be this one of him photobombing Devil's Tower lol.

A photo of my dog photo-bombing Devil's Tower. My dog, a husky/malamute/wolf with black and tan fur is sitting in front of the towering rocky pillar with a large smile and tongue hanging out.

905779406

Reposted by @brx0

Riding With Robots @ridingrobots.bsky.social · 06/10/2026

The yardang layer extends roughly 10 miles (16 kilometers) across the northwestern reaches of Mount Sharp, a mountain that Curiosity has been ascending since 2014. Scientists hope to get even more amazing imagery — and answers to how these cliffs were created. www.nasa.gov/missions/mar...

1214

Reposted by @brx0

Riding With Robots @ridingrobots.bsky.social · 06/10/2026

From NASA 📍Gale Crater, Aug. 11, 2026, 8:30 a.m. local Mars time. The Curiosity rover captures the Sun rising on crags known as yardangs, a scene that scientists have long been waiting to see up close.

524698

@brx0 @brx0.bsky.social · 07/10/2026

Iʻm old enough to remember when AOL Time Warner was the worst Warner Bros. merger

001

Reposted by @brx0

Will @wmaler.bsky.social · 06/10/2026

Meanwhile at skydance hq

11158

Reposted by @brx0

Doc Zoggle 🦇 @drzoggle.bsky.social · 07/10/2026

this is just local fair food

64411

Reposted by @brx0

Sam Lloyd @llamsoyd.bsky.social · 07/10/2026

Maine is 10-12 fun quaint little beach towns summoning all of their positive energy to keep Inland Maine, Stephen King’s bibliography sprung to life, from breaking containment and plaguing the rest of humanity.

3125

Reposted by @brx0

The Fig Economy @figgityfigs.bsky.social · 07/10/2026

Sometimes my wife and I like to send each other text messages as though they’re democratic fundraising messages, and I believe she has produced the jewel of the form.

, it's
and I
have some personal news to share with you.
Being a mom is one of the greatest joys of my life, and I feel deeply that we should have salad tonight
This year has been challenging in many ways, and I have immense gratitude for the kindness and support of family, community, and people like you who have continued to stand by me through everything. It means the world, and I wanted you to be among the first to know that squash is in the oven and kale is in the fridge.

As many of you are aware, ve been navigating one of the most challenging periods of my day while waiting for dinner.
Facing baseless federal hunger brought on by not eating since lunch, fighting for the working kids of this country, and now caring for a mean toddler and helping him grow up in a world that isn't always easy. But it has also reminded me exactly why I do this work and who I do it for.
I will never stop working to eat dinner. I will never stop fighting for what is right, even when there is also some feta in the fridge. And I will never stop being so very thankful that you are by my side in this important work and that there is tahini in the pantry for dressing
With love and gratitude,
stop to end

185109861831

Reposted by @brx0

C. Robert Cargill @crobertcargill.bsky.social · 05/10/2026

Crazy day to be wearing this shirt.

A t-shirt reading SINK THE RICH as a killer whale attacks a yacht.

22763133

Reposted by @brx0

Rich Burroughs @somewhattolerable.com · 06/10/2026

“That has an effect of making you feel less invested in the output and that takes away much [of] the joy of coding.” I’ve been saying for a few years now that I expected a lot of chickens to come home to roost from the AI coding tools, and this is a big reason why.

2114

Reposted by @brx0

ProPublica @propublica.org · 06/10/2026

4/ Fernando Vasquez, an 18-year-old citizen, was on break from work when agents chased and handcuffed him, then put him in their truck. After realizing their mistake, the agents left the teen alone in the woods, with no way to get home. Then they threw his ID out of the truck.

6725461246

Reposted by @brx0

ProPublica @propublica.org · 06/10/2026

The government *still* isn’t tracking how often immigration agents detain U.S. citizens. We are. 500+ Americans have been handcuffed, held at gunpoint or held against their will in Trump’s second term. Our tally is almost certainly an undercount. THREAD (content warning: violence) ⬇️

9659913425

Reposted by @brx0

toilet bones @toiletbones.bsky.social · 06/10/2026

Found the email I sent when I got accidentally added to the faculty listserv of an orthopedic surgery clinic and nobody would remove me so I sent this email to all faculty/staff/med students and they removed me almost immediately

Hello Bone Colleagues,
I have invented a new type of ankle and I'm very excited to show it to you. Early raccoon trials suggest a 60% increase in scurrying speed and dramatic increases in fine motor banditry. I know we are not supposed to create super raccoons, but I think you'll change your mind and professional ethics when you see how cute they are. I believe we are on the cusp of a new era in advanced human scurrying because if medical science has taught me anything, it's that improvements in raccoons correspond 1:1 to improvements in humans.

--
[My name]
Chief Bone Inventor
Chair, Department of Foot and Leg Innovation
Lord Mayor, Musculoskeletal Medicine
Hartford HealthCare,
The Bone & Joint Institute at Hartford Hospital.

190113763093

Reposted by @brx0

Mondo Mascots @mondomascots.bsky.social · 06/10/2026

Earth-kun, the Tokyo Sewerage Bureau mascot, is a globe with a manhole cover hat.

A smiling globe mascot with widespread arms and a manhole cover hat stands on a pavement in front of some trees.

121185176

Reposted by @brx0

Mike the Mad Biologist and Trump's Press Corps Approver @mikethemadbiol.bsky.social · 05/10/2026

Excellent post (I especially like how the uncertainty of what is actually happening is discussed).

13110

Reposted by @brx0

Jessica Price @delafina777.bsky.social · 05/10/2026

This should be so obvious that it doesn’t need to be said, but given what kind of weekend it’s been on here, apparently it does: If you don’t want old rapists running the world, in office, in the board room, making decisions for all of us get comfortable with “ruining” young rapists’ lives

1851871379

Reposted by @brx0

Mother Jones @motherjones.com · 05/10/2026

Reports out of the Irkutsk region of Russia reveal a potential public health crisis developing in the area after a lab accident released a “particularly dangerous infection” to a researcher, who later passed away.

motherjones.com

Reports of a plague outbreak in Russia follow the death of a researcher

Several hospitals in the Irkutsk region have been shut down and up to 200 workers have been quarantined.

1617381