Cactus Language • Syntax 10
inquiryintoinquiry.com·5h
📝Concrete Syntax
A Beginner’s Note on Natural Language Processing: Key Takeaways
dev.to·12h·
Discuss: DEV
📝Text Parsing
Rewriting the Ruby Parser
railsatscale.com·1d·
Discuss: Hacker News
🔗Monadic Parsing
Counting with Categories (Part 1)
golem.ph.utexas.edu·6h
λLambda Formalization
WQ42: Grounding LLMs in Wikidata Facts via Tool Calling
thottingal.in·1d·
Discuss: Hacker News
🔗Constraint Handling
Coping with Complexity
slott56.github.io·1d
🔗Concatenative Programming
Adding linear-time lookbehinds to RE2
systemf.epfl.ch·22h·
Discuss: Lobsters, Hacker News, r/programming
🔍RegEx Engines
[D] RL/GRPO for lossless compression of text passages into 'least token representation', then using this emergent 'language' as the basis for reasoning instead ...
reddit.com·23h·
Discuss: r/MachineLearning
🧠Learned Compression
Language Workbenches: The Killer-App for Domain Specific Languages? (2005)
martinfowler.com·1d·
Discuss: Hacker News
🗣️Domain-Specific Languages
🧠 Solving LeetCode Until I Become Top 1% — Day `27`
dev.to·9h·
Discuss: DEV
⚔️Lean Tactics
A very short book note
logicmatters.net·2d
⚔️Lean Theorem
Structured Output with LangChain and Llamafile
blog.brakmic.com·4h·
Discuss: Hacker News
💧Liquid Types
2025 Alonzo Church Award: Paul Blain Levy for Call-by-Push-Value (CBPV)
siglog.org·1d·
Discuss: Hacker News
💻Programming languages
Useful LLM Agent Tools
tersesystems.com·18h
🌀Brotli Internals
Named Entity Recognition using Bidirectional LSTM and Conditional Random Fields
dev.to·8h·
Discuss: DEV
🤖Grammar Induction
Magnus Therning: Finding a type for Redis commands
magnus.therning.org·1d
🌐Protocol Synthesis
DSA Fundamentals #1: A Practical Guide to Propositional Logic
beyondit.blog·2d
🧮Theorem Proving
Show HN: AI Distiller (aid) reduces hallucinations during vibe coding
github.com·4h·
Discuss: Hacker News
✨Effect Handlers
Python Fundamentals: argparse
dev.to·21h·
Discuss: DEV
🌳Incremental Parsing
Implementing Ray Tracing In One Weekend in F#
heftymouse.me·7h·
Discuss: Hacker News
🔗Functional Compilers