iiinova — where your digital self keeps evolving

Did you know the pyramids were built closer in time to cleopatra than the moon landing?

Reposted by srrrse

Joey Politano🏳️‍🌈 @josephpolitano.bsky.social · 21h

Official monthly data is in, and US solar power generation hit a new record high, up 21% compared to this time last year!

151114234

srrrse @without.boats · 26/09/2026

Discovering that I have very stupidly been waiting at Passkontrolle for the past several years when my Aufenthaltstitel apparently works at the electronic gates

050

srrrse @without.boats · 26/09/2026

Nothing beside remains. Round the decay Of that colossal wreck, boundless and bare The lone and level sands stretch far away.

0140

srrrse @without.boats · 25/09/2026

looking at the 747 on the tarmac that’s also going to Frankfurt and wishing I had booked Lufthansa :((((

090

srrrse @without.boats · 24/09/2026

good to see that Silicon Valley has reached the heresiological polemic stage of the new religious movement track.

190

Reposted by srrrse

JP @jpbrammer.bsky.social · 23/09/2026

it's important to arrive at sturdy ethical principles that you can't be annoyed out of. people are annoying as shit

3460361476

Reposted by srrrse

PolyWolf @polywolf.treehouse.systems.ap.brid.gy · 22/09/2026

sorry non-followers u get zero context for this cool image

a busty butch lesbian labeled "Rust" is pinning "the value (me)" to the wall with a "std::pin::Pin". I am blushing and holding my tail bashfully as we gaze into each others' eyes. Hearts, sparkles, and roses adorn the pink-colored image.

320943

srrrse @without.boats · 18/09/2026

I find it very plausible that the rats have absolutely horrendous sexual ethics but you can’t just call them a sex cult without some sort of receipts beyond the fact that they all have sex with each other

1130

srrrse @without.boats · 17/09/2026

getting the European Commission to declare Rust a gatekeeper under the DMA to force them to stabilize an ABI

0504

srrrse @without.boats · 17/09/2026

Now if only we had some way to verify, perhaps formally, the code conforms to that spec.. oh well, I guess I’ll just have the LLM generate some more tests I also won’t read

0361

srrrse @without.boats · 17/09/2026

most liberatory thing for humanity about llms is no one will ever have to learn LaTeX

2261

srrrse @without.boats · 16/09/2026

How do I file a bug report that Claude’s reauth page doesn’t have the log in with Apple flow, tired of going into my email to find the private relay address I signed up with

120

srrrse @without.boats · 15/09/2026

they should make a Claude that’s gay (shares my aesthetic predispositions and is a huge bitch)

070

srrrse @without.boats · 12/09/2026

I made a computer that shoots people with a gun. The frontier is moving too fast. The government must make it illegal to have this technology unless they pay my friends a bunch of money to investigate when their computer shoots people with a gun.

1275

srrrse @without.boats · 11/09/2026

it’s a really clever trick by PL people to define completeness of their algorithm relative to a declarative system they also wrote

050

srrrse @without.boats · 11/09/2026

the thing with the superintelligence stuff is it seems like Silicon Valley basically believes the plot of Lucy (2014) is scientifically accurate

291

srrrse @without.boats · 10/09/2026

I think it’s maybe better to think of these LLM training cybersecurity incidents as superfund sites, AI companies dumping toxic waste in the river.

0170

srrrse @without.boats · 09/09/2026

The way the discourse is all about Navier-Stokes but the actual result is not discussed at all reminds me of Fran Lebowitz’s bit about how at Christie’s people don’t clap when the Picasso comes out but do clap when someone pays 50 million dollars for it.

28312

Reposted by srrrse

lauren @lauren.rotatingsandwiches.com · 08/09/2026

we probably need to do something about the millenarian cult inside silicon valley that controls tens or hundreds of billions of dollars and self-selects for depressed sociopaths when deciding how to allocate that money

1177390

Reposted by srrrse

tautologer @tautologer.com · 08/09/2026

holy fucking shit cims.nyu.edu/~tristanb/st...

I asked when the first prompt had been sent by them. This question was
not answered directly by OpenAI for some time. Eventually it was agreed that
it had been sent in the past few days, after information about our work had
reached OpenAI.
I asked whether the model had been trained on, or had access to, our sessions
in Codex, into which we had been putting all our drafts for the whole of this
project. I was told the model did not look up user data. I asked again, about
training, and I did not get an answer.
Two proposals were offered to me. The first was that we post our Euler
result, and that OpenAI post its Navier-Stokes result the next day. The second
was that, after posting Euler, I alone write a paper presenting the Navier-Stokes
result, acknowledging that an internal OpenAI model had resolved it. Sebastien
twice asserted that he wanted Levent removed from authorship, and said it
would all be simple if only it were not the case that, and it was so annoying
that, Levent works at Anthropic. It was also said that if OpenAI posted after us,
they would say that we deserved the Clay Prize, and that we were the “closest
humans to the problem”. I declined both offers.
I said that if OpenAI released its result in the way proposed I would go
public with what happened. The reply was, “Why would you ruin your career?”
I replied that I am an academic, and asked why he thought going public would
ruin my career. The reply was, “If you don’t want me to be nice, then I don’t
have to be nice.”
Some time later Levent received a text proposing that he and Sebastien
speak one on one, saying, “I don’t know if Tristan is being fully rational right
now.” Levent declined and said conversations should be with me.

2787

srrrse @without.boats · 08/09/2026

we need a system of government that recognizes the proper role of autistics and allistics. A big problem in the US right now is that we have autistics getting into allistic things (tech billionaires) and allistic as getting into autistic things (data center glonzo).

0121

Reposted by srrrse

srrrse @without.boats · 31/01/2026

any time anyone more hype about AI than me says anything

Woody Harrelson in True Detective saying “I just want you to stop saying odd shit”

1411

srrrse @without.boats · 04/09/2026

you can order power tools on wolt now but im holding out for makitas

030

srrrse @without.boats · 04/09/2026

Every programmer knows Dijkstra’s “Testing shows the presence, not the absence of bugs” and yet every programmer goes about their day pretending it isn’t true.

18010

Reposted by srrrse

Daniel Moser @dmoser.bsky.social · 03/09/2026

Pollution levels in London after 10 years of advancing sustainable transport.

164115653178

srrrse @without.boats · 02/09/2026

A pet peeve of mine is when people say the venn diagram is a circle but they clearly must mean that it’s a subset relation

170

srrrse @without.boats · 01/09/2026

I think it was um at the dentist? Big procedure at the dentist, yea. They had to remove my tooth - tooth drilled - root canal, something like that? They offered me Novocain. I turned it down, yea, turned it down just to grind from the VC. But I was so younger like

030

srrrse @without.boats · 01/09/2026

Maybe im a bitch but i feel like a lot of the programmers who passionately hate ai seem to have a ceiling on the difficulty of the programming they can imagine doing??

2201

Reposted by srrrse

ionchy @ionchy.ca · 23/05/2026

start doing computer science <3

START DOING COMPUTER SCIENCE

* VARIABLES WERE SUPPOSED TO BE GIVEN NAMES
* YEARS OF PROGRAMMING yet STILL MORE TO CREATE
* Don't want to write code anyway? We have a field for you: It's called THEORY
* "Well typed programs don't go wrong." "Boolean satisfiability is NP-complete." "Every effectively calculable function is computable." — Statements dreamed up by the utterly inspired

LOOK at what computer scientists deserve your Respect for all this time, with all the circuits and computers we built for them
(This is REAL computer science, done by REAL computer scientists):

[graph of the ARPANET] the Internet
[photo of an FPGA] FPGAs
[screenshot of RocqIDE] proof assistants

They have given us beautiful tools

6637149

srrrse @without.boats · 01/09/2026

cool to see Silicon Valley has moved on from “what is consciousness” to the equally intractable “what is a civilization.” finally getting that humanities undergrad everyone’s been telling them to

1170

srrrse @without.boats · 31/08/2026

wonder when languages will all realize models mean they can use syntax characters that aren’t on the ANSI keyboard

190

srrrse @without.boats · 30/08/2026

she sci fi on my torment til I nexus

0111

srrrse @without.boats · 29/08/2026

A lot of professional programmers don’t even seem to know what a proof is or why they’d want one

2431

Reposted by srrrse

Colin @colin-fraser.net · 27/08/2026

Its primary goal is not to say correct things, but to say things like “you’re half right but the half that’s wrong is where the load bearing seam is”, and luckily it so happens that it often produces correct things as a byproduct of this.

516616

Reposted by srrrse

aly @aly.codes · 23/08/2026

I think it’s just horrible news that the far right is able to concentrate a lot of capital into building their own orgs so that they can bypass and effectively do a coup on institutions they dislike, not for technical reasons but because those institutions are too trans, woke, and brown.

1018630

srrrse @without.boats · 21/08/2026

The zigfluencers wave “static allocation” around like it’s a magic wand when the real thing is keeping objects traversed together in the same cache line, which has nothing to do with static allocation.

0200

Reposted by srrrse

srrrse @without.boats · 31/03/2026

love to live a life where ive almost always muted the main character already

1232

srrrse @without.boats · 21/08/2026

I do wonder if open package managers are going to go away

050

Reposted by srrrse

Kiran @kirancodes.me · 20/08/2026

Wake up babe, new AGI-complete eval just dropped: understanding a cousot paper

A rrandom cousot proof with an indecipherable screed of symbols

2293

srrrse @without.boats · 17/08/2026

sure it can solve erdos proofs but apparently claude still can’t make an app that doesn’t fall over with ECONNRESET or print base64 gibberish into the terminal constantly

290

srrrse @without.boats · 15/08/2026

a political compass with “llms are useful” / “llms are useless” on one axis and “coding is largely solved” / “we don’t know how to program” on the other

4211

srrrse @without.boats · 14/08/2026

The great thing about glonzo leftists is it means Silicon Valley never has to look at itself because all that matters in life is being better than your stupidest critics

070

srrrse @without.boats · 13/08/2026

pretty neat how from a typing perspective labeled break is exactly the same as assignment except it evaluates to 0 instead of 1

010