Twitxy
Saved
@lastmjs's profile picture
View on X

lastmjs

Verified account This account is verified. Learn more

@lastmjs

Agentic engineer. Building AI slop refineries 馃彮
Tennessee, USA github.com/lastmjs Joined January 2016
1.9K Following 9.9K Followers 15K Posts

Latest posts 5

lastmjs Verified account @lastmjs
I am blown away...
How is this possible???

I saw some amazing animations that people were making with Fable 5.2, so I had to try myself.

I asked it to create this video showing me ten different animation styles so that I could see what Fable 5.2 was capable of....it's capable
5:15
2 replies 6 reposts 78 likes 3.9K views View on X
lastmjs Verified account @lastmjs
Millillion Podcast episode 2: Formally Verify All Software

Come learn a little bit about how software is verified in general, and the verification spectrum from empirical testing to formal verification.

Lean/Lasm allow you to formally verify traditional web frontend/backends!
lastmjs Verified account @lastmjs
I like this, but I'd call it agentic software engineering instead of vibe coding. I feel like vibe coding is when you use AI to write software without manually reviewing any of the code and also without empirical tests, formal verification, and static analysis.
zacker150 鉃★笍 TwitchCon SD Verified account @zacker150 5d
Actual software engineer here.

Vibe coding is when you use AI to write software without manually reviewing every single line of code. Instead, you rely on empirical tests, formal verification, and static analysis to verify that your code is correct.

Rewrites like the Discord rewrite are prime targets for vibe coding because you can easily verify them. Just take the old code, run it with a ton of random inputs (this is called fuzzing), and compare the output with the new code. Your rewrite is done when the output is always the same.

As for how you know it's vibe coded? Everything is vibe coded these days. Software engineers don't write code by hand anymore. Instead, we herd clankers writing code.
View quoted post on X