HN Explorer

schmuhblaster

↗ HN profile [ 79.5 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. "Prolog Swarms" – Beam-Like Concurrency in DeepClause (deepclause.substack.com)
    1 points 0
  2. A Harness in a single file: Agent skills as an evolving REPL module (deepclause.substack.com)
    1 points 0
  3. Jev, Prolog, Pi, and the dream of probabilistic logic programming (deepclause.substack.com)
    1 points 0
  4. Running Doom on Linux inside TinyEmu inside Docker inside WASM inside Electron (deepclause.substack.com)
    1 points 0
  5. Show HN: Pi-box: Pi coding agent running inside a VM inside WASM inside Electron (github.com)

    Project background and human written summary here: https://deepclause.substack.com/p/pie-in-a-box-running-pi-on...

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