🎯 Dependent Parsing

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

Replacing WriteFreely with eleventy
underlap.org·1d
📰RSS Archaeology
How to help someone use a computer
pages.gseis.ucla.edu·13h·
Discuss: Lobsters
🔌Operating system internals
Mun Programming Language
mun-lang.org·1d·
Discuss: Hacker News
🔩Systems Programming
Lessons from 10 Years at GitHub
rickwinfrey.com·1d·
Discuss: Hacker News
🔄Language Evolution
‘Are you joking, mate?’ AI doesn’t get sarcasm in non-American varieties of English
theconversation.com·5d·
Discuss: Hacker News
🌀Brotli Dictionary
2000 words about arrays and tables
buttondown.com·3d·
Discuss: Lobsters, Hacker News, r/programming
🗂Data structures
A Semi-Technical Primer on LLMs
sandboxthoughts.substack.com·5d·
Discuss: Substack
📏Linear Logic
I'm a Therapist. ChatGPT Is Eerily Effective
nytimes.com·1d·
Discuss: Hacker News
🧪Cassette Hacks
LLMs and Mental Health
towardsdatascience.com·2d
🎵Audio ML
Show HN: HydraFlow – Type-safe ML experiment tracking with Hydra and MLflow
github.com·1d·
Discuss: Hacker News
💧Liquid Types
Why Agentic AI Will Replace 80% of Low-Level Automation Tools
dev.to·15h·
Discuss: DEV
⚡Proof Automation
Designing for Self-Regulation in Informal Programming Learning: Insights from a Storytelling-Centric Approach
arxiv.org·2d
📝Compiler Design
Mamba-based Efficient Spatio-Frequency Motion Perception for Video Camouflaged Object Detection
arxiv.org·1d
🧠Machine Learning
[kubeseal] Built a small tool to make bitnami's sealed-secrets less painful in GitOps
reddit.com·10h·
Discuss: r/kubernetes
🌳Archive Merkle Trees
Pinpoint Error in Your GenAI Model Input & Response
dev.to·2d·
Discuss: DEV
🔍Z3 Parsing
Voice-guided Orchestrated Intelligence for Clinical Evaluation (VOICE): A Voice AI Agent System for Prehospital Stroke Assessment
arxiv.org·1d
👂Audio Evidence
Surrealism is where you find it
boston.conman.org·1d
🕵️Steganographic Archives
Fragmented, high-WAF setup
reddit.com·12h·
Discuss: r/homelab
🏠HomeLab
I asked Chat to show me what my cat would look like as a person.
dev.to·6h·
Discuss: DEV
🔲Cellular Automata
Opinion | I’m a Therapist. ChatGPT Is Eerily Effective. (Gift Article)
dev.to·7h·
Discuss: DEV
⚖️Emulation Ethics