🎯 Dependent Parsing

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

Looking at the cross (communion talk)
jasononeil.au·16h
⛪Church Encoding
Book Review: ‘Algospeak’ shows just how much social media is changing us
mercurynews.com·7h
🏛Digital humanities
What's Missing in the Debate on Online Freedom of Expression in US, Brazil
techpolicy.press·1h·
Discuss: Hacker News
📰Content Curation
We Do Not Break Userspace
lore.kernel.org·19h·
Discuss: Hacker News
🐧FOSS
Show HN: 1.5B LLM routing model that aligns to preferences, not leaderboards
huggingface.co·2d·
Discuss: Hacker News, Hacker News
📝ABNF Parsing
A.I. in higher education: These students are avoiding it.
slate.com·14h
🏛Digital humanities
I Got into Deep Learning
vikas.sh·3d·
Discuss: Hacker News
🧠Machine Learning
GoXStream: My Go Stream Processing Side Project
reddit.com·9h·
Discuss: r/golang
🌊Streaming Systems
[P] XPINN Toolkit
reddit.com·2d·
Discuss: r/MachineLearning
📻Homebrew Protocols
[R][D] Interpretability as a Side Effect? Are Activation Functions Biasing Your Models?
reddit.com·3d·
Discuss: r/MachineLearning
📊Learned Metrics
The Real Problem with AI Agents (and How We Built the Fix)
dev.to·11h·
Discuss: DEV
⚡Proof Automation
NarrLV: Towards a Comprehensive Narrative-Centric Evaluation for Long Video Generation Models
arxiv.org·3d
📊Rate-Distortion Theory
I built CodeMocker: AI-powered mock coding interviews
dev.to·1d·
Discuss: DEV
🎙️Whisper
REST: Stress Testing Large Reasoning Models by Asking Multiple Problems at Once
arxiv.org·4d
🧮SMT Solvers
From Novelty to Imitation: Self-Distilled Rewards for Offline Reinforcement Learning
arxiv.org·1d
📊Learned Metrics
China proves that open models are more effective than all the GPUs in the world
theregister.com·8h·
Discuss: Hacker News
🇨🇳Chinese Computing
NOCTA: Non-Greedy Objective Cost-Tradeoff Acquisition for Longitudinal Data
arxiv.org·2d
⧗Information Bottleneck
Heterogeneous Dynamic Logic: Provability Modulo Program Theories
arxiv.org·5d
🧠Computational Logic
How I Built an Automated GitHub Security Bot in a Weekend
dev.to·1d·
Discuss: DEV
⚡Proof Automation
Machine Learning Fundamentals: dropout tutorial
dev.to·1d·
Discuss: DEV
👁️Observatory Systems