AI PROMPTING → AI VERIFYING
AI prompting scales, because prompting is just typing.
But AI verifying doesn’t scale, because verifying AI output involves much more than just typing.
Sometimes you can verify by eye, which is why AI is great for frontend, images, and video. But for anything subtle, you need to read the code or text deeply — and that means knowing the topic well enough to correct the AI.
Researchers are well aware of this, which is why there’s so much work on evals and hallucination.
However, the concept of verification as the bottleneck for AI users is under-discussed. Yes, you can try formal verification, or critic models where one AI checks another, or other techniques. But to even be aware of the issue as a first class problem is half the battle.
For users: AI verifying is as important as AI prompting.
@ayushgun@kvlly Incorrect; classic is written in electron.js which runs natively on Apple silicon. New is written with MS version of election, because for whatever reason (self-entitlement) they think they can do everything better in-house
@dhh I assume you've never had the exquisite pleasure of refactoring someone else's code? Well-written TypeScript imparts the confidence to go to town knowing mutilations will be caught. Hell, I don't even have to live-reload & test, I write to spec & it works first-run... saves time!
Now instead of looking up similar words individually to find the exact right word I can now ask for the right word in the context of my thought. Unbelievable.
@brian_d_vaughn@edelman215 It's definitely the cable's fault. Through expensive trial and error I found Insignia cables are the most reliable. Goes without saying but avoid using dongles at any cost: get the cable for your exact i/o ports. Highest bandwidth. And avoid stressing/bending your cable too much!
@Jules_414@PivotPod@profgalloway@KatyTurNBC Chemistry? Really? It felt more like an interview than a co-host — Katy never threw it back to Scott so it totally lacked the feeling of lively banter between two intellectuals interested in each other’s opinions & ultimately I just respect Kara’s deftness as a cohost even more.
@brian_d_vaughn@filearts Replacing [command] with any shell command, this will send the output of that command to the build process stdout. I abuse this extensively when debugging Dockerfiles, as it's much faster and more reliable than inspecting the log from the failed container.
@brian_d_vaughn@playwrightweb Indeed - the learning curve is quite high and unfortunately I haven't found a way to casually engage with docker, in my experience (both as an individual and as a senior dev onboarding juniors).
@StacyZhang_ Change starts with reforming federal flood insurance with payout contingent on not redeveloping (aka buyback). IIRC the homeowners all plan to rebuild. A taxpayer-funded exercise in futility.