🎯 Dependent Parsing

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

Read more: Thousands join pro-Palestinian protest in Bern amid clashes with police
swissinfo.ch·1d
🎯Proof Tactics
MultiPar 1.3.3.5 Beta / 1.3.2.9
scour.ing·2d
🏺ZIP Archaeology
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
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
Sandy Maguire: Theorems for Free Redux
reasonablypolymorphic.com·3d·
Discuss: Hacker News
λLambda Encodings
Not Another GPT Wrapper
genorimo.com·8h·
Discuss: Hacker News
🌀Brotli Internals
I used ChatGPT to plan a vacation, while my partner used Claude. We pitted the itineraries against each other to surprising results.
businessinsider.com·2h
🌍Cultural Algorithms
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
Toronto-Dominion Bank Is Still A Buy But Recent Overbuying Warrants Some Caution
seekingalpha.com·56m
⚡HTMX
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
GRACE: Generative Representation Learning via Contrastive Policy Optimization
arxiv.org·5d
📊HyperLogLog
AgentAsk: Multi-Agent Systems Need to Ask
arxiv.org·2d
🧮Kolmogorov Complexity
LLMs as Policy-Agnostic Teammates: A Case Study in Human Proxy Design for Heterogeneous Agent Teams
arxiv.org·4d
🔲Cellular Automata