🎯 Dependent Parsing

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

How I Feel After 30 Days With the Hydrow Arc Rower
lifehacker.com·55m
📡RSS Automation
Show HN: photocopi.es
photocopi.es·2h·
Discuss: Hacker News
🔌Archive APIs
You can't find meaning in the past
medium.com·1d·
Discuss: Hacker News
⬜Minimalism
Roles and Intelligence for Individual Contributors
raees.me·1d·
Discuss: Hacker News
🧠Intelligence Compression
Show HN: AI Finance App for Sale – $19,999 Negotiable(SaaS, Ready-to-Deploy)
sideprojectors.com·1d·
Discuss: Hacker News
🎬WebCodecs
Work in content? You should be using AI for alt text
tk.gg·3d·
Discuss: Hacker News
📄PostScript
Ship Broken Things
matmul.net·3d·
Discuss: Hacker News
🔗Topological Sorting
Defeating Return Type Polymorphism
philipphagenlocher.de·4d·
Discuss: Hacker News
🧬Functional Programming
GPT-5-Codex is a better AI researcher than me
seangoedecke.com·6d·
Discuss: Hacker News
🧠Intelligence Compression
The Porcelain to Come
stackdiver.com·2d·
Discuss: Hacker News
🔲Cellular Automata
AI Fixed Coding, but Not the Bottleneck: Why Lisp, FP Still Matters
github.com·5d·
Discuss: Hacker News, r/neovim
🔗Lisp
MetaGraph: Scalable annotated de Bruijn graphs for DNA indexing and alignment
github.com·4d·
Discuss: Hacker News
🔄Burrows-Wheeler
Show HN: Orchestro – Trello for Claude Code with Kanban Board
github.com·1d·
Discuss: Hacker News
🔄Sync Engine
LogSTOP: Temporal Scores over Prediction Sequences for Matching and Retrieval
arxiv.org·4d
📊Learned Metrics
Everyone's Searching for Agentic AI. Here's What 94% Get Wrong.
dev.to·13h·
Discuss: DEV
⚡Proof Automation
I'm the president of Signal. I love dance music in the mornings, night yoga, and acting like a tourist — here's a day in my life.
businessinsider.com·9h
📡RSS Readers
TDM exceptions (not just the three-step test) don’t allow all unlicensed AI development
ipkitten.blogspot.com·5h·
Discuss: ipkitten.blogspot.com
⚖️Emulation Ethics
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.to·3d·
Discuss: DEV
📊Multi-vector RAG
Activation Alchemist: Sculpting Stability with Functional Signatures
dev.to·2d·
Discuss: DEV
🔍Concolic Testing
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.to·2d·
Discuss: DEV
🎵Audio ML