schmuhblaster on Hacker News

1

How to make small models punch way above their weight with DeepClause (opens in new tab)

(deepclause.substack.com)

2schmuhblaster8d ago0

2

DeepClause "Turbo DML" Agent Harness (opens in new tab)

(deepclause.substack.com)

4schmuhblaster1mo ago0

3

Show HN: Agent Harness with Prolog and WASM core incl. 90s Borland-style TUI (opens in new tab)

(deepclause.ai)

3schmuhblaster1mo ago0

4

Static taint analysis for LLM agents (opens in new tab)

(deepclause.substack.com)

4schmuhblaster3mo ago0

5

The Hot Mess of AI: How Does Misalignment Scale with Model Intelligence (opens in new tab)

(arxiv.org)arXiv

1schmuhblaster4mo ago0

6

"Compiled" Specs (opens in new tab)

(deepclause.substack.com)

1schmuhblaster4mo ago0

7

Backtracking Through Agent Memory – Adventures with LLMs, Prolog and DeepClause (opens in new tab)

(deepclause.substack.com)

2schmuhblaster4mo ago0

8

Show HN: DeepClause CLI – Compile Markdown specs into executable logic programs (opens in new tab)

(github.com)GitHub

1schmuhblaster4mo ago1

9

Show HN: NPM install a WASM based Linux VM for your agents (opens in new tab)

(github.com)GitHub

3schmuhblaster5mo ago3

10

Implementing a (Vibed) LLM Coding Agent in Prolog (opens in new tab)

(deepclause.substack.com)

6schmuhblaster5mo ago3

11

Recursive Language Models (opens in new tab)

(arxiv.org)arXiv

161schmuhblaster5mo ago23

12

Reflections on a Year of Prolog and LLMs (opens in new tab)

(deepclause.substack.com)

5schmuhblaster5mo ago0

13

Show HN: DeepClause – A Neurosymbolic AI System Built on WASM and Prolog (opens in new tab)

(github.com)GitHub

7schmuhblaster7mo ago0

schmuhblaster

Recent submissions

How to make small models punch way above their weight with DeepClause (opens in new tab)

DeepClause "Turbo DML" Agent Harness (opens in new tab)

Show HN: Agent Harness with Prolog and WASM core incl. 90s Borland-style TUI (opens in new tab)

Static taint analysis for LLM agents (opens in new tab)

The Hot Mess of AI: How Does Misalignment Scale with Model Intelligence (opens in new tab)

"Compiled" Specs (opens in new tab)

Backtracking Through Agent Memory – Adventures with LLMs, Prolog and DeepClause (opens in new tab)

Show HN: DeepClause CLI – Compile Markdown specs into executable logic programs (opens in new tab)

Show HN: NPM install a WASM based Linux VM for your agents (opens in new tab)

Implementing a (Vibed) LLM Coding Agent in Prolog (opens in new tab)

Recursive Language Models (opens in new tab)

Reflections on a Year of Prolog and LLMs (opens in new tab)

Show HN: DeepClause – A Neurosymbolic AI System Built on WASM and Prolog (opens in new tab)

Recent submissions

How to make small models punch way above their weight with DeepClause (opens in new tab)

DeepClause "Turbo DML" Agent Harness (opens in new tab)

Show HN: Agent Harness with Prolog and WASM core incl. 90s Borland-style TUI (opens in new tab)

Static taint analysis for LLM agents (opens in new tab)

The Hot Mess of AI: How Does Misalignment Scale with Model Intelligence (opens in new tab)

"Compiled" Specs (opens in new tab)

Backtracking Through Agent Memory – Adventures with LLMs, Prolog and DeepClause (opens in new tab)

Show HN: DeepClause CLI – Compile Markdown specs into executable logic programs (opens in new tab)

Show HN: NPM install a WASM based Linux VM for your agents (opens in new tab)

Implementing a (Vibed) LLM Coding Agent in Prolog (opens in new tab)

Recursive Language Models (opens in new tab)

Reflections on a Year of Prolog and LLMs (opens in new tab)

Show HN: DeepClause – A Neurosymbolic AI System Built on WASM and Prolog (opens in new tab)