Feeds to Scour
SubscribedAll
Think-While-Generating: On-the-Fly Reasoning for Personalized Long-Form Generation
arxiv.org·15h
🔨Compilers
Preview
Report Post
SGML Syntax Reference
sgmljs.sgml.net·11h·
Discuss: Hacker News
📋Document Grammar
Preview
Report Post
ES2026 Solves JavaScript Headaches With Dates, Math and Modules
thenewstack.io·6h
🌳Incremental Parsing
Preview
Report Post
The Equational Theories Project: Advancing Collaborative Mathematical Research at Scale
terrytao.wordpress.com·3h
🧮Theorem Proving
Preview
Report Post
The Easiest Way to Build a Type Checker
jimmyhmiller.github.io·1d
✅Format Verification
Preview
Report Post
RNA language models can generalize well on structure prediction tasks
nature.com·20h·
Discuss: Hacker News
🤖Grammar Induction
Preview
Report Post
Self-Supervised Temporal Pattern Mining for heritage language revitalization programs under multi-jurisdictional compliance
dev.to·23h·
Discuss: DEV
🤖Grammar Induction
Preview
Report Post
What’s up Python ? Rust in CPython, immutable dicts, unpacking in comprehensions...
bitecode.dev·1d
🦀Rust Macros
Preview
Report Post
Show HN: Voynich GIS – An interactive parser for the 15th-century manuscript
yaucheukfai.github.io·6h·
Discuss: Hacker News
📖Manuscript Grammars
Preview
Report Post
Advent of Code 2025 in Lean 4 – Day 8
hamberg.no·1d
🦀Rust Macros
Preview
Report Post
Fighting the Client Spaghetti Monster with Rust Traits
gnunicorn.org·5h·
Discuss: Hacker News
🦀Rust Borrowing
Preview
Report Post
Adding Unpack Syntax to RCL
ruudvanasseldonk.com·1d·
Discuss: Hacker News
🔧Binary Parsers
Preview
Report Post
Schemas, Channels & Messages in MCAP
mmhaskell.com·1d
🔗Monadic Parsing
Preview
Report Post
Relish: A new serialization format
alexgaynor.net·20h
🔒Linear Types
Preview
Report Post
Show HN: AutEng Docs – Generate and Share Markdown and Mermaid and Katex
auteng.ai·4h·
Discuss: Hacker News
📐Proof Assistants
Preview
Report Post
RP2350 Done Framework Style
hackaday.com·14h
🔧KAITAI
Preview
Report Post
Use AI to Stand in for a Domain Expert
kerrick.blog·7h·
Discuss: Hacker News
🤖Grammar Induction
Preview
Report Post
An Attempt at a Compelling Articulation of Forth's Practical Strengths and Eter
im-just-lee.ing·1d·
Discuss: Hacker News
🔗Concatenative Programming
Preview
Report Post
Crafting Interpreters in Rust: Parsing Unary Negation
blog.differentpla.net·2d
🦀Rust Macros
Preview
Report Post
Training a Tokenizer for Llama Model
machinelearningmastery.com·4d
📋Document Grammar
Preview
Report Post