🎯 Dependent Parsing

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

DavidFest: A Pseudorandomness Workshop in Austin
cstheory-events.org·1d
🔢Bitwise Algorithms
A closer look at axe MCP Server
deque.com·17h
🔌Interface Evolution
Double Maths First Thing: Issue 31
aperiodical.com·1d
⚙️Proof Engineering
Workshop Announcement: Building embedded GUIs with Rust and Slint at Oxidize Conference 2025
oxidizeconf.com·1d
🦀Embedded Rust
"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
Show HN: Happy Coder – End-to-End Encrypted Mobile Client for Claude Code
github.com·11h·
Discuss: Hacker News
🚀Indie Hacking
Go Coding with Asparagos: Will Graph Cycles Spoil the Salsa Festival?
dev.to·15h·
Discuss: DEV
🧮Z3 Solver
Running Claude Code inside your dev containers
dev.to·7h·
Discuss: DEV
🦀Rust Borrowing
Author Correction: RNA codon expansion via programmable pseudouridine editing and decoding
nature.com·3d
🧬Palindrome Codes
🤖 I built a Chrome extension that makes my resume less embarrassing using AI (and it actually works?)
dev.to·13h·
Discuss: DEV
🚀Indie Hacking
Automated Sterility Assurance via Predictive Polymer Degradation Analytics in Cleanroom Glove Manufacturing
dev.to·3d·
Discuss: DEV
📄Document Digitization
Fusion-Based Brain Tumor Classification Using Deep Learning and Explainable AI, and Rule-Based Reasoning
arxiv.org·3d
🧠Machine Learning
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
Understanding the Core Concepts: From Data Mountains to Informative Peaks
dev.to·3d·
Discuss: DEV
📐Vector Dimensionality
The systems language from the '70s that almost beat C
news.ycombinator.com·1d·
Discuss: Hacker News
🏢IBM Mainframes
Accelerated UV Degradation Prediction via Multi-Modal Data Fusion & Bayesian Calibration
dev.to·1d·
Discuss: DEV
📜Document Physics