Cactus Language • Syntax 10
inquiryintoinquiry.com·5h
📝Concrete Syntax
Named Entity Recognition using Bidirectional LSTM and Conditional Random Fields
dev.to·8h·
Discuss: DEV
🤖Grammar Induction
I Sing the Electric Body – On Syntax (2024)
hedgehogreview.com·24m·
Discuss: Hacker News
🔗Concatenative Programming
The Product Topology, or, How Not to Stumble into the Box Topology
relatedwork.blogspot.com·41m·
Discuss: relatedwork.blogspot.com
🏗️Constructive Mathematics
Rewriting the Ruby Parser
railsatscale.com·1d·
Discuss: Hacker News
🔗Monadic Parsing
Week 25 – 2025
thisweekin4n6.com·9h
🌐WARC Forensics
Coping with Complexity
slott56.github.io·1d
🔗Concatenative Programming
Are you okay Gemini?
markjgsmith.com·2h
✅Format Verification
Useful LLM Agent Tools
tersesystems.com·18h
🌀Brotli Internals
I wrote my PhD Thesis in Typst
fransskarman.com·27m·
Discuss: Lobsters, Hacker News
📝Concrete Syntax
New Othello experiment supports the world model hypothesis for large language models
the-decoder.com·11h
🤖Paleographic AI
Adding linear-time lookbehinds to RE2
systemf.epfl.ch·23h·
Discuss: Lobsters, Hacker News, r/programming
🔍RegEx Engines
Counting with Categories (Part 1)
golem.ph.utexas.edu·6h
λLambda Formalization
A Macro Story
courses.cs.northwestern.edu·2h·
Discuss: Lobsters, Hacker News
🧠Lisp Dialects
Experiment proposal: In-place initialization
github.com·6h
🦀Rust Macros
Inference Economics of Language Models
epoch.ai·1d·
Discuss: Hacker News
💻Local LLMs
Show HN: I built a focus-driven task manager and pom timer that sorts by urgency
fluxtimer.com·7h·
Discuss: Hacker News
🔩Systems Programming
[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·1d·
Discuss: r/MachineLearning
🧠Learned Compression
My (mostly) minimalistic AI setup as a Senior Engineer in Big Tech
read.highgrowthengineer.com·6h·
Discuss: r/programming
⚡Proof Automation
Chaining Event Spans for Temporal Relation Grounding
arxiv.org·4d
🔗Monadic Parsing