Elektrine lite

← Feed

@thomasapowell@fosstodon.org

Post #1735282

2026-03-05 20:00 UTC

Contract-driven programming would be great with LLMs if they didn't just break contracts or "forget" that contracts exist. Tried deterministic guards, small context, etc., always the same result ~80% max & ~50-60% w/o guards. We verified with a reduced case with a web component ZingGrid with a strict schema, markdown docs, contract, hooks, and a huge unit tests. - same max ~8/10. This is the inherent non-deterministic wall. TL;DR Useful now sure, but not magic. #GenAI #SoftwareEngineering

Replies (0)

No replies.