80s computing era meets small local decision models
Summary
开发者介绍了 amber-8,一个将 80 年代汇编式确定性代码与本地小决策模型的概率判断相结合的编程实验,用于把自然语言指令拆解为可执行的栈操作代码。
Similar Articles
@longhaiqwe123: Veteran programmer with 50 years of experience, Uncle Bob, recently released the ub-mode Skill designed for coding agents, transforming the engineering principles of Clean Code into constraint rules for AI, and establishing quantitative gates before delivery with three major tools. This article breaks down the complete rule system and tests it on a real open-source project...
Uncle Bob (Robert C. Martin), a senior software engineer with 50 years of experience, has released the ub-mode Skill for coding AI agents, transforming the engineering principles of Clean Code into agent constraint rules, and establishing quantitative gates for cyclomatic complexity, code duplication, and mutation testing before delivery through three tools: crapper, dryer, and mutator. This article fully breaks down the rule system and tests the toolchain's performance on a real open-source project.
Why our AI agent prompt kept rotting into a 130-line legal contract, and how a 1986 speech-act state machine + 1977 4-valued logic let us delete the "Do NOT" rules
作者讲述了如何用 Flores & Winograd 的言语行为状态机、Belnap 四值逻辑和 CSP 通道前缀,把 AI agent 提示词里不断膨胀的 130 行防御性 'Do NOT' 规则,重构成可验证的状态迁移与 Makefile 依赖图,并向社区征集类似实践。
Show HN: Strot – Compile an LLM's intent once, run decisions locally forever
Show HN: STROT,一个开源「决策编译器」,用 LLM 编译一次意图,之后在本地以 144M 小模型零成本执行分类、评分与路由决策,附带校准与置信度门控保证。
Executable Archaeology of Programs That Model Programming: Reanimating the Heuristic Compiler (1961) and KBEmacs (1984)
An arXiv paper on 'Executable Archaeology' that reanimates two historical AI programming systems — Herbert Simon's 1961 Heuristic Compiler and MIT's 1984 KBEmacs — revealing their surprisingly similar theories of programming, with the reanimation work itself assisted by Anthropic's Claude Code.
@Xudong07452910: The best AI coding workflow might be to let AI gradually solidify its instability into a system. The author developed a source code management system for the LLM era using Fable, and the experience is very real: the model is smart, can read large amounts of code, raise issues, and fix problems, but it also makes very low-level mistakes, such as committing the build/ directory twice…
A blog post discusses the need to complement brilliant but clumsy LLMs with deterministic tools and formal workflows, using the author's experience developing the Beagle SCM with Fable as an example.