🎯 Dependent Parsing

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

My first server ...... one step closer to a Homelab 😋🙂‍↕️
reddit.com·1d·
Discuss: r/homelab
🏠Homelab Archaeology
InstructVLA: Vision-Language-Action Instruction Tuning
yangs03.github.io·4d·
Discuss: Hacker News
✨Effect Handlers
I hacked my washing machine
nexy.blog·1d·
Discuss: Lobsters, Hacker News
🏠Home Automation
Playing with more user-friendly methods for multi-factor authentication
tesseral.com·19h·
Discuss: Hacker News
🔐PKI Archaeology
Uncertain⟨T⟩
nshipster.com·4d·
Discuss: Hacker News
🧪CBOR Fuzzing
[D] Shifting Research Directions: Which Deep Learning Domains Will Be Most Impactful in the Next 5–6 Years?
reddit.com·1d·
Discuss: r/MachineLearning
🧠Machine Learning
Show HN: Give Claude a secure coding env to automate work in your apps
github.com·3h·
Discuss: Hacker News
🔄Sync Engine
The VibeTDD Experiment: A Roadmap for Combining AI and Test-Driven Development
dev.to·9h·
Discuss: DEV
⚡Proof Automation
How I Connected Claude to Maven Central (And Why You Should Too)
dev.to·2d·
Discuss: DEV
🔗Topological Sorting
Towards reliable use of artificial intelligence to classify otitis media using otoscopic images: Addressing bias and improving data quality
arxiv.org·1d
👂Psychoacoustic Coding
[P] I tried implementing the CRISP paper from Google Deepmind in Python
reddit.com·2d·
Discuss: r/MachineLearning
🗂️Vector Databases
Extreme value theory for singular subspace estimation in the matrix denoising model
arxiv.org·13h
📐Linear Algebra
Show HN: I built a Privacy First local AI RAG GUI for your own documents
github.com·2d·
Discuss: Hacker News, r/LocalLLaMA
🤖Archive Automation
HairCUP: Hair Compositional Universal Prior for 3D Gaussian Avatars
arxiv.org·1d
🏺Computational Archaeology
Why I Like Go
dev.to·16h·
Discuss: DEV
🔗Concatenative Programming
🚀 Just discovered this 30-second productivity hack:
dev.to·7h·
Discuss: DEV
💽Floppy disks
AlphaGo Moment for Model Architecture Discovery
arxiviq.substack.com·6h·
Discuss: Substack
🧠Intelligence Compression
Make a Game Using AI
dev.to·10h·
Discuss: DEV
⚡Proof Automation
Show HN: Tinycoder is a tiny provider-agnostic alt. to Codex/Code/Gemini CLI
github.com·2d·
Discuss: Hacker News
🎙️Whisper
ChatGPT Agent Tool
dev.to·2d·
Discuss: DEV
⚡Proof Automation