Jev, Prolog, Pi, and the dream of probabilistic logic programmingdeepclause.substack.com·25 pts·schmuhblaster·0
Running Doom on Linux inside TinyEmu inside Docker inside WASM inside Electrondeepclause.substack.com·1 pts·schmuhblaster·0
Show HN: Pi-box: Pi coding agent running inside a VM inside WASM inside Electrongithub.com·3 pts·schmuhblaster·0
Pi(e) in a box: running pi on risk-v inside a VM inside TinyEmu inside WASMdeepclause.substack.com·2 pts·schmuhblaster·0
Make SOPs executable: policies as deterministic logic programs with agent leavesdeepclause.substack.com·1 pts·schmuhblaster·1
DeepClause meets pi: controlling pi with Prolog and vice versadeepclause.substack.com·2 pts·schmuhblaster·0
Getting LLMs Drunk to Find Remote Linux Kernel OOB Writes (and More)heyitsas.im·2 pts·schmuhblaster·0
How to make small models punch way above their weight with DeepClausedeepclause.substack.com·2 pts·schmuhblaster·0
Show HN: Agent Harness with Prolog and WASM core incl. 90s Borland-style TUIdeepclause.ai·3 pts·schmuhblaster·0
The Hot Mess of AI: How Does Misalignment Scale with Model Intelligencearxiv.org·1 pts·schmuhblaster·0
Backtracking Through Agent Memory – Adventures with LLMs, Prolog and DeepClausedeepclause.substack.com·2 pts·schmuhblaster·0
Show HN: DeepClause CLI – Compile Markdown specs into executable logic programsgithub.com·1 pts·schmuhblaster·1
Show HN: DeepClause – A Neurosymbolic AI System Built on WASM and Prologgithub.com·7 pts·schmuhblaster·0