Composer/producer, computational scientist, sci-fi author, martial artist, explorer, amateur philologist. No longer here: https://xitter.cf/t.co/UjIfEwSGye

Longmont, CO
Joined April 2018
Include

Only show posts containing:

Exclude

Hide posts containing:

Time range
-
Minimum likes
seriously, you haven't lived until you've tried htmx in hiccup served by pedestal from a datomic database. simple data all the way down
2
30
Replying to @htmx_org
clojure. max out this energy. you know you want to
1
1
53
Replying to @htmx_org
yes but in clojure I basically have this all the time in my own way so ¯\_(ツ)_/¯
1
1
54
Replying to @htmx_org
all rumors are false until officially denied, so...
2
106
I've given in. I now use a little AI around the edges of system I bled into for the last 8 years. holy shit. that is all.
9
lisp & htmx best friends no matter what been saying this for years* unify.bio/ *at least two, so technically plural
3
31
Replying to @janetacarr
or just pick whichever one isn't AI speak at the moment
1
24
Replying to @5imian
relationships are over, we're all fucking blow up dolls now, another win for AI!
1
14
Replying to @htmx_org
some of the people in your comments have never written a jvm service that's been running on a single instance in aws for years without even a restart handling thousands of requests a second with a buttery smooth response rate and it shows
7
Replying to @janetacarr
always has been you goddamn necromancer
2
138
Replying to @janetacarr
also using tools doesn't usually make people worse at using the tool
9
i mean the right way to do it is to teach them both, so they know which option to use, when, and why, and the tradeoffs of each. then also teach them not to be twitter zealots
11
lol if you call yourself a prompt engineer and don't have σπεῦδε βραδέως in all your llm facing markdown.
21
(1) the best way to produce a formal specification of a program is to write a program, & (2) bSAT is the reference NP-complete problem. formal methods in practice has shown that formal specification takes sig. more work than writing robust software through discovery effort.
Right now the biggest barrier to AI-driven formal methods is that AIs are absolutely dogshit at coming up with good properties. I thought that was just a March 2026 thing but it seems to be a September 2026 thing too
29
bioinformatics reference databases. that's it. that's the only thing
7
no. complexity is entropy. you can't win by leveraging it with ai. insight yielding simplicity is still the way. ai junkies can't touch dominating apps of the past that had first significant cuts built on the timescale of weeks (linux & git, ffmpeg, instagram, craigslist).
9
you don't need LLMs to write functional code. - craigslist was built in a few weekends - core ffmpeg in a few months - linux to initial version in 5 months and git in a few weeks - instagram 8 weeks - stardew valley even @ 4 years destroys LLMs LLMs suck
1
179
the insane amnesia these AI fanbros have; they think the existence of coding agents somehow cancels out the fact that people have built incredible software with solo dev effort in short periods of time w/life-changing consequences.
1
1
129
no, it's not 'early', it's at the saturation point. vibe coding for months is way worse than what people get out of weekend or vacation projects. the only 'early' that makes sense here is 'early' as in 'it will be awhile before it's not way worse than competent humans'
Replying to @GohilHardy
Honestly it's still early fam. Enterprise stuff needs context and accountability that prompts alone can't give yet. Solo devs will get there though 🚀
38
yeah totally not made up numbers. totally not highlighting "code" as the metric b/c there's not a lack of meaningful outcome to attach to it otherwise. but sure let's amplify that implied 80th percentile tier effort so that it drowns out everything better, what could go wrong?
1
23