🎯 Dependent Parsing

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

Tommy Fleetwood confident leading from front at halfway point in Memphis
the-independent.com·5h
🛣️BGP Hijacking
Avoid Python SAST scanners based on AI
nocomplexity.com·2d·
Discuss: Hacker News
🧪Protocol Fuzzing
hardmode-triangle-0
glfmn.io·2d·
Discuss: Lobsters, Hacker News
🖥️Terminal Emulators
I found a tool that can help me generate reviews. It's quite convenient
reviewgenerator.org·2d·
Discuss: Hacker News
🎯Recommendation Metrics
The Next Step for AI – Full Personal Interaction Capture
blog.automaton2000.com·1d·
Discuss: Hacker News
🤖AI Curation
Why Instagram users think a new map feature is sharing their location, even though it isn't.
businessinsider.com·21h
📰RSS Archaeology
Free and Ultra-Fast Coding Agent
marketplace.visualstudio.com·21h·
Discuss: Hacker News
🚀Indie Hacking
AI is fast-tracking climate research
ourmidland.com·2d·
Discuss: Hacker News
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
I built an AI health scanner for dogs would love your feedback
news.ycombinator.com·1d·
Discuss: Hacker News
🎮Switch Archaeology
Moldable Development at Lifeware (micro tools for a 35M LOC system)
lepiter.io·3d·
Discuss: Hacker News
🔄Language Evolution
Elon Musk's AI accused of making explicit AI Taylor Swift videos
bbc.com·19h
👂Audio Evidence
Machine learning model helps scientists understand deadly cone snail toxins
phys.org·4d
🧠Machine Learning
OpenAI’s GPT-5 Is Here
wired.com·2d·
Discuss: r/technews
🎙️Whisper
The Silicon Reasonable Person: Can AI Predict How Ordinary People Judge Reasonableness?
arxiv.org·3d
🔲Cellular Automata
Multi-Granularity Feature Calibration via VFM for Domain Generalized Semantic Segmentation
arxiv.org·3d
📊Learned Metrics
The Doom of YC?
news.ycombinator.com·1d·
Discuss: Hacker News
🌀Brotli Internals
FedGIN: Federated Learning with Dynamic Global Intensity Non-linear Augmentation for Organ Segmentation using Multi-modal Images
arxiv.org·1d
🌀Riemannian Computing
Radar-Based NLoS Pedestrian Localization for Darting-Out Scenarios Near Parked Vehicles with Camera-Assisted Point Cloud Interpretation
arxiv.org·2d
📊Computational Geometry
How I Built a GPT-OSS 120B-Parameter Coding Beast That Reviews, Fixes, and Writes Code Like Magic
dev.to·2d·
Discuss: DEV
🖥️Terminal Renaissance
ERDES: A Benchmark Video Dataset for Retinal Detachment and Macular Status Classification in Ocular Ultrasound
arxiv.org·1d
🌀Riemannian Computing