🎯 Dependent Parsing

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

Double Maths First Thing: Issue 31
aperiodical.com·2d
⚙️Proof Engineering
Scientists May Soon Find a Missing Piece That Could Fracture String Theory
popularmechanics.com·1d
🧮Theoretical Computer Science
"I've got a solution: wolves"
robmanuelfuckyeah.substack.com·2d·
Discuss: Substack
🖋Typography
In Order Traversal in Haskell and Rust
mmhaskell.com·3d·
Discuss: Hacker News
🦀Rust Verification
Photoshop's New AI Tool: Upscaling Old Photos with Ease
dev.to·7h·
Discuss: DEV
🖼️JPEG XL
Show HN: Happy Coder – End-to-End Encrypted Mobile Client for Claude Code
github.com·13h·
Discuss: Hacker News
🚀Indie Hacking
🐍 15 Python Questions That Could Make or Break Your Next Interview
dev.to·1d·
Discuss: DEV
🧮Kolmogorov Complexity
Three big lessons from the GPT-5 backlash
platformer.news·3d·
Discuss: Hacker News
🖥️Terminal Renaissance
Running Claude Code inside your dev containers
dev.to·9h·
Discuss: DEV
🦀Rust Borrowing
Author Correction: RNA codon expansion via programmable pseudouridine editing and decoding
nature.com·3d
🧬Palindrome Codes
SAGOnline: Segment Any Gaussians Online
arxiv.org·3d
🌀Differential Geometry
Milvus: The Vector Database That Will Change Your AI Development Game
dev.to·2d·
Discuss: DEV
🚀SIMD Parsing
Fast and Generalizable parameter-embedded Neural Operators for Lithium-Ion Battery Simulation
arxiv.org·3d
🧠Neural Codecs
MonoPartNeRF:Human Reconstruction from Monocular Video via Part-Based Neural Radiance Fields
arxiv.org·2d
📐Projective Geometry
Accelerated UV Degradation Prediction via Multi-Modal Data Fusion & Bayesian Calibration
dev.to·2d·
Discuss: DEV
📜Document Physics
The systems language from the '70s that almost beat C
news.ycombinator.com·2d·
Discuss: Hacker News
🏢IBM Mainframes
Perceptual Reality Transformer: Neural Architectures for Simulating Neurological Perception Conditions
arxiv.org·1d
📊Learned Metrics
Noise-adapted Neural Operator for Robust Non-Line-of-Sight Imaging
arxiv.org·1d
🧠Machine Learning
Real-Time eBPF Intrusion Detection via Dynamic Kernel Graph Pruning & Anomaly Scoring
dev.to·1d·
Discuss: DEV
🔍eBPF
When Software Becomes the Architect: The Age of Self-Improving Code
dev.to·12h·
Discuss: DEV
🔄Language Evolution