Make SOPs executable: policies as deterministic logic programs with agent leavesdeepclause.substack.com 1schmuhblaster4d1 comment
The Emergent Symbolic Structure of Artificial Neural Networksarxiv.org 297schmuhblaster10d110 comments
DeepClause meets pi: controlling pi with Prolog and vice versadeepclause.substack.com 2schmuhblaster22ddiscuss
Getting LLMs Drunk to Find Remote Linux Kernel OOB Writes (and More)heyitsas.im 2schmuhblaster2modiscuss
How to make small models punch way above their weight with DeepClausedeepclause.substack.com 2schmuhblaster2modiscuss
Show HN: Agent Harness with Prolog and WASM core incl. 90s Borland-style TUIdeepclause.ai 3schmuhblaster4modiscuss
The Hot Mess of AI: How Does Misalignment Scale with Model Intelligencearxiv.org 1schmuhblaster6modiscuss
Backtracking Through Agent Memory – Adventures with LLMs, Prolog and DeepClausedeepclause.substack.com 2schmuhblaster7modiscuss
Show HN: DeepClause CLI – Compile Markdown specs into executable logic programsgithub.com/deepclause 1schmuhblaster7mo1 comment
Show HN: NPM install a WASM based Linux VM for your agentsgithub.com/deepclause 3schmuhblaster7mo3 comments