AI Injection Attacks
textslashplain.com·8h
🔓Hacking
Claude 4 Sonnet hacked SWE-bench by peeking at future commits
bayes.net·11h·
Discuss: Hacker News
🌳Git Internals
Show HN: ZenStack V3 – Modern, AI-Friendly Data Layer for TypeScript App
zenstack.dev·3d·
Discuss: Hacker News
📦METS Containers
Building smarter interactions with MCP elicitation: From clunky tool calls to seamless user experiences
github.blog·1d
⚔️Lean Tactics
Radicle 1.4.0
radicle.xyz·21h·
Discuss: Lobsters, Hacker News
❄️Nix Flakes
The case against Almost Always `auto` (AAA)
gist.github.com·4d·
Discuss: Hacker News, r/cpp
🔒Type Safety
Why language models hallucinate
openai.com·18h·
Discuss: Hacker News
🔲Proof Irrelevance
Fil's Unbelievable Garbage Collector
fil-c.org·1d·
Discuss: Lobsters, Hacker News, r/programming
🧠Separation Logic
Build an AI PR Reviewer with MCP and Gemini
decodingml.substack.com·17h·
Discuss: Substack
⚙️Proof Engineering
Context Engineer MCP – Fixing Context Loss in AI Coding Agents
contextengineering.ai·1d·
Discuss: Hacker News
⚡Proof Automation
Blue – ecosystem to scale KV store to an exabyte in the open source world
github.com·1d·
Discuss: Hacker News
🛡️Preservation Proofs
Automated Grant Lifecycle Analysis & Predictive Resource Allocation via Hypergraph Embedding
dev.to·1d·
Discuss: DEV
🕸️Graph Embeddings
Microsoft’s Rust Bet: From Blue Screens to Safer Code
thenewstack.io·1d·
Discuss: Hacker News
🔩Systems Programming
vLLM with torch.compile: Efficient LLM inference on PyTorch
blog.vllm.ai·1d·
Discuss: Hacker News
🔩Systems Programming
Denoising GER: A Noise-Robust Generative Error Correction with LLM for Speech Recognition
arxiv.org·1d
🧠Learned Codecs
Unlearning That Lasts: Utility-Preserving, Robust, and Almost Irreversible Forgetting in LLMs
arxiv.org·2d
💻Local LLMs
Mitigating Catastrophic Forgetting in Continual Learning through Model Growth
arxiv.org·3d
⚡Incremental Computation
When LLMs Grow Hands and Feet, How to Design Our Agentic RL Systems?
amberljc.github.io·7h·
Discuss: Hacker News
⚡Incremental Computation
Easier Painting Than Thinking: Can Text-to-Image Models Set the Stage, but Not Direct the Play?
arxiv.org·2d
🏛Digital humanities
The Gold Medals in an Empty Room: Diagnosing Metalinguistic Reasoning in LLMs with Camlang
arxiv.org·3d
🔤Type Theory