Cactus Language • Syntax 10
inquiryintoinquiry.com·5h
📝Concrete Syntax
WQ42: Grounding LLMs in Wikidata Facts via Tool Calling
thottingal.in·1d·
Discuss: Hacker News
📋Document Grammar
Python Fundamentals: LEGB rule
dev.to·1d·
Discuss: DEV
🎯Gradual Typing
DSA Fundamentals #1: A Practical Guide to Propositional Logic
beyondit.blog·2d
🧮Theorem Proving
Coping with Complexity
slott56.github.io·1d
🔗Concatenative Programming
I'm writing a book!
laplab.me·21h
🗄️Database Internals
Stuck Between 24 Rocks and an NP-Hard Place
jacksonslipock.bearblog.dev·1d·
Discuss: Hacker News
⚔️Lean Tactics
Counting with Categories (Part 1)
golem.ph.utexas.edu·6h
λLambda Formalization
Structured Output for Beginners and 3 Prompting Tips
pocketflow.substack.com·2d·
Discuss: Substack
🌳Incremental Parsing
Mapping LLMs over excel saved my passion for game dev
danieltan.weblog.lol·1d·
Discuss: Hacker News
🗣️Domain-Specific Languages
My (mostly) minimalistic AI setup as a Senior Engineer in Big Tech
read.highgrowthengineer.com·6h·
Discuss: r/programming
⚡Proof Automation
2025 Alonzo Church Award: Paul Blain Levy for Call-by-Push-Value (CBPV)
siglog.org·1d·
Discuss: Hacker News
💻Programming languages
A Multi-Agent SQL Assistant You Can Trust with Human-in-Loop Checkpoint & LLM Cost Control
towardsdatascience.com·4d
⚡Proof Automation
Adding linear-time lookbehinds to RE2
systemf.epfl.ch·23h·
Discuss: Lobsters, Hacker News, r/programming
🔍RegEx Engines
Can All Knowledge Be Mined? A Formal Framework for φ^∞ Consequence Closure
researchgate.net·3d·
Discuss: Hacker News
🔢Denotational Semantics
Demystifying AI Agents: How Language Models Think, Act, and Learn in the Real World
dev.to·7h·
Discuss: DEV
⚡Proof Automation
To Bind and Loose a Reference
thephd.dev·21h·
Discuss: Lobsters, Hacker News
🎯Gradual Typing
🧠 Solving LeetCode Until I Become Top 1% — Day `27`
dev.to·10h·
Discuss: DEV
⚔️Lean Tactics
Logic App Http Connector with Swagger + C# Function App
dev.to·10h·
Discuss: DEV
🔐CBOR
Just some example work notes
dev.to·6h·
Discuss: DEV
💧Liquid Types