🎯 Dependent Parsing

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

1KB JS Numbers Station
shkspr.mobi·1d·
Discuss: shkspr.mobi
📺VT100
Elixir background jobs: choosing the right tool for the job
honeybadger.io·15h
🌊Stream Processing
Emacs Send To
irreal.org·11m
🐧FOSS
How People Are Using AI In Dating and Relationships | PS Love
popsugar.com·9h
🎙️Whisper
Why Java Is Still Worth Learning in 2025: A Developer's 25-Year Journey
empatheticdeveloper.wordpress.com·8h·
Discuss: Hacker News
🌊Streaming Systems
Dennis Ritchie: The Man Who Gave Us C Language
karthikwritestech.com·22h·
Discuss: Hacker News, r/programming
🐚Shell Calculus
Do You Really Know How `or` And `and` Work in Python?
thepythoncodingstack.com·3d
🔗Lisp
Using Omni's AI Assistant on the Semantic Layer
mikkeldengsoe.substack.com·3d·
Discuss: Substack
🌀Brotli Internals
Swift and C++ Interoperability in Practice
arturgruchala.com·5h·
Discuss: Hacker News
✅Format Verification
Detecting code copying at scale with Vendetect
blog.trailofbits.com·4h·
Discuss: Hacker News
🚀Indie Hacking
Vibe coding complex changes in Rust
youtube.com·2d
🦀Rust Macros
Content and Community
stratechery.com·15h·
Discuss: Hacker News
📰RSS Archaeology
Nobody Knows How to Build with AI Yet
worksonmymachine.substack.com·1d·
Discuss: Substack
⚙️Build Archaeology
Input-leap/input-leap: Open-source KVM software (barrier fork)
github.com·1d·
Discuss: Hacker News
🔌Operating system internals
Python Fundamentals: class methods
dev.to·1d·
Discuss: DEV
🔬Refinement Types
Overview of the Sensemaking Task at the ELOQUENT 2025 Lab: LLMs as Teachers, Students and Evaluators
arxiv.org·4d
🌳Context free grammars
Decoupled PROB: Decoupled Query Initialization Tasks and Objectness-Class Learning for Open World Object Detection
arxiv.org·3d
📐Geometric Hashing
Automatic Classification and Segmentation of Tunnel Cracks Based on Deep Learning and Visual Explanations
arxiv.org·11h
🌀Riemannian Computing
Cross-lingual Few-shot Learning for Persian Sentiment Analysis with Incremental Adaptation
arxiv.org·4d
🎛️Feed Filtering
Amazon S3 Vectors: Insert & Query Embeddings with Indian Snacks (Titan + Bedrock Demo)
dev.to·10h·
Discuss: DEV
🔄Sync Engine