No title
markjgsmith.com·1h
📟Terminal Forensics
AI Injection Attacks
textslashplain.com·4h
🔓Hacking
Claude 4 Sonnet hacked SWE-bench by peeking at future commits
bayes.net·7h·
Discuss: Hacker News
🌳Git Internals
From Fine-Tuning to Production: A Scalable Embedding Pipeline with Dataflow
developers.googleblog.com·7h
⚙️Batch Processing
Show HN: ZenStack V3 – Modern, AI-Friendly Data Layer for TypeScript App
zenstack.dev·3d·
Discuss: Hacker News
📦METS Containers
The case against Almost Always `auto` (AAA)
gist.github.com·3d·
Discuss: Hacker News, r/cpp
🔒Type Safety
Why language models hallucinate
openai.com·14h·
Discuss: Hacker News
🔲Proof Irrelevance
GPT-5: The Case of the Missing Agent
secondthoughts.ai·1d·
Discuss: Hacker News
🔲Cellular Automata
LangChain vs. LlamaIndex: The Right Framework for the Job, Not the Hype.
dev.to·1d·
Discuss: DEV
🌀Brotli Internals
Fil's Unbelievable Garbage Collector
fil-c.org·23h·
Discuss: Lobsters, Hacker News, r/programming
🧠Separation Logic
Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning
arxiv.org·1d
⏰Temporal Logic
Should We Use LLMs As If They Were Swiss Knives?
towardsdatascience.com·1d
💻Local LLMs
Build an AI PR Reviewer with MCP and Gemini
decodingml.substack.com·13h·
Discuss: Substack
⚙️Proof Engineering
ANNIE: Be Careful of Your Robots
arxiv.org·1d
🔲Cellular Automata
TraceLLM: Security Diagnosis Through Traces and Smart Contracts in Ethereum
arxiv.org·1d
🔗Hash Chains
The Three Sacred Guardrails of AI
aboard.com·1d·
Discuss: Hacker News
⚡Proof Automation
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·20h·
Discuss: DEV
🕸️Graph Embeddings
Microsoft’s Rust Bet: From Blue Screens to Safer Code
thenewstack.io·1d·
Discuss: Hacker News
🔩Systems Programming