PEGTL -- Parsing Expression Grammar Template Library
github.com·23h·
Discuss: Hacker News
🔗Monadic Parsing
On Union-Closedness of Language Generation
arxiv.org·1d
🔗Monadic Parsing
BNFGen: A random text generator based on context-free grammars
baturin.org·5h·
Discuss: Hacker News
🌳Context free grammars
Why Your Next LLM Might Not Have A Tokenizer
towardsdatascience.com·1d
🤖Grammar Induction
Cactus Language • Syntax 12
inquiryintoinquiry.com·6h
📝Concrete Syntax
Song recommendations from F# combinators
blog.ploeh.dk·2d
🔗Functional Compilers
LFCS Seminar Tuesday 1st July: John Longley
informatics.ed.ac.uk·2d
💻Programming languages
LR(1) parse-tables generator
github.com·1d·
Discuss: Lobsters, Hacker News
🔍Z3 Parsing
🧠 Solving LeetCode Until I Become Top 1% — Day `30`
dev.to·15h·
Discuss: DEV
📐Error Bounds
Safe Pruning LoRA: Robust Distance-Guided Pruning for Safety Alignment in Adaptation of LLMs
arxiv.org·18h
💻Local LLMs
Why does the Rust compiler use TokenTree instead of flat token streams?
reddit.com·1d·
Discuss: r/rust
🔒Linear Types
Contextualizing SUTRA: Advancements in Multilingual & Efficient LLMs
hackernoon.com·6h
💻Local LLMs
Brent Yorgey: Competitive programming in Haskell: range queries, classified
byorgey.github.io·2d
λLambda Encodings
June 25, 2025 Flight Tracking Workshop (4 hour) [Americas / Europe-friendly time]
bellingcat.com·22h
🧮Prolog Parsing
The Nature of Lisp, Code Generation and Wieldable Programming Power
pankajpipada.com·12h·
Discuss: Hacker News, r/programming
🔗Lisp
The Bitter Lesson is coming for Tokenization
lucalp.dev·1d·
Discuss: Lobsters, Hacker News, r/programming
🔗Monadic Parsing
How I Built a Self-Correcting Prompt Generator with Multi-Stage LLM Calls"
dev.to·9h·
Discuss: DEV
🤖Lisp Machines
A Lisp adventure on the calm waters of the dead C (2021)
mihaiolteanu.me·2d·
Discuss: Lobsters, Hacker News, r/programming
🔗Lisp
LOGICPO: Efficient Translation of NL-based Logical Problems to FOL using LLMs and Preference Optimization
arxiv.org·1d
🔗Monadic Parsing
Memory Safety in Web Rust System Zero Cost Secure（1750885516953300）
dev.to·1h·
Discuss: DEV
🦀Rust Borrowing