🎯 Dependent Parsing

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

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·21h·
Discuss: Hacker News
🌐Web Archives
Vexing Exceptions
ericlippert.com·2d·
Discuss: Hacker News
🧪Binary Fuzzing
Keyboard Holders, Generation 1
cceckman.com·2d·
Discuss: Hacker News
⌨️Mechanical Keyboards
Dealing with Eventual Consistency and Idempotency in projections
event-driven.io·1d·
Discuss: r/programming
🌊Stream Processing
Not Another GPT Wrapper
genorimo.com·6h·
Discuss: Hacker News
🌀Brotli Internals
GPT-5 for AI-assisted discovery
johndcook.com·1d·
Discuss: Hacker News
🎯Performance Proofs
Replacing the Type Checker for the Swift Compiler
forums.swift.org·3d·
Discuss: Hacker News
💧Liquid Types
I used ChatGPT to plan a vacation, while my partner used Claude. We pitted the itineraries against each other to surprising results.
businessinsider.com·15m
🌍Cultural Algorithms
The Trillion Dollar AI Software Development Stack
a16z.com·1d·
Discuss: Hacker News
⚡Proof Automation
More Than Code: Gearing Up for the Hackathon of the Year!🚀
dev.to·16h·
Discuss: DEV
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
When dirt meets data: ScottsMiracle-Gro saved $150M using AI
venturebeat.com·23h·
Discuss: Hacker News
🤖AI Curation
Building a Universal Webhook Adapter in Go: Introducing WHOOK
dev.to·1d·
Discuss: DEV
🌐WASI
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
GRACE: Generative Representation Learning via Contrastive Policy Optimization
arxiv.org·5d
📊HyperLogLog
Pathology-CoT: Learning Visual Chain-of-Thought Agent from Expert Whole Slide Image Diagnosis Behavior
arxiv.org·5d
🤖Advanced OCR