🎯 Dependent Parsing

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

Trump news at a glance: US troops will be paid despite shutdown, president claims
theguardian.com·6h
📡RSS
Physics-informed AI excels at large-scale discovery of new materials
phys.org·1d
🧠Machine Learning
Toy Binary Decision Diagrams
philipzucker.com·6d
🧮Algebraic Datatypes
Does anyone remember websites?
tttthis.com·16h·
Discuss: Hacker News
🌐Web Archives
Show HN: Easy, Automatic HTTPS for Node.js
magicserver.arsh.sh·12h·
Discuss: Hacker News
🌐NetworkProtocols
Vexing Exceptions
ericlippert.com·2d·
Discuss: Hacker News
🧪Binary Fuzzing
Self Hosting Nightscout on Raspberry Pi
broderic.blog·12h·
Discuss: Hacker News
🔌Single Board PC
Better vector search with graphs and spectral indexing
tuned.org.uk·12h·
Discuss: Hacker News
🗂️Vector Databases
Keyboard Holders, Generation 1
cceckman.com·2d·
Discuss: Hacker News
⌨️Mechanical Keyboards
When dirt meets data: ScottsMiracle-Gro saved $150M using AI
venturebeat.com·18h·
Discuss: Hacker News
🤖AI Curation
Sandy Maguire: Theorems for Free Redux
reasonablypolymorphic.com·2d·
Discuss: Hacker News
λLambda Encodings
Not Another GPT Wrapper
genorimo.com·1h·
Discuss: Hacker News
🌀Brotli Internals
The Trillion Dollar AI Software Development Stack
a16z.com·1d·
Discuss: Hacker News
⚡Proof Automation
Building a Universal Webhook Adapter in Go: Introducing WHOOK
dev.to·1d·
Discuss: DEV
🌐WASI
Automated Surface Tension Profiling via Static Contact Angle Analysis & Bayesian Inference
dev.to·12h·
Discuss: DEV
🌀Differential Geometry
Decoding Cultures: Why Your Video AI Isn't Truly Seeing the World by Arvind Sundararajan
dev.to·1d·
Discuss: DEV
🌍Cultural Algorithms
Extreme Amodal Face Detection
arxiv.org·3d
🌀Differential Geometry
ResAD: Normalized Residual Trajectory Modeling for End-to-End Autonomous Driving
arxiv.org·2d
🌀Riemannian Computing
Python 3.14 Released with Template String Literals, Deferred Annotations, and
socket.dev·4d·
Discuss: Hacker News
💧Liquid Types
Pathology-CoT: Learning Visual Chain-of-Thought Agent from Expert Whole Slide Image Diagnosis Behavior
arxiv.org·5d
🤖Advanced OCR