🎯 Dependent Parsing

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

Substack for Best Posts
jefftk.com·1d
🔗Online Curation
Introducing Omiword, the new word game from the makers of Damn Interesting
damninteresting.com·1d
🖋Typography
5 ways ChatGPT Agent can change the way you use AI
techradar.com·19h
🎙️Whisper
Geany 2.1 is out (now with LSP)
geany.org·1d·
Discuss: Hacker News
🔄Language Evolution
Fast(er)API: Optimizing Processing Time
fabridamicelli.github.io·20h·
Discuss: Hacker News
✅Format Verification
Exploring the context of online images with Backstory
deepmind.google·1d·
Discuss: Hacker News
📰Content Curation
Categorizing Book Notes with AI
mieubrisse.substack.com·2d·
Discuss: Substack
🌀Brotli Internals
Homework Help via Photo Analysis AI
dev.to·1d·
Discuss: DEV
🤖AI Paleography
Figgie Auto: An algorithmic sandbox for Jane Street's game, "Figgie"
github.com·9h·
Discuss: Hacker News
🔲Cellular Automata
Whys and Hows of Apply Family of Functions in R
dev.to·3h·
Discuss: DEV
📐Linear Algebra
Graph Attention Specialized Expert Fusion Model for Node Classification: Based on Cora and Pubmed Datasets
arxiv.org·18h
🕸️Graph Embeddings
Myth vs. Reality: Real-World Runtime Performance of Node.js, Deno, and Bun
hackernoon.com·1d
🌐Web Standards
The AI tool no one talks about is secretly winning
dev.to·1h·
Discuss: DEV
📏Code Metrics
Build an AI Agent for Lead Qualification with GPT‑5
dev.to·5h·
Discuss: DEV
⚡Proof Automation
🚀 The Complete Guide to Prompt Engineering: From Zero-Shot to AI Agents
dev.to·2d·
Discuss: DEV
⚡Proof Automation
Benchmarking of EEG Analysis Techniques for Parkinson's Disease Diagnosis: A Comparison between Traditional ML Methods and Foundation DL Methods
arxiv.org·1d
🧠Machine Learning
How to Build a Resilient AI-Powered Research Agent with LangChain, Gemini, and DuckDuckGo
dev.to·1d·
Discuss: DEV
🌀Brotli Internals
FOCUS: Fused Observation of Channels for Unveiling Spectra
arxiv.org·18h
🧠Machine Learning
The Invisible Leash: Why RLVR May Not Escape Its Origin
arxiv.org·18h
✨Effect Handlers
DeSamba: Decoupled Spectral Adaptive Framework for 3D Multi-Sequence MRI Lesion Classification
arxiv.org·18h
📊Learned Metrics