Game Genie declassified: That summer I played 230 Game Boy games
eurogamer.net·1d·
Discuss: Hacker News
💾Retro Computing
Build an AI Agent with LangGraph
spin.atomicobject.com·23h·
Discuss: Hacker News
✓Automated Theorem Proving
Hot Reloading for Rust Gamedev
rygoldstein.com·1d·
Discuss: Hacker News
❄️Nixified Development
Retrieval Enhanced Feedback via In-context Neural Error-book
arxiv.org·2d
✓Automated Theorem Proving
On systematic construction of correct logic programs
arxiv.org·1d
✓Automated Theorem Proving
The Great Game: Game Theory for Collective Intelligence
foundation.symbiquity.ai·3d·
Discuss: Hacker News
✓Automated Theorem Proving
Autonomous AI testing agents are a bad idea
endform.dev·13m·
Discuss: Hacker News
👁️System Observability
Popular nx packages compromised on NPM
aikido.dev·52m·
Discuss: Hacker News
❄️Nixified Development
WOMAC: A Mechanism For Prediction Competitions
arxiv.org·1d
➡️Category Theory
Alvorada-Bench: Can Language Models Solve Brazilian University Entrance Exams?
arxiv.org·2d
💻CS
Context Engineering ( RAG 2.0): The Next Chapter in GenAI
medium.com·2h·
Discuss: Hacker News
🏹Effect Systems
OpenAI: Building the "Everything Platform" in AI
leoniscap.com·1d·
Discuss: Hacker News
📦Unikernel Systems
Language Models Coupled with Metacognition Can Outperform Reasoning Models
arxiv.org·1d
✓Automated Theorem Proving
Meta-R1: Empowering Large Reasoning Models with Metacognition
arxiv.org·1d
✓Automated Theorem Proving
Social Identity in Human-Agent Interaction: A Primer
arxiv.org·1d
🛡️seL4
Generative Artificial Intelligence and Agents in Research and Teaching
arxiv.org·1d
💻CS
So you want to use SLMs. Can you handle them?
unionailoop.substack.com·22h·
Discuss: Substack
🔬Unikernels
How to Build a ChatGPT Clone in Go: Cost, Context, and Lessons
nleiva.medium.com·1d·
Discuss: Hacker News
🌐NetworkProtocols
Anonymous structavaganza in zig
lirk.top·1d·
Discuss: Hacker News, r/Zig, r/programming
🐫Embedded OCaml
Better Language Model-Based Judging Reward Modeling through Scaling Comprehension Boundaries
arxiv.org·1d
🐫OCaml