🎯 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·15h
🔌Interface Evolution
Duke University Cancer Research Fraud Raises Concerns as MIT Welcomes President
wordpress-1455827-5472931.cloudwaysapps.com·17h·
Discuss: Hacker News
🦠Malware Analysis
In Order Traversal in Haskell and Rust
mmhaskell.com·3d·
Discuss: Hacker News
🦀Rust Verification
Celebrating the Success of the Tyap Wiki Audio Walk 2025 – Preserving Tyap Language on Wikimedia Commons!
diff.wikimedia.org·1d
🎼Audio Paleography
DeBackdoor: A Deductive Framework for Detecting Backdoor Attacks on Deep Models with Limited Data
usenix.org·1d
🔍Vector Forensics
Show HN: Happy Coder – End-to-End Encrypted Mobile Client for Claude Code
github.com·9h·
Discuss: Hacker News
🚀Indie Hacking
Running Claude Code inside your dev containers
dev.to·5h·
Discuss: DEV
🦀Rust Borrowing
Author Correction: RNA codon expansion via programmable pseudouridine editing and decoding
nature.com·3d
🧬Palindrome Codes
Practical Guidelines for Ideology Detection Pipelines and Psychosocial Applications
arxiv.org·3d
📰Content Curation
Automated Validation Pipeline for High-Dimensional Scientific Data Analysis
dev.to·2d·
Discuss: DEV
🔍FLAC Forensics
AI Apps with memory or without
dev.to·1d·
Discuss: DEV
🎙️Whisper
AI Coding Assistants Made Me a Lazy Developer… And That’s Okay
dev.to·1d·
Discuss: DEV
📏Code Metrics
5 Ways AI is Changing the Future of Web Development in 2025
dev.to·15h·
Discuss: DEV
⚡Proof Automation
🤖 I built a Chrome extension that makes my resume less embarrassing using AI (and it actually works?)
dev.to·11h·
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
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