🎯 Dependent Parsing

Context-sensitive Grammars, Type-dependent Syntax, Proof-carrying Parsers, Verified Parsing

More From Casual
irreal.org·1d
🦀Rust Macros
Preserving the Sounds of World War II
blogs.loc.gov·1d
🎵Audio Archaeology
Deep research for healthcare revenue cycle
writing.kunle.app·16h·
Discuss: Hacker News
🔗Data Provenance
GitHub - stelcodes/multiterm-astro: A coder-ready Astro blog theme with 60 of
github.com·1d
🌀Brotli Internals
Apache Flink 2.1.0 Released
flink.apache.org·1d·
Discuss: Hacker News
🌊Streaming Databases
The Dartboard Sequence
mathpages.com·2d·
Discuss: Hacker News
🎞️Tape Combinatorics
Web Embeddable Common Lisp
ecl.common-lisp.dev·3d·
Discuss: Hacker News
⚙️PL Implementation
Medium review
techradar.com·17h
📡RSS Automation
Coding agents provide fast data visualization tools
mnky9800n.substack.com·1d·
Discuss: Substack
🏛Digital humanities
Documented my journey from monolith hell to event-driven bliss (with actual code, not just pretty diagrams)
medium.com·2d
🔌Interface Evolution
Self-Hosting AI Models After Claude's Usage Limits
steipete.me·1d·
Discuss: Hacker News
⚡Homebrew CPUs
LivinGrimoire VS Standalone LLM
dev.to·5h·
Discuss: DEV
🔄Archival Workflows
Boost Your Coding Game with ToolPix: Free AI-Powered Tools in 2025
dev.to·13h·
Discuss: DEV
🎬WebCodecs
When "Private" Isn’t: The Security Risks of GPT Chats Leaking to Search Engines
dev.to·3h·
Discuss: DEV
🏠Personal Archives
RubyLLM 1.4.0: Structured Output, Custom Parameters, and Rails Generators
github.com·2d·
Discuss: Hacker News
🌀Brotli Internals
Launch HN: Lucidic (YC W25) – Debug, test, and evaluate AI agents in production
news.ycombinator.com·2d·
Discuss: Hacker News
🔍Concolic Testing
Data-Driven Stochastic Control via Non-i.i.d. Trajectories: Foundations and Guarantees
arxiv.org·1d
✨Algebraic Effects
Improving Generative Ad Text on Facebook using Reinforcement Learning
arxiv.org·3d
⚡ZStandard
VibeTDD Experiment 3: When Human Takes the Lead
dev.to·1d·
Discuss: DEV
🔍Concolic Testing
RemoteReasoner: Towards Unifying Geospatial Reasoning Workflow
arxiv.org·5d
📰RSS Archaeology