Noisy teenage ravens in the park

@carlbergstrom.com have you seen www.imdb.com/title/tt2642...? It's on Prime Video atm (appropriately directed by Vance *Crofoot*)

Seeing plenty of good posts on modeling and verification x.com/dominiktorno... Opus suggested and then cranked a formal machine executable lang spec for me last week github.com/tavisrudd/ii.... This is quality I couldn't afford without agents

It also nailed a port of a complex concurrent pubsub msg bus from Cython to Zig. Lack of training data is definitely not a constraint. Only place I've seen it struggle is balancing parens in Racket. The rest of the lang and ecosystem is no challenge but counting is hard

I tried to stump Claude with Haskell and its performance was so much better than working w Typescript that maybe my years learning it weren't wasted. Better training corpus? Better feedback? Better guardrails? All of the above? Missing deps: no problem Opus just whips them up as needed. Hiring? Hah

I assume not

Is that gif it?

Heading which direction?

All the while I was thinking of a cheetah thread with you back in 2000 or 2001 about real parsers and BNF

iidy-hs/spec at main · tavisrudd/iidy-hs CloudFormation deployment tool with real-time event streaming, changeset workflow, template approval, and YAML preprocessing. (Haskell version) - tavisrudd/iidy-hs

I've been leaning into quickcheck property tests and even formal executable specs and compliance tests with it. In 2hrs night I had it generate a full spec and ~400 tests for a lang embedded in a tool I'm working on github.com/tavisrudd/ii.... So damn cheap and fast to go all out on verification

Note the ;)

I need to be more careful about which ghosts I summon github.com/tavisrudd/ii...

OpenClaw🦞 on X: "We just passed React on GitHub stars. 🦞 Let that sink in. A personal AI assistant built by a lobster-obsessed Austrian and an army of crustacean enthusiasts just outstarred the library that powers half the internet. We shipped 90+ changes today. They shipped a conference. https://t.co/dC8EWo8yN7" / X We just passed React on GitHub stars. 🦞 Let that sink in. A personal AI assistant built by a lobster-obsessed Austrian and an army of crustacean enthusiasts just outstarred the library that powers half the internet. We shipped 90+ changes today. They shipped a conference. https://t.co/dC8EWo8yN7

Give it a few months x.com/openclaw/sta... ;)

iidy-hs/test/Test/PreprocessingPropertyTest.hs at 6940bcd0519c50024c20c3bf3f9a9e660fa15607 · tavisrudd/iidy-hs CloudFormation deployment tool with real-time event streaming, changeset workflow, template approval, and YAML preprocessing. (Haskell version) - tavisrudd/iidy-hs

Here's some quickcheck property tests "you" inspired github.com/tavisrudd/ii...

It can even make decent category theory quips

The reviews were very useful. Some issues I was already painfully aware of but the framing and thinking helped Claude address them cleanly. 14 issues fixed and 196 new tests added today

summoning ghosts for review summoning ghosts for review. GitHub Gist: instantly share code, notes, and snippets.

Yep, here's the full set of prompts. Mine was very brief and Opus did the rest gist.github.com/tavisrudd/fe...

Seen any that ban human commits?

"As I'd tell my students: if you find yourself writing an evaluator for a tree-structured AST with variable binding, conditionals, iteration, and a module system — you've built a programming language. Own it."

@shriram.bsky.social your "ghost" wrote a review github.com/tavisrudd/ii.... Feel on point?

iidy-hs/docs/requirements at main · tavisrudd/iidy-hs CloudFormation deployment tool with real-time event streaming, changeset workflow, template approval, and YAML preprocessing. (Haskell version) - tavisrudd/iidy-hs

another ralph loop just retroactively wrote the PRDs & user stories for the insane amount of work it completed and level of complexity it glided through during the port: github.com/tavisrudd/ii...

It changed its mind after having done the work and concluded that was overblown. I disagreed with it completely.

Finally

Yeah! The prelude to this Haskell story is the rust version was also 100% vibe coded but with me in the loop reviewing and course correcting heavily in the early days per Opus 4.5.

Especially after it called out "lens ergonomics" as a high risk item likely tto blow out estimates in its pre coding risk analysis @kmett.ai github.com/tavisrudd/ii...