@adrianco out of curiosity, are you seeing many folks use TLA+ specs instead or in combination with the .md files to vibecode stuff?
If not, do you have a view on what may be the limiting factor(s)?
@adrianco out of curiosity, are you seeing many folks use TLA+ specs instead or in combination with the .md files to vibecode stuff?
If not, do you have a view on what may be the limiting factor(s)?
(Following thread was prompted by people pointing out that the Bluesky dev team seems heavily into vibe-coding now and originally posted on said vibe-coded Bluesky platform that is now constantly failing.)
Over the past year, every single time one of the apps or services I use suddenly became less reliable and more buggy, I never have to look far for the "Claude is amazing and now writes most of my code" post for the devs involved.
New app. Outlay - a personal finance app for Linux. Track what you spend, set budgets, manage subscriptions, and see where your money goes. Everything lives in one file on your machine. No accounts, no cloud, no telemetry.
It's a native GTK 4 app so it fits right in on a GNOME desktop. I put a lot of work into making it look and feel nice.
Free, CC0 public domain. No subscription to track your subscriptions.