Toward a Definition of AGI
kill-the-newsletter.com·14h
💳Content Monetization
Programming = proving? The Curry-Howard correspondence today
xavierleroy.org·18h·
Discuss: Hacker News
💻Programming languages
RVISmith: Fuzzing Compilers for RVV Intrinsics
arxiv.org·2h
⚙️Language Runtimes
Interleaving Logic and Counting
arxiv.org·2h
🧠LLM Inference
Adding a UI to a Container Registry Is Not Simple
molnett.com·16h·
Discuss: Hacker News
💾Persistence Strategies
langchain-ai/agents-from-scratch
github.com·4h
👨‍💻AI Coding
Why Elixir? A Rebuttal to Common Misconceptions
matthewsinclair.com·5h·
Discuss: Hacker News
⚡DataFusion
MARBLE: A Multi-Agent Rule-Based LLM Reasoning Engine for Accident Severity Prediction
arxiv.org·2h
🏆LLM Benchmarking
Lilith: Developmental Modular LLMs with Chemical Signaling
arxiv.org·2h
🪄Prompt Engineering
LLMs and Agents are new software primitives
blog.gjmveloso.dev·16h·
Discuss: Hacker News
🏆LLM Benchmarking
CODE AND TRUST: vibrators to pacemakers
punkx.org·7h·
Discuss: Lobsters, Hacker News
🪄Prompt Engineering
Understanding Everything as Code: A Taxonomy and Conceptual Model
arxiv.org·2h
👨‍💻Software development practices
CortexDebate: Debating Sparsely and Equally for Multi-Agent Debate
arxiv.org·2h
🏆LLM Benchmarking
AI Safety at the Frontier: Paper Highlights, June '25
lesswrong.com·11h
🛡️AI Safety
JAX-MPM: A Learning-Augmented Differentiable Meshfree Framework for GPU-Accelerated Lagrangian Simulation and Geophysical Inverse Modeling
arxiv.org·2h
🕯️Candle
Towards Machine Theory of Mind with Large Language Model-Augmented Inverse Planning
arxiv.org·2h
🧠LLM Inference
Ex-Ante Truthful Distribution-Reporting Mechanisms
arxiv.org·2h
💳Content Monetization
OML 1.0 via Fingerprinting: Open, Monetizable, and Loyal AI
github.com·21h·
Discuss: Hacker News
🕳LLM Vulnerabilities
Supabase MCP can leak your entire SQL database
generalanalysis.com·11h·
Discuss: Hacker News
🕳LLM Vulnerabilities
Can Prompt Difficulty be Online Predicted for Accelerating RL Finetuning of Reasoning Models?
arxiv.org·2h
🏆LLM Benchmarking