iiinova — where your digital self keeps evolving

a ton of crates @tonofcrates.bsky.social · 09/10/2026

i want this future, but we need a ton more extensible software architecture, end-user programming UIs, semi-formal specification languages, ...

120

a ton of crates @tonofcrates.bsky.social · 09/10/2026

absolutely no way, right? the median computer user does not want to be a software engineer of all their software, and "throw claude code at a spotify clone" will absolutely not work for most people in 2026

130

a ton of crates @tonofcrates.bsky.social · 01/10/2026

anybody know some billionaires i can pitch to?

060

a ton of crates @tonofcrates.bsky.social · 29/09/2026

> This constituent dreamed of sunlight and trees. Of fire and water. It dreamed it created a small business. And it dreamed it destroyed a password. It dreamed it hunted a job, and was hunted by a recertification. It dreamed of shelter that would take a voucher.

054

a ton of crates @tonofcrates.bsky.social · 28/09/2026

i had a good laugh trying out their revolutionary new "learning interactives" made with AI: research.google.com/p/learning-i...

020

a ton of crates @tonofcrates.bsky.social · 28/09/2026

hard pressed to think of a company with a more insufferable and infantilizing design practice than google. i try to use an image for a slide, it's composed of fragments to make it uncopyable, i zoom in to take a screenshot, i get a nice Fuck You Badge

1141

a ton of crates @tonofcrates.bsky.social · 16/09/2026

the most important thing about this paragraph is that it has 5 citations covering almost 50 years of debate, and that it's published in the SEP

120

a ton of crates @tonofcrates.bsky.social · 14/09/2026

otoh i think it's because (a) the auteur coders were already reasonably productive, and LLMs don't solve their specific problems + (b) to produce truly novel software you still need expertise to be creative. like Obra Dinn requires Lucas Pope to be a graphics nerd dukope.com/devlogs/obra...

030

a ton of crates @tonofcrates.bsky.social · 14/09/2026

i think the more revolutionary stuff just needs time to bake. i'm excited about stuff like www.youtube.com/watch?v=MbWg... and www.youtube.com/watch?v=4UxG...

120

a ton of crates @tonofcrates.bsky.social · 12/09/2026

wait it's me. probably 50hrs minecraft and 2k hrs gmod. wiremod >>>> redstone

020

a ton of crates @tonofcrates.bsky.social · 11/09/2026

yeah? you wanna go? you wanna take this into the heap? meet me at 0x1337BEEF

060

a ton of crates @tonofcrates.bsky.social · 10/09/2026

it's kinda sad how we have all these amazing sigils | & ^ ~ >> reserved for bit operations that should just be normal methods today

4190

Reposted by a ton of crates

Shriram Krishnamurthi @shriram.bsky.social · 09/09/2026

Super excited to share "A Design Space Exploration of Async/Await". How differently does async/await behave across today's languages? (More than you might expect!) And what *is* "structured concurrency"? Check out our ~interactive~ blog post introducing the paper: cel.cs.brown.edu/blog/design-...

cel.cs.brown.edu

A Design Space Exploration of Async/Await

Every language pitches async/await as synchronous-looking code, and the same two keywords appear everywhere. But behind the shared syntax hide nine independent design decisions, and no two of seven mo...

310327

a ton of crates @tonofcrates.bsky.social · 07/09/2026

but what do i know. i'm sure the partners at *checks notes* Ribbit Capital know more about program verification than i do

030

a ton of crates @tonofcrates.bsky.social · 07/09/2026

yeah the motivation is totally reasonable. if i were betting a billion dollars or whatever tho i would probably invest in like, F* since they have an actual track record of building complex verified software ecosystems...

120

a ton of crates @tonofcrates.bsky.social · 07/09/2026

i am confounded by the degree of VC investment in lean-for-program-verification given that basically every notable accomplishment so far is lean-for-mathematics and at its most applicable lean-for-PL-metatheory

130

a ton of crates @tonofcrates.bsky.social · 02/09/2026

PL class is where they get to meet

130

a ton of crates @tonofcrates.bsky.social · 01/09/2026

controlled natural language is a terrible input modality for humans, but seems like a fantastic output modality for LLMs

000

a ton of crates @tonofcrates.bsky.social · 31/08/2026

couldn't find a full paper, but quote is from here: dl.acm.org/doi/pdf/10.1...

020

a ton of crates @tonofcrates.bsky.social · 30/08/2026

By bringing the power of type systems to systems programming, we hope to open up the "Strait of Hormuz" that currently exists between PL researchers and systems hackers.

1395

a ton of crates @tonofcrates.bsky.social · 30/08/2026

need to use more historical analogies that will immediately date my papers

2372

a ton of crates @tonofcrates.bsky.social · 24/08/2026

imagine having your wikipedia page read like an SCP entry

051

a ton of crates @tonofcrates.bsky.social · 24/08/2026

Inspiring! Scientists Learned How to Instill Terror Into This Fearless Woman

en.wikipedia.org

S.M. (patient) - Wikipedia

140

a ton of crates @tonofcrates.bsky.social · 24/08/2026

used to be people would just laugh at ya if yer out of sync with the times... now ye cannot even authenticate

010

a ton of crates @tonofcrates.bsky.social · 21/08/2026

the only people who like writing code are functional programmers, evidence by the fact that only functional programming languages are fun to use

0216

a ton of crates @tonofcrates.bsky.social · 18/08/2026

kinda wild that a baby stroller, an iphone, a day of private college tuition, and a routine doctor appt all cost about the same

161

a ton of crates @tonofcrates.bsky.social · 14/08/2026

just hope that people submitting 3x papers are ready to 3x their review load

2101

a ton of crates @tonofcrates.bsky.social · 12/08/2026

it's easy to forget how much "google-fu" is just dealing with search engines' bullshit

1181

a ton of crates @tonofcrates.bsky.social · 12/08/2026

i know everyone's worried about AI degrading the long-term information environment, but goddamn if this isn't a massive improvement in information retrieval

4885

a ton of crates @tonofcrates.bsky.social · 07/08/2026

i'm curious, do you get the sense that fewer faculty are traveling or more students are traveling? my view is pretty skewed having only first attended SIGPLAN events starting 2021

100

a ton of crates @tonofcrates.bsky.social · 07/08/2026

i remembered this was discussed a few years ago, unfortunately it seems the resolution was "welp, not much we can do it about it" lists.seas.upenn.edu/pipermail/ty...

lists.seas.upenn.edu

[TYPES] Why are ACM conference registrations so expensive now?

111

a ton of crates @tonofcrates.bsky.social · 07/08/2026

jesus christ, these costs are 3-5x only 5 years ago...

221

a ton of crates @tonofcrates.bsky.social · 06/08/2026

source: www.lri.fr/~mbl/papers/...

140

Reposted by a ton of crates

Reconstructionist @unavaleable.bsky.social · 03/08/2026

Sadboi twinkcop and Lady Chaos are my favorite pro-social literary figures

0282

a ton of crates @tonofcrates.bsky.social · 01/08/2026

i like this formulation since it has clearer implications for design

030

a ton of crates @tonofcrates.bsky.social · 30/07/2026

anyways, just refreshed my emacs config. yay

170

a ton of crates @tonofcrates.bsky.social · 30/07/2026

it's so important that we mercilessly prosecute the trump administration and every collaborator for their crimes, if only to send a message that the US is not irredeemable

191

Reposted by a ton of crates

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

Anyway I do think it’s cool to build a computer program that tells you to go to hell when you try to use it for your racist blog post

1855

Reposted by a ton of crates

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

What’s funny and unique about Anthropic, I think, is they really think Claude is real and are simply letting him decide what he does and doesn’t want to do.

5551

Reposted by a ton of crates

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

I think most software providers would like to say, we’re just making the tool, what you do with it is your business. Partly purely ideological tech libertarianism but part is a self-interested question of liability, I think. Once you admit you can do that, you immediately must wonder if you should.

3472

Reposted by a ton of crates

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

One thing I find interesting about Anthropic’s apparent willingness to have Claude make these kinds of refusals is once you open the door to the possibility of software that refuses certain tasks on moral grounds it raises the question of what tasks you’re obligated to make it refuse

6938

a ton of crates @tonofcrates.bsky.social · 27/07/2026

what did y'all think "cyberpunk dystopia" meant? vibes? papers? essays?

020

a ton of crates @tonofcrates.bsky.social · 20/07/2026

as an american, i can understand double parking your gas guzzling child murder mobile in on the EV charger spots. but doing so in Boston, Massachusetts is simply unfathomable to me

12475

a ton of crates @tonofcrates.bsky.social · 20/07/2026

americans are addicted to gambling because when all around us has been explored, the final frontier is the future

020