higher: Your favourite Haskell type classes for Rust (2023)
github.com·21h·
Discuss: Lobsters, Hacker News
🦀Rust Macros
A Beginner’s Note on Natural Language Processing: Key Takeaways
dev.to·3h·
Discuss: DEV
📝Text Parsing
Coping with Complexity
slott56.github.io·1d
🔗Concatenative 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·14h·
Discuss: r/MachineLearning
🧠Learned Compression
WQ42: Grounding LLMs in Wikidata Facts via Tool Calling
thottingal.in·19h·
Discuss: Hacker News
🔗Constraint Handling
A very short book note
logicmatters.net·1d
⚔️Lean Theorem
Program Synthesis is Interesting and Open
stephendiehl.com·11h·
Discuss: Hacker News
💻Programming languages
DSA Fundamentals #1: A Practical Guide to Propositional Logic
beyondit.blog·2d
🧮Theorem Proving
Adding linear-time lookbehinds to RE2
systemf.epfl.ch·13h·
Discuss: Lobsters, Hacker News
🔍RegEx Engines
New Othello experiment supports the world model hypothesis for large language models
the-decoder.com·1h
🤖Paleographic AI
Mapping LLMs over excel saved my passion for game dev
danieltan.weblog.lol·19h·
Discuss: Hacker News
🗣️Domain-Specific Languages
Inference Economics of Language Models
epoch.ai·21h·
Discuss: Hacker News
💻Local LLMs
Structured Output for Beginners and 3 Prompting Tips
pocketflow.substack.com·2d·
Discuss: Substack
🌳Incremental Parsing
2025 Alonzo Church Award: Paul Blain Levy for Call-by-Push-Value (CBPV)
siglog.org·1d·
Discuss: Hacker News
💻Programming languages
Monorepo with Bun
dev.to·2h·
Discuss: DEV
🐚Bash Monads
Revisiting Compositional Generalization Capability of Large Language Models Considering Instruction Following Ability
arxiv.org·3d
🔗Functional Compilers
Python Fundamentals: any
dev.to·13h·
Discuss: DEV
💧Liquid Types
Can All Knowledge Be Mined? A Formal Framework for φ^∞ Consequence Closure
researchgate.net·2d·
Discuss: Hacker News
🔢Denotational Semantics
Discover C++26’s compile-time reflection
lemire.me·10h·
Discuss: Hacker News
🦀Rust Macros
Language Workbenches: The Killer-App for Domain Specific Languages? (2005)
martinfowler.com·19h·
Discuss: Hacker News
🗣️Domain-Specific Languages