🧩 Prolog - abnv · Scour

[2301.04104] Mastering Diverse Domains through World Models

arxiv.org·1d

🎨Domain-Specific Languages

Agentic reasoning for Large Language Models

arxiv.org·2d

🧠Semantic Parsing

Building Reliable AI Applications: A Validation Strategy

dev.to·1d·

Discuss: DEV

✅Configuration Validation

Yet Another Set of Claude Code Plugins (But Maybe Useful?)

dev.to·2d·

Discuss: DEV

A Pattern Language Index

patternlanguageindex.com·6d

🤐Zipper Structures

Bitcoin PIPEs v2

eprint.iacr.org·4d

Making it whole

seths.blog·4d

🧱First Principles

Building an Obsidian RAG with DuckDB and MotherDuck

motherduck.com·5d

📖Literate Programming

**Abstract:** The increasing volume and complexity of international standards across diverse fields necessitate efficient translation and harmonization strat...

freederia.com·3d

📋Backus-Naur Form

YS — YAML Done Wisely

yamlscript.org·2d

🧼Lisp Hygiene

**Abstract:** This paper proposes a novel methodology for automated theorem discovery within advanced set theory utilizing hyperdimensional geometric algebra...

freederia.com·5d

🔢Algebraic Datatypes

Against the Orthogonality Thesis

jonasmoman.substack.com·5d·

Discuss: Substack

💫Effect Systems

QT4 grammar explorer

so.nwalsh.com·5d

🌳Parser Visualization

jameshaydon/sentinel - MCP guardrailing for LLM agents using logic programming

github.com·5d

🧩Constraint Logic

Being the Centaur: Context Engineering for LLM Coding

schlitt.info·4d

💬Interactive REPLs

LLM Vibe Coding or Illiterate Programming

slott56.github.io·5d

📖Literate Programming

Rewriting pycparser with the help of an LLM

eli.thegreenplace.net·5d·

Discuss: Lobsters, Hacker News, Hacker News, r/Compilers

🌲Tree-sitter

What Ultimately Is There? <br>Metaphysics and the Ruliad

writings.stephenwolfram.com·5d

🔗Concatenative Theory

YAML Best Practices

yamlscript.org·2d

⚙️Configuration Parsing

Build LLM-Powered Documentation that Always Stays True to latest codebeases

pub.towardsai.net·4d

📚Self-Documenting Code

Loading more...