Tweets about my project refli.be/en/blog/, the Nix ecosystem, and other programming white rabbits I follow in too many holes.
I will try @[email protected].
Writing code is solved, they said.
And now they're advocating for formal methods, in a way that was not used before. And they still hide their work, instead of making it open source.
Too bad their "paced Pareto frontier" models can't point out the cognitive dissonance.
Trying to have some fun reading some official doc about @pollenrobotics microduck, which I've ordered, only to find vibe written claudism. Why can't we have nice things.
New developer tooling startup: use our new product, it wilk help you focus on what really matters
Then every two days: here is how we redesigned our product, we're changing our pricing structure, here's a postmortem on this morning outage,...