Submissions from deepclause.substack.com

		Pi(e) in a box: running pi on risk-v inside a VM inside TinyEmu inside WASM (deepclause.substack.com)
		2 points by schmuhblaster 1 day ago \| past \| discuss
		Make SOPs executable: policies as deterministic logic programs with agent leaves (deepclause.substack.com)
		1 point by schmuhblaster 8 days ago \| past \| 1 comment
		DeepClause meets pi: controlling pi with Prolog and vice versa (deepclause.substack.com)
		2 points by schmuhblaster 25 days ago \| past
		Loops? Graphs? Prolog! (deepclause.substack.com)
		3 points by schmuhblaster 52 days ago \| past
		How to make small models punch way above their weight with DeepClause (deepclause.substack.com)
		2 points by schmuhblaster 3 months ago \| past
		DeepClause "Turbo DML" Agent Harness (deepclause.substack.com)
		4 points by schmuhblaster 3 months ago \| past
		Static taint analysis for LLM agents (deepclause.substack.com)
		4 points by schmuhblaster 6 months ago \| past
		"Compiled" Specs (deepclause.substack.com)
		1 point by schmuhblaster 7 months ago \| past
		Backtracking Through Agent Memory – Adventures with LLMs, Prolog and DeepClause (deepclause.substack.com)
		2 points by schmuhblaster 7 months ago \| past
		Implementing a (Vibed) LLM Coding Agent in Prolog (deepclause.substack.com)
		6 points by schmuhblaster 8 months ago \| past \| 3 comments
		Reflections on a Year of Prolog and LLMs (deepclause.substack.com)
		5 points by schmuhblaster 8 months ago \| past