Cactus Language • Syntax 12
inquiryintoinquiry.com·6h
📝Concrete Syntax
BNFGen: A random text generator based on context-free grammars
baturin.org·4h·
Discuss: Hacker News
🌳Context free grammars
MATE: LLM-Powered Multi-Agent Translation Environment for Accessibility Applications
arxiv.org·18h
🎙️Whisper
Kumo Surfaces Structured Data Patterns Generative AI Misses
thenewstack.io·8h
📊Graph Databases
davidchisnall/igk: I got Knuth'd: A compiler for documents
github.com·15h
📝Concrete Syntax
Song recommendations from F# combinators
blog.ploeh.dk·2d
🔗Functional Compilers
LFCS Seminar Tuesday 8th July: John Longley
informatics.ed.ac.uk·2d
💻Programming languages
Show HN: Towards agentic Graph RAG: Enhancing graph retrieval with vector search
blog.kuzudb.com·46m·
Discuss: Hacker News
📊Graph Databases
Counting with Categories (Part 2)
golem.ph.utexas.edu·2d
🔀Category Theory
confluent relation
ncatlab.org·2d
λLambda Formalization
🧠 Solving LeetCode Until I Become Top 1% — Day `30`
dev.to·14h·
Discuss: DEV
📐Error Bounds
June 25, 2025 Flight Tracking Workshop (4 hour) [Americas / Europe-friendly time]
bellingcat.com·22h
🧮Prolog Parsing
Deep Dive into Databend UDF, implementing your data solutions with Python, WASM
databend.com·7h·
Discuss: Hacker News
📋DFDL
Patterns for Compounding the Value of LLM interactions
spin.atomicobject.com·10h·
Discuss: Hacker News
🔗Constraint Handling
Godel's Incompleteness Theorem
news.ycombinator.com·5h·
Discuss: Hacker News
🔤Type Theory
Brent Yorgey: Competitive programming in Haskell: range queries, classified
byorgey.github.io·2d
λLambda Encodings
The Nature of Lisp, Code Generation and Wieldable Programming Power
pankajpipada.com·11h·
Discuss: Hacker News, r/programming
🔗Lisp
Solving LinkedIn Queens Using Haskell
imiron.io·1d·
Discuss: Lobsters, Hacker News, r/programming
λLambda Formalization
The Power of Strong Linearizability: the Difficulty of Consistent Refereeing
arxiv.org·1d
🎯Performance Proofs
Retrieval-Augmented Generation (RAG) System Architecture and Workflow
dev.to·22h·
Discuss: DEV
🔍Information Retrieval