🎯 Dependent Parsing

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

Implicit `operator bool` participates in comparison
quuxplusone.github.io·2d
🦀Rust Verification
Mutable atomic deletes with Parquet backed columnar tables on S3
shayon.dev·13m·
Discuss: Hacker News
🗃️Database Storage
Is GRPO Broken?
neelsomaniblog.com·1d·
Discuss: Hacker News
🧮Kolmogorov Bounds
Laion, the dataset behind Stable Diffusion (2023)
deeplearning.ai·1d·
Discuss: Hacker News
🎓Academic Torrents
Picking an AI Code Reviewer
markmarkoh.com·2d·
Discuss: Hacker News
📏Code Metrics
Rethinking PostgreSQL buffer mapping for modern hardware architectures
orioledb.com·6h·
Discuss: Hacker News
🗃️Database Storage
OpenAI's inflated valuation, as I understand it
taloranderson.com·2d·
Discuss: Hacker News
💻Local LLMs
**Unlock the Power of Hybrid AI: Combining Reinforcement Lea
dev.to·1d·
Discuss: DEV
🤖Grammar Induction
Shaken or Stirred? An Analysis of MetaFormer's Token Mixing for Medical Imaging
arxiv.org·4d
📄Document Streaming
SliceMoE: Routing Embedding Slices Instead of Tokens for Fine-Grained and Balanced Transformer Scaling
arxiv.org·5d
🧮Kolmogorov Complexity
High-Throughput Fiber Optic Channel Monitoring via Dynamic Bayesian Network Inference
dev.to·1h·
Discuss: DEV
📊Homelab Monitoring
Tech With Tim: Python Web Scraping: A Million Dollar Project Idea - FULL Build/Tutorial
dev.to·1d·
Discuss: DEV
🌀Brotli Internals
Mitigating Premature Exploitation in Particle-based Monte Carlo for Inference-Time Scaling
arxiv.org·4d
🧮Kolmogorov Bounds
Aligning Language Models with Clinical Expertise: DPO for Heart Failure Nursing Documentation in Critical Care
arxiv.org·4d
🔄Archival Workflows
AI Reddit Sensational Video Summarizer & Shorts Extractor:
dev.to·1d·
Discuss: DEV
🤖Archive Automation
Python 3.14 Released with Template String Literals, Deferred Annotations, and
socket.dev·4d·
Discuss: Hacker News
💧Liquid Types
An enough week
blog.mitrichev.ch·3d·
Discuss: blog.mitrichev.ch
📈Linear programming
Extreme Amodal Face Detection
arxiv.org·3d
🌀Differential Geometry
ResAD: Normalized Residual Trajectory Modeling for End-to-End Autonomous Driving
arxiv.org·2d
🌀Riemannian Computing
AI Renaissance: Bridging the Gap Between Intuition and Logic
dev.to·2d·
Discuss: DEV
🤖Paleographic AI