🎯 Dependent Parsing

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

OpenAI kills “short-lived experiment” where ChatGPT chats could be found on Google
malwarebytes.com·1d
📰RSS Reading Practices
A simple deployment setup for self-hosting personal projects
bimals.net·1d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
From XML to JSON to CBOR
cborbook.com·5d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
📋Document Grammar
Go Assembly Mutation Testing
words.filippo.io·2d·
Discuss: Lobsters, Hacker News, r/programming
🧪Property-Based Testing
Is Sass Dead Yet? CSS Mixins & Functions &c
conffab.com·2d·
Discuss: Lobsters
🔗Concatenative Programming
The Powerful Consistency of Mail Delivery
theatlantic.com·1d
📡RSS Readers
Automated Data Processing: Streamline Business Efficiency
dev.to·18h·
Discuss: DEV
🌊Stream Processing
Orbitiny Desktop 1.0 Pilot 4 Released
reddit.com·1d·
Discuss: r/linux
🔌Operating system internals
Hybrid Shifted Gegenbauer Integral-Pseudospectral Method for Solving Time-Fractional Benjamin-Bona-Mahony-Burgers Equation
arxiv.org·2d
⚙Backus-Naur Form
Erys: Run Jupyter Notebooks in Terminal
github.com·2d·
Discuss: Hacker News
📺Terminal UI
"Intelligenza Artificiale for Artificial Intelligence Research and Development"
news.ycombinator.com·3d·
Discuss: Hacker News
🧭Content Discovery
Introducing 'spec` — A Lightweight, Framework-Agnostic OpenAPI 3.x Generator for Go
reddit.com·1d·
Discuss: r/golang
🌐Web Standards
A Hands-On Guide to Model Context Protocol (MCP)!
dev.to·2d·
Discuss: DEV
🌊Streaming Systems
Optimizing enterprise AI assistants: How Crypto.com uses LLM reasoning and feedback for enhanced efficiency
aws.amazon.com·5d
✨Effect Handlers
Can One Person Really Build a Complex System from Scratch?
dev.to·2d·
Discuss: DEV
🌊Streaming Systems
Programming Is Becoming Prompting
dev.to·1d·
Discuss: DEV
🌳Incremental Parsing
HIAL: A New Paradigm for Hypergraph Active Learning via Influence Maximization
arxiv.org·5d
🕸️Graph Embeddings
Hebbian Memory-Augmented Recurrent Networks: Engram Neurons in Deep Learning
arxiv.org·4d
🧠Machine Learning
Adaptive Learned Belief Propagation for Decoding Error-Correcting Codes
arxiv.org·5d
🧮Kolmogorov Complexity
Asked my AI to reflect on writing clinical notes vs. coding. Here's what it said
news.ycombinator.com·3d·
Discuss: Hacker News
🛠Language Design