Cactus Language • Syntax 12
inquiryintoinquiry.com·2h
📝Concrete Syntax
CLGRPO: Reasoning Ability Enhancement for Small VLMs
arxiv.org·1d
📏Linear Logic
June 25, 2025 Flight Tracking Workshop (4 hour) [Americas / Europe-friendly time]
bellingcat.com·18h
🧮Prolog Parsing
Deep Dive into Databend UDF, implementing your data solutions with Python, WASM
databend.com·3h·
Discuss: Hacker News
📋DFDL
Declarative Programming: SQL, HTML, CSS, Prolog Guide
dev.to·1d·
Discuss: DEV
📝Concrete Syntax
Kumo Surfaces Structured Data Patterns Generative AI Misses
thenewstack.io·4h
📊Graph Databases
davidchisnall/igk: I got Knuth'd: A compiler for documents
github.com·11h
📝Concrete Syntax
BNFGen: A random text generator based on context-free grammars
baturin.org·25m·
Discuss: Hacker News
🌳Context free grammars
Belief elicitation in theory versus practice
statmodeling.stat.columbia.edu·1h
🧠Intelligence Compression
Diving deep into Binius M3 arithmetization using Merkle tree inclusion as an example
blog.lambdaclass.com·1d
🌳Archive Merkle Trees
Practical tips to optimize documentation for LLMs, AI agents, and chatbots
biel.ai·23h·
Discuss: Hacker News
🤖Archive Automation
ML in the Home
blog.raymond.burkholder.net·1d
📈Time Series
Solving LinkedIn Queens Using Haskell
imiron.io·1d·
Discuss: Lobsters, Hacker News, r/programming
λLambda Formalization
Counting with Categories (Part 3)
golem.ph.utexas.edu·1d
λLambda Formalization
XAI: Your Indispensable Compass for AI Regulatory Compliance
dev.to·1d·
Discuss: DEV
🔄Archival Workflows
The Internal Inconsistency of Large Language Models
blog.kortlepel.com·1d·
Discuss: Hacker News
💻Local LLMs
Patterns for Compounding the Value of LLM interactions
spin.atomicobject.com·6h·
Discuss: Hacker News
🔗Constraint Handling
Beyond Prediction -- Structuring Epistemic Integrity in Artificial Reasoning Systems
arxiv.org·1d
🧠Computational Logic
Contextualizing SUTRA: Advancements in Multilingual & Efficient LLMs
hackernoon.com·2h
💻Local LLMs
Programming, Not Prompting: A Hands-On Guide to DSPy
towardsdatascience.com·1d
🧮Z3 Solver