🎯 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·23h
🔌Interface Evolution
[$] Simpler management of the huge zero folio
lwn.net·22h
🔩Systems Programming
Duke University Cancer Research Fraud Raises Concerns as MIT Welcomes President
wordpress-1455827-5472931.cloudwaysapps.com·1d·
Discuss: Hacker News
🦠Malware Analysis
Go 1.25 Released with Experimental Garbage Collector and New JSON API
linuxiac.com·14h
🕸️WASM Archives
DuckDB in 100 Seconds
youtube.com·18h
🧮Datalog
Celebrating the Success of the Tyap Wiki Audio Walk 2025 – Preserving Tyap Language on Wikimedia Commons!
diff.wikimedia.org·2d
🎼Audio Paleography
DeBackdoor: A Deductive Framework for Detecting Backdoor Attacks on Deep Models with Limited Data
usenix.org·2d
🔍Vector Forensics
SliceBeam: Orca and Prusa Slicer on Android
github.com·22h·
Discuss: Hacker News
⛏️File Carving
Tactile Texture Mapping for Collaborative AR Architectural Design: A Force-Feedback Framework
dev.to·22h·
Discuss: DEV
✋Tactile Computing
🚀AI + Crypto: The Collision That Could Redefine the Internet
dev.to·2h·
Discuss: DEV
🔗Hash Chains
Scientists reengineer enzyme to study diseases via sugar patterns on the surface of cells
phys.org·20h
📄Document Digitization
Automated Sterility Assurance via Predictive Polymer Degradation Analytics in Cleanroom Glove Manufacturing
dev.to·3d·
Discuss: DEV
📄Document Digitization
SAGOnline: Segment Any Gaussians Online
arxiv.org·3d
🌀Differential Geometry
Fusion-Based Brain Tumor Classification Using Deep Learning and Explainable AI, and Rule-Based Reasoning
arxiv.org·3d
🧠Machine Learning
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·2d·
Discuss: Hacker News
🏢IBM Mainframes
Noise-adapted Neural Operator for Robust Non-Line-of-Sight Imaging
arxiv.org·1d
🧠Machine Learning