🎯 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·8h
📡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
Show HN: Easy, Automatic HTTPS for Node.js
magicserver.arsh.sh·14h·
Discuss: Hacker News
🌐NetworkProtocols
Vexing Exceptions
ericlippert.com·2d·
Discuss: Hacker News
🧪Binary Fuzzing
Self Hosting Nightscout on Raspberry Pi
broderic.blog·14h·
Discuss: Hacker News
🔌Single Board PC
Keyboard Holders, Generation 1
cceckman.com·2d·
Discuss: Hacker News
⌨️Mechanical Keyboards
When dirt meets data: ScottsMiracle-Gro saved $150M using AI
venturebeat.com·20h·
Discuss: Hacker News
🤖AI Curation
Dealing with Eventual Consistency and Idempotency in projections
event-driven.io·1d·
Discuss: r/programming
🌊Stream Processing
Sandy Maguire: Theorems for Free Redux
reasonablypolymorphic.com·2d·
Discuss: Hacker News
λLambda Encodings
Replacing the Type Checker for the Swift Compiler
forums.swift.org·3d·
Discuss: Hacker News
💧Liquid Types
The Trillion Dollar AI Software Development Stack
a16z.com·1d·
Discuss: Hacker News
⚡Proof Automation
Combobulate: Structured Editing and Navigation in Emacs with Tree-sitter
github.com·2d·
Discuss: Hacker News
✨Effect Handlers
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·14h·
Discuss: DEV
🌀Differential Geometry
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
GPT-5-Codex is a better AI researcher than me
seangoedecke.com·5d
🧠Intelligence Compression
Pathology-CoT: Learning Visual Chain-of-Thought Agent from Expert Whole Slide Image Diagnosis Behavior
arxiv.org·5d
🤖Advanced OCR