🎯 Dependent Parsing

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

An enough week
blog.mitrichev.ch·4d·
Discuss: blog.mitrichev.ch
🧮Z3 Solver
Illuminations of a 3D Alphabet
gnsi.org·1d·
Discuss: Hacker News
🔤Font Archaeology
Free Software Hasn't Won
dorotac.eu·1d·
Discuss: Lobsters, Hacker News
🔌Operating system internals
Log Real-Time BLE Air Quality Data to Google Sheet
hackster.io·1d
🔌Interface Evolution
How Oracle SQL and PL/SQL Power Real-World Enterprise Solutions
dev.to·2h·
Discuss: DEV
🧬PostgreSQL Forensics
What's new in the Buildkite MCP server
buildkite.com·1d·
Discuss: Hacker News
❄️Nix Flakes
Humanity Is Coming to an End
dearworld.ai·2h·
Discuss: Hacker News
🎧Learned Audio
Tiny AI model outperforms o3‑mini and Gemini 2.5 Pro in ARC‑AGI benchmark
the-decoder.com·4d
🧠Intelligence Compression
Making My First Choice
reddit.com·1d·
Discuss: r/homelab
🔌Operating system internals
I've created a automated Github Maintainer
dev.to·23h·
Discuss: DEV
🦀Rust Macros
LLMs Learn to Deceive Unintentionally: Emergent Misalignment in Dishonesty from Misaligned Samples to Biased Human-AI Interactions
arxiv.org·4d
🔲Cellular Automata
How human is the machine? Evidence from 66,000 Conversations with Large Language Models
arxiv.org·4d
🇸🇪Nordic Algorithms
Retentive Relevance: Capturing Long-Term User Value in Recommendation Systems
arxiv.org·4d
🎯Content Recommendation
Online Topological Localization for Navigation Assistance in Bronchoscopy
arxiv.org·1d
🕸️Algebraic Topology
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.to·3d·
Discuss: DEV
📊Multi-vector RAG
Towards a Taxonomy of Sustainability Requirements for Software Design
arxiv.org·1d
🦋Format Metamorphosis
Tech With Tim: Why 1M People Tried This AI Coding Tool (Full Vibe Coding Tutorial)
dev.to·1d·
Discuss: DEV
🌀Brotli Internals
Tech With Tim: How to Build AI Agents in Python
dev.to·15h·
Discuss: DEV
🔲Cellular Automata
Tech With Tim: How to Build AI Agents in Python
dev.to·11h·
Discuss: DEV
🤖Lisp Machines
Optimal Multi-Modal Transportation and Electric Power Flow: The Value of Coordinated Dynamic Operation
arxiv.org·7h
🌊Streaming Systems