Use claude-crc, Don’t Lose Features to ‘Generous’ Inference 3-Level Spec-Driven Development For Claude The Problem With 2-Level Spec-Driven Development 2-level spec driven development suffers from the same problem as vibe coding – it just takes longer. Which means it bites you after you done a lot more work. I did some hand-rolled, 2-level spec-driven development for an app I’ve been building. By 2-level, I mean you have a collection of spec documents and tell Claude to generate code from it. When you change one set, you tell Claude to check your changes and update the other. It works pretty well as a light-weight alternative to vibe coding. But it’s not a tiny app and I after a while I ran into problems. Claude “generously” inferred things from my specs that weren’t actually in there. I wasn’t as diligent as I should have been with reviewing the generated code – because AI, I suppose. It generates so much code so fast that eventually it becomes easier just to have it auto-approve ...
Posts
Transactional memory for operational transformation in Leisure
- Get link
- X
- Other Apps
It's been a very long time since my last post but we haven't been idle. We've been working on Leisure, which grew out of Lazp. Leisure has become a collaborative, dynamic, polyglot, computing environment, but more about that in future posts. If you're curious about Leisure, you can find the repository here , although we haven't formally announced it, yet. It's functional but buggy. For now, here's a short note about how Leisure manages collaborative data manipulation. Leisure's collaborative documents contain a combination of content, code, and data, all represented by org-format markup in plain text. Data in Leisure documents resides in markup-delimited regions of text, such as org-mode source blocks containing yaml data and code in a Leisure document can change that data. This means that, beyond just normal collaboration, Leisure requires an exclusion mechanism so that data can stay consistent when several users access and change it. Curre...
DOMCursor, a tool for filtered DOM tree cursoring
- Get link
- X
- Other Apps
While working on Leisure , I searched for tools to traverse text in DOM trees, but most of the ones I found were fairly limited. One nice one is Rangy ( https://github.com/timdown/rangy ), which has a TextRange that can traverse by characters and words with rules for skipping over invisible text, collapsing contiguous whitespace, etc. Leisure, however is what you might call an “ultra-rich text” environment and needs more power. This isn't my announcement of Leisure, by the way -- it's got a bit farther to go for that -- so consider this a teaser :). Leisure documents are orgmode files and the environment has a couple ways to present them, some of which sprinkle controls and views in among the editable text. During the design, I decided to use the contenteditable attribute and use the text in among the sprinkled controls and views as the actual document text, as opposed to emulating document editing, like code mirror does . Over the years, I experimented with different ...
Trying out a Coding Dojo
- Get link
- X
- Other Apps
We had our first Coding Dojo session, today. I wanted to start a "Programming Dojo" and I found that some people had already been doing that for years , so I decided to use their wisdom :). Here's a great video, linked from the same site. The guy making this gestures with the camera a lot. If you get easily motion-sick, maybe you should just listen to it. The idea is to have 2 people pair programming in front of a group, with the group kibitzing. Techniques are discussed only in the context of code and programming is the path to learning in the coding dojo. I'm introducing people, here, to functional programming concepts. Here is the "kata" we used, today: Kata: Person Learning about "selector functions" 1. Write a "person" function, person(name, address, gender): it returns a "person"; something which can be used to retrieve the values you man not create a new array, object, or string you may use comparis...
Lazp: an untyped, lazy, functional language with support for runtime metaprogramming
- Get link
- X
- Other Apps
So far, the only untyped, lazy language I've found that's being maintained is Lazy Racket . I've been interested in Lambda Calculus for a while, though, and LISP/Scheme aren't quite what I want (and they're quite a bit larger, too), so I decided to extend the Lambda Calculator into a standalone language. Here's the repository . The goal is to make it native, but for now, it's still in JavaScript, although it will run "standalone" in node.js (and also in browsers). Here are the language features I'm interested in: lazy , so no side effects, because they can really mess up a lazy language untyped ; Haskell is already there for typed, lazy languages metaprogramming ; the eval function uses ASTs that are LC functions We'll rewrite Lazp's parser and code generators in Lazp, so it's self-hosting I "hand assembled" the AST functions, so they're in Lazp, already This means metaprogramming in Lazp can happen at pa...