🎯 Dependent Parsing

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

Iranian brickwork, arbitrated pillows, smothered comics, and aerogel desalination
doctorow.medium.com·10h
🌳Archive Merkle Trees
Content Moderation on Mastodon Isn't the Train Wreck Some on Twitter Say It Is
fossforce.com·7h·
Discuss: Hacker News
🗜️Zstandardized Archives
Want Discriminated Unions in Kotlin? Use a Sealed Class.
spin.atomicobject.com·3d·
Discuss: Hacker News
💧Liquid Types
Keep Pydantic out of your Domain Layer
coderik.nl·3d·
Discuss: Hacker News
🔬Refinement Types
Robots That Learn to Fear Like Humans Survive Better
spectrum.ieee.org·15h·
Discuss: Hacker News
🎯Threat Hunting
Remnants: Chapter 4 - Left Behind
hackernoon.com·1d
🛡Cybersecurity
DeLLMa: Decision Making Under Uncertainty with Large Language Models
dellma.github.io·3d·
Discuss: Hacker News
🔗Constraint Handling
Why MIT Switched from Scheme to Python (2009)
wisdomandwonder.com·1d·
Discuss: Hacker News, r/programming
🤖Lisp Machines
Show HN: YouTubeTLDR – A lightweight, self-hosted YouTube summarizer in Rust
github.com·2d·
Discuss: Hacker News
🦀Rust Borrowing
Things I Wish I Had Known Before Starting ML
towardsdatascience.com·4d
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Controlled Unease with AI Coding
denismaciel.com·1d·
Discuss: Hacker News
⚡Proof Automation
Convert Text to SQL With dbForge AI Assistant
dev.to·2d·
Discuss: DEV
💾SQLite
Efficient Story Point Estimation With Comparative Learning
arxiv.org·5d
📊Learned Metrics
The Hidden Risk in ERP Automation: How One Bad Sentence Can Cost Your Company Millions
hackernoon.com·3d
⚡Proof Automation
DevLog 20250726: C# is the way, Python gets things done, JavaScript is convenient
dev.to·15h·
Discuss: DEV
🚀Indie Hacking
ViGText: Deepfake Image Detection with Vision-Language Model Explanations and Graph Neural Networks
arxiv.org·2d
🤖Advanced OCR
Enhancing Natural Language Inference Performance with Knowledge Graph for COVID-19 Automated Fact-Checking in Indonesian Language
arxiv.org·5d
⚡Proof Automation
Demystifying Graph RAG: Transformative Approaches to Agent-Centric Systems
dev.to·2d·
Discuss: DEV
📊Graph Databases
Comparison of Optimised Geometric Deep Learning Architectures, over Varying Toxicological Assay Data Environments
arxiv.org·2d
🧠Machine Learning
Experience is the Best Teacher: Grounding VLMs for Robotics through Self-Generated Memory
arxiv.org·4d
📼Tape Combinators