HN Explorer

schmuhblaster

↗ HN profile [ 92.1 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Make SOPs executable: policies as deterministic logic programs with agent leaves (deepclause.substack.com)
    1 points 1
  2. The Emergent Symbolic Structure of Artificial Neural Networks (arxiv.org)
    1 points 87
  3. DeepClause meets pi: controlling pi with Prolog and vice versa (deepclause.substack.com)
    1 points 0
  4. Loops? Graphs? Prolog! (deepclause.substack.com)
    3 points 0
  5. Getting LLMs Drunk to Find Remote Linux Kernel OOB Writes (and More) (heyitsas.im)
    2 points 0
  6. How to make small models punch way above their weight with DeepClause (deepclause.substack.com)
    2 points 0
  7. DeepClause "Turbo DML" Agent Harness (deepclause.substack.com)
    4 points 0
  8. Show HN: Agent Harness with Prolog and WASM core incl. 90s Borland-style TUI (deepclause.ai)
    3 points 0
  9. Static taint analysis for LLM agents (deepclause.substack.com)
    4 points 0
  10. The Hot Mess of AI: How Does Misalignment Scale with Model Intelligence (arxiv.org)
    1 points 0
  11. "Compiled" Specs (deepclause.substack.com)
    1 points 0
  12. Backtracking Through Agent Memory – Adventures with LLMs, Prolog and DeepClause (deepclause.substack.com)
    2 points 0
  13. Show HN: DeepClause CLI – Compile Markdown specs into executable logic programs (github.com)
    1 points 1
  14. Show HN: NPM install a WASM based Linux VM for your agents (github.com)
    3 points 3
  15. Implementing a (Vibed) LLM Coding Agent in Prolog (deepclause.substack.com)
    6 points 3
  16. Recursive Language Models (arxiv.org)
    161 points 13
  17. Reflections on a Year of Prolog and LLMs (deepclause.substack.com)
    5 points 0
  18. Show HN: DeepClause – A Neurosymbolic AI System Built on WASM and Prolog (github.com)

    Hi HN, Today I'd like to present the results of my weekend project of the last year or so. Given there are many posts on HN about LLMs and Prolog, I thought that this would be of interest. DeepClause is my own (possibly…

    7 points 0