iiinova — where your digital self keeps evolving

they were even aiming at ns after having the big ns result lol

020

oh yea its not a grievance that im significantly bothered by, and it would be useless to me, but id be interested to see what other people had to say even if its very likely nothing much

definitely not an expert opinion or anything ive thought too hard about but the bullshit (laudatory) results like integer multiplication in n log(n)^(1-2^-182) and similar make me up my estimation for p=np but in a very ugly and mostly useless way

it'd be interesting to see if theres any kind commonality between the 3200 that failed to make progress (which also might be why oai wants to keep them private so anthropic cant also look for that to improve on)

130

this layout, and the layout for 11 were both found by humans, the ai just proved that there isnt a better solution for 11 lurking even deeper in tweaking i dont even know how much computer was used to find it the original citation is J. Bidwell, 1998, private communication, an undergrad at u hawaii

1240

technically unlike with 11 (thanks to the ai above) we dont actually know for certain this one is optimal, its just the best weve found, but it rules out any patterns humans would consider nice and is most likely optimal

1480

this is the optimal packing for 17

4721

Bark @smorc.bsky.social · 6h

seems like what they did with ns was shitty (wanted to deny anthropic employee another win, and spent a ton to do it) but they didnt outright steal it, the anthropic collaboration was further away than they expected based on the rumors

040

oai is claiming 3 hours per problem on average, with 4000 problems tried to get these ~700 results, so 12000 hours of compute total, so a lot less than the NS result

190

Bark @smorc.bsky.social · 6h

apparently this heuristic failed assuming all these results are true, it just took people longer than i expected to find the good ones

Bark @smorc.bsky.social · 6h

this one was from a tao's earlier work on navier-stokes no? i seem to recall reading about trying to do this as a mechanism for proving blowup

2120

Bark @smorc.bsky.social · 7h

i pointed GLM 5.3, which is undoubtably less good at these tasks than sol/astra/internal oai model, at a paper i found that had poised 8 conjectures extending their work, and it crunched through all of them in like 6 hours (at the cost of all my usage)

Bark @smorc.bsky.social · 7h

im not even going to waste the tokens asking an llm to tell me if any of those results are particularly important (the release format + no reactions online seems like a good heuristic that theyre all fairly minor) given that, this really doesnt seem that surprising at all

110

Bark @smorc.bsky.social · 8h

kind of funny they were hand wringing about wanting to release their results in a better way and then just ultimately deciding on dropping this

0331

Bark @smorc.bsky.social · 8h

i love that bouie is actually producing video commentary rather than just lamenting the fact that video is necessary to reach a huge audience that written commentary just never will

Bark @smorc.bsky.social · 14h

the linear time critique is obviously most correct, but also if you factor in redistricting theres 2 incumbent texas dems whose new district shape is trump +10.x

050

Bark @smorc.bsky.social · 14h

Had to look up this story, and what do you mean the prime minister's name is Laʻauli Leuatea Schmidt, feels a little too on the nose if im honest

1175

"which provides a shared public credential literally named `DEMO_KEY` — anyone can pass `api_key=DEMO_KEY` without registering." ok we're good

000

hmmmm asked glm a question about the feasibility of an idea i had, and it told me it probed a .gov sites api and it actually returns more data than i expected, but when i tried to double check you have to apply for an api key so how was it querying am i about to be misalignment example

120

i am not sure if she would vote properly in any other race, so im just going to hope she stays at a neutral 0 but not being in the house with her 80yr old dad with 24/7 fox is a real boon, because shes a decent person who just really is susceptible to all the propaganda

060

my girlfriends mom doesnt really vote and is largely ignorant but was pro trump in 2024, and moved here to texas 6 months ago and all she knows about the senate race is "ken paxton is the guy who stole millions of dollars, but all they can say about the 'rico' guy is hes weird"

1130

the full ad isnt much better, its just about him getting a few convictions, and some tiktok case that even seeing the ad like 35 times (in my periphery admittedly) i still dont understand its all about "protecting kids" and pushing back on the adam hoffman stuff

020

i see this ad like 10 times every time i go to the gym for the past weekish, and every time i laugh at "ken paxton takes them down"

1120

its a good one too, we should have let one of the non-russian former soviet states take over managing it

000

always surprising when i remember theres a tld for the soviet union

110

The original water use story was in bezo’s wapo so idk

Scott Horton @robertscotthorton.bsky.social · 05/10/2026

Reposted by Bark

Palm Beach GOP comes out in favor of pedophile county clerk candidate. Mike Caruso, Palm Beach County Clerk of Courts, said he still intends to win his November election for Clerk and Comptroller after being arrested in August for molesting a male relative under the age of 5.

miamiherald.com

Palm Beach GOP endorses candidate accused of child sex abuse

“I maintain my innocence and remain a candidate for Clerk of the Circuit Court and Comptroller,” Mike Caruso, facing child sex abuse charges.

29162132

The section of agriculture dedicated to growing alfalfa for Saudi animal collections is both feeding no one, and on the same scale as data centers

0250

Will Stancil @whstancil.bsky.social · 05/10/2026

Hey now, plenty of people who choose to self identify primarily as libertarian also just have very strong opinions on the age of consent

020

Reposted by Bark

Like so much else, this should result in the prosecution of everyone involved.

1247195

Using Claude to research some products for upcoming vacation while at the gym. Why is using it on mobile so much less pleasant than on pc, there’s not even a specific friction point, I just don’t like the aspect ratio of the chat?

000

also it looks like the arbitrary sept 29th date picked was a relatively low usage day www.lincoln.ne.gov/files/shared... this report from the city government gives 39.4m gal/day average for 14.4b/yr in 2023

lincoln.ne.gov

060

victoria zeller🫛 (RISEBALL, summer ‘27) @dirtbagqueer.rocks · 05/10/2026

i dont even know that this is reporters/editors trying to be sensational vs them just being innumerate

150

Reposted by Bark

publicly hating liberty biberty is giving liberty mutual exactly what they want. they made a guy up specifically for you to hate i’m truly sorry, but the only way we can actually subvert this ad campaign is if we all collectively pretend we want to fuck liberty biberty nasty style

1327620

You see a bump from this in Vietnam too, the draft (with parental exemption) is the only actually effective pro-natal policy, but obviously has other costs

011

This sucks as both satire, and is on the wrong side of the issue because permitting reform is good but its weird that of all things that this seems to have gotten under matty's skin? idk what he was even searching to find this post with 1 like

100

he was rting your posts about him because of his personality disorder that makes him think any attention is positive, but i just got notified of him blocking me lmao? my only engagement was liking these posts, did he block everyone in your followers list

Really good, was cool to see it in a theater with other people, everyone who watches on Wednesday im sure you’ll enjoy it

001