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

LLM Poisoning [1/3] - Reading the Transformer's Thoughts
synacktiv.com·6d
💻Local LLMs
Mutable atomic deletes with Parquet backed columnar tables on S3
shayon.dev·7h·
Discuss: Hacker News
🗃️Database Storage
Is GRPO Broken?
neelsomaniblog.com·2d·
Discuss: Hacker News
🧮Kolmogorov Bounds
Laion, the dataset behind Stable Diffusion (2023)
deeplearning.ai·1d·
Discuss: Hacker News
🎓Academic Torrents
Love C, Hate C: Web Framework Memory Problems
alew.is·3d·
Discuss: Hacker News
🔩Systems Programming
Picking an AI Code Reviewer
markmarkoh.com·2d·
Discuss: Hacker News
📏Code Metrics
Show HN: I built a video-to-text tool – 10 min free daily, no signup
harku.io·2d·
Discuss: Hacker News
🎵Audio Streaming
Tech With Tim: Python Web Scraping: A Million Dollar Project Idea - FULL Build/Tutorial
dev.to·1d·
Discuss: DEV
🌀Brotli Internals
AI Reddit Sensational Video Summarizer & Shorts Extractor:
dev.to·2d·
Discuss: DEV
🤖Archive Automation
Extreme Amodal Face Detection
arxiv.org·3d
🌀Differential Geometry
Tech With Tim: How to Build AI Agents in Python
dev.to·3h·
Discuss: DEV
🔲Cellular Automata
ResAD: Normalized Residual Trajectory Modeling for End-to-End Autonomous Driving
arxiv.org·2d
🌀Riemannian Computing
Python 3.14 Released with Template String Literals, Deferred Annotations, and
socket.dev·5d·
Discuss: Hacker News
💧Liquid Types
GPT-5-Codex is a better AI researcher than me
seangoedecke.com·6d
🧠Intelligence Compression
GRACE: Generative Representation Learning via Contrastive Policy Optimization
arxiv.org·5d
📊HyperLogLog
Pathology-CoT: Learning Visual Chain-of-Thought Agent from Expert Whole Slide Image Diagnosis Behavior
arxiv.org·5d
🤖Advanced OCR
AgentAsk: Multi-Agent Systems Need to Ask
arxiv.org·2d
🧮Kolmogorov Complexity
Evaluating LLM Safety Across Child Development Stages: A Simulated Agent Approach
arxiv.org·4d
💻Programming languages
LLMs as Policy-Agnostic Teammates: A Case Study in Human Proxy Design for Heterogeneous Agent Teams
arxiv.org·4d
🔲Cellular Automata
Get RICH or Die Scaling: Profitably Trading Inference Compute for Robustness
arxiv.org·3d
🧠Intelligence Compression