PSA You can just OpenRouter and it had ubiquitous web support before many. A lovely tool. If you care about native system prompts IDK you can probably find one somewhere.

Imagine models get stripped and by now you never learned to code and then in the post apocalypse you go 🙋‍♂️ Yes me I can still code

Sick.

When context is your file backup 😅 > I accidentally git restore'd those files please reintroduce the changes

Today we are building a cool PDF tool. Let's see it published EOD.

i love ULIDs

Okay but I created a cat eating toffee.

Arthur Wallendorff x.com/i/broadcasts/1…

You will start to care much more about guarantees than syntax. Things like "No null pointer exceptions, ever" drive language choice now. The syntax you like does not matter anymore. Maybe you think the AI has an easier time generating Go but the gap is closing fast. Transient.

Oh wow, Miners4k lore! Who's porting Jerason Banes's Java game to web?

Yep. More and more code will become about guarantees and verification.

Don't think PL is underdeveloped. Just underutilized. Verification has been around for decades, just like AI. SMT is syntactically simple, no need to reinvent much here. Rooted in logic and semantic guarantees. Agree *this* is ripe for execution.

matter of time before this gets bundled with services. Fly.io fan here, do it?

Also thought this is questionable or just dumb Everyone: Pls pls pls SEO index us Google AI scrapers: NOT YOU

I told my dev friends to check out coding agents months ago. Nevermind best-in-class. "too busy", "I don't want to work faster", ... can't fathom it