Hacker Newsnew | past | comments | ask | show | jobs | submit | schmuhblaster's submissionslogin
1.
Make SOPs executable: policies as deterministic logic programs with agent leaves (deepclause.substack.com)
1 point by schmuhblaster 3 days ago | past | 1 comment
2.
The Emergent Symbolic Structure of Artificial Neural Networks (arxiv.org)
297 points by schmuhblaster 8 days ago | past | 110 comments
3.
DeepClause meets pi: controlling pi with Prolog and vice versa (deepclause.substack.com)
2 points by schmuhblaster 20 days ago | past
4.
Loops? Graphs? Prolog! (deepclause.substack.com)
3 points by schmuhblaster 46 days ago | past
5.
Getting LLMs Drunk to Find Remote Linux Kernel OOB Writes (and More) (heyitsas.im)
2 points by schmuhblaster 75 days ago | past
6.
How to make small models punch way above their weight with DeepClause (deepclause.substack.com)
2 points by schmuhblaster 85 days ago | past
7.
DeepClause "Turbo DML" Agent Harness (deepclause.substack.com)
4 points by schmuhblaster 3 months ago | past
8.
Show HN: Agent Harness with Prolog and WASM core incl. 90s Borland-style TUI (deepclause.ai)
3 points by schmuhblaster 4 months ago | past
9.
Static taint analysis for LLM agents (deepclause.substack.com)
4 points by schmuhblaster 6 months ago | past
10.
The Hot Mess of AI: How Does Misalignment Scale with Model Intelligence (arxiv.org)
1 point by schmuhblaster 7 months ago | past
11.
"Compiled" Specs (deepclause.substack.com)
1 point by schmuhblaster 7 months ago | past
12.
Backtracking Through Agent Memory – Adventures with LLMs, Prolog and DeepClause (deepclause.substack.com)
2 points by schmuhblaster 7 months ago | past
13.
Show HN: DeepClause CLI – Compile Markdown specs into executable logic programs (github.com/deepclause)
1 point by schmuhblaster 7 months ago | past | 1 comment
14.
Show HN: NPM install a WASM based Linux VM for your agents (github.com/deepclause)
3 points by schmuhblaster 7 months ago | past | 3 comments
15.
Implementing a (Vibed) LLM Coding Agent in Prolog (deepclause.substack.com)
6 points by schmuhblaster 8 months ago | past | 3 comments
16.
Recursive Language Models (arxiv.org)
161 points by schmuhblaster 8 months ago | past | 23 comments
17.
Reflections on a Year of Prolog and LLMs (deepclause.substack.com)
5 points by schmuhblaster 8 months ago | past
18.
Show HN: DeepClause – A Neurosymbolic AI System Built on WASM and Prolog (github.com/deepclause)
7 points by schmuhblaster 9 months ago | past

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: