🎯 Dependent Parsing

Context-sensitive Grammars, Type-dependent Syntax, Proof-carrying Parsers, Verified Parsing

Understanding reinforcement learning for model training from scratch
medium.com·3h·
Discuss: Hacker News
🤖Grammar Induction
Generating Inputs for Grammar Mining using Dynamic Symbolic Execution
arxiv.org·3d
🦀Rust Macros
Yet another study doubts that LLM reasoning shows true logic over pattern imitation
the-decoder.com·1d
🤖Grammar Induction
Creating an assembler for a custom CPU
popovicu.com·6h
🔧RISC-V Assembler
Cactus Language • Pragmatics 11
inquiryintoinquiry.com·1d
📝Concrete Syntax
Programming languages and dimensions of units of measure
cl.cam.ac.uk·5h·
Discuss: Hacker News
💻Programming languages
GPT-5 prompting guide
cookbook.openai.com·19h
⚡Proof Automation
Lobsters Interview with Hwayne
lobste.rs·2d·
Discuss: Lobsters
⚔️Lean Tactics
Try and
ygdp.yale.edu·12h·
Discuss: Hacker News
🔗Concatenative Programming
Hyperdimensional Semantic Graph Analysis for Automated Scientific Knowledge Graph Construction
dev.to·12h·
Discuss: DEV
📋Document Grammar
Microsoft POML – Prompt Orchestration Markup Language
github.com·19h·
Discuss: Hacker News
🎙️Whisper
Generating Structured Outputs from LLMs
towardsdatascience.com·2d
📐Format Grammars
Your LLM Knows the Future: Uncovering Its Multi-Token Prediction Potential
machinelearning.apple.com·3d·
Discuss: Hacker News
💻Local LLMs
Mars v1.0.0 — a small language implemented in Go, with Go-like struct literals and clear errors
reddit.com·1d·
Discuss: r/golang
🧠Lisp Dialects
Seeing Like an LLM
blog.continua.ai·14h·
Discuss: Hacker News
💻Local LLMs
Self-attention mechanism explained
jtlicardo.com·7h·
Discuss: Hacker News
🚀SIMD Text Processing
Condition Systems in an Exceptional Language by Chris Houser
gist.github.com·2h·
Discuss: Hacker News
🧠Lisp Dialects
How to tell when AI is lying to you
read.highgrowthengineer.com·10h
⚡Proof Automation
Recent cross-research on LLM and RL on ArXiv
github.com·4h·
Discuss: Hacker News
🔲Cellular Automata
Hierarchical Verification of Speculative Beams for Accelerating LLM Inference
arxiv.org·3d
💻Local LLMs