Generating Structured Outputs from LLMs
towardsdatascience.com·20h
📐Format Grammars
Yet another study doubts that LLM reasoning shows true logic over pattern imitation
the-decoder.com·2h
🤖Grammar Induction
Generating Inputs for Grammar Mining using Dynamic Symbolic Execution
arxiv.org·2d
🦀Rust Macros
Lobsters Interview with Hwayne
lobste.rs·16h·
Discuss: Lobsters
⚔️Lean Tactics
Tokenization in Large Language Models
seantrott.substack.com·1d·
Discuss: Substack
📝Text Parsing
REPL + Prompt
funcall.blogspot.com·5h·
Discuss: www.blogger.com
🧠Lisp Dialects
Programming with AI: You're Probably Doing It Wrong
devroom.io·1d·
Discuss: Hacker News
⚡Proof Automation
Building NeuroStash - VI
dev.to·3h·
Discuss: DEV
📄Text Chunking
Well-Typed.Com: Well-Typed at ZuriHac 2025
well-typed.com·1d
🔗Functional Compilers
Neurosymbolic AI: The 3rd Wave
muratbuffalo.blogspot.com·22h·
Discuss: www.blogger.com
🔲Cellular Automata
Exploring Traces: Agent trajectory walkthroughs from interesting examples
theori.io·2h·
Discuss: Hacker News
🧬Bitstream Evolution
Grok’s Share and Claude’s Leak: 5 Things We Can Learn From System Prompts
machinelearningmastery.com·1d
📝ABNF Parsing
How Confident Are You, ChatGPT?
aylinakkus.github.io·3h·
Discuss: Hacker News
⚡Proof Automation
Simple Programming Languages
ryanbrewer.dev·1d·
Discuss: Hacker News
🔗Concatenative Programming
Show HN: VectorOps Know
vectorops.dev·2d·
Discuss: Hacker News
🌳Incremental Parsing
LAG: Logic-Augmented Generation from a Cartesian Perspective
arxiv.org·1d
🧠Computational Logic
Training Specialist Models: Automating Malware Development
outflank.nl·1d
🧮SMT Solvers
Building with Generative AI: Lessons from 5 Projects Part 1: RAG
dev.to·1d·
Discuss: DEV
🤖Grammar Induction
A Novel Architecture for Symbolic Reasoning with Decision Trees and LLM Agents
arxiv.org·1d
🧠Computational Logic
Understanding not just Clojure's comp function by re-implementing it
evalapply.org·1d·
Discuss: Lobsters, Hacker News, r/programming
🧠Lisp Dialects