Other Hacker News

I also filed the corners off my MacBook

A user shares their experience and process of physically filing down the corners of their MacBook for customization.

Homelab/Self-Hosting Hacker News

Rebuilding My Homelab with Compose, Ruby, IPv6, and No Kubernetes

A detailed account of rebuilding a home lab using Docker Compose, Ruby, and IPv6, consciously avoiding Kubernetes for simplicity.

AI/ML arXiv cs.AI

AI-Native Insurance for Agentic AI: Pricing, Underwriting, and End-to-End Automation

A paper proposing a mathematical framework for pricing and underwriting insurance specifically for autonomous AI agents.

AI/ML arXiv cs.AI

Cost-Optimal Foundation Model Deployment Portfolio for Transportation Management

A study on optimizing the cost of deploying foundation models for transportation management using a mixed-integer program.

AI/ML arXiv cs.AI

Harness Handbook: Making Evolving Agent Harnesses Readable,Navigable, and Editable

Introduction of the 'Harness Handbook', a tool to help developers navigate and edit complex AI agent harnesses using behavior-centric representation.

AI/ML arXiv cs.AI

Theory-Level Autoformalization: From Isolated Statements to Unified Formal Knowledge Bases

A position paper advocating for 'theory-level autoformalization' to translate entire mathematical theories into formal knowledge bases.

Other Hacker News

The Last Picture Show: A Conversation with George Lucas

A conversation with George Lucas, discussing his perspective on cinema and filmmaking.

AI/ML arXiv cs.AI

SPINE: Bridging the Cyber-Physical Gap with Agentic AI

Introduction of SPINE, an agentic framework designed to automate the debugging and deployment of bimanual robots, reducing the need for expert calibration.

AI/ML arXiv cs.AI

Interventional Grounding Audits: Black-Box Premise-Dependency Tests for LLM Chain-of-Thought via Predicate Substitution

Proposes interventional grounding audits to detect when LLMs produce 'right answer, wrong reasoning' by substituting predicates in their chain-of-thought processes.

AI/ML arXiv cs.AI

Probabilistic Extension of Neuro-Symbolic AGI Robots based on Belnap's Typed Intensional FOL

Extends neuro-symbolic AGI robots using Belnap's Typed Intensional FOL and probability computation to improve handling of unknown sentences.

AI/ML arXiv cs.AI

Self-Improvements in Modern Agentic Systems: A Survey

A comprehensive survey on self-improving autonomous agents, providing a system-level framework for how agents convert experience into capability gains.

AI/ML arXiv cs.AI

Improving Molecular Property Prediction in Small Language Models Using Graph-based Tools

Introduces a Context-Augmented Prompting framework that uses GNN experts to improve molecular property prediction in small language models.

AI/ML arXiv cs.AI

Oracle Agent Memory as an Enterprise Memory Substrate for Long-Horizon AI Agents

Explores Oracle Agent Memory as a database-native substrate for long-horizon AI agents to manage state, user preferences, and procedural knowledge.

AI/ML arXiv cs.AI

Learning Safe Agent Behaviour from Human Preferences and Justifications via World Models

Presents DROPJ, a human-centered method for training safe agent policies using world models and justified human preferences.

Software Engineering arXiv cs.AI

CayleyR: Solving the TopSpin puzzle via cycle intersection

Introduces cayleyR, an R package for solving permutation puzzles like TopSpin by detecting cycle intersections in Cayley graphs, featuring C++ and Vulkan GPU acceleration.

AI/ML arXiv cs.AI

Networked Intelligence: Active Shared Context Graphs for Human-AI Team Science

Introduces Mycelium, an active shared workspace for human-AI team science that routes shared context and hypotheses across a network of researchers and agents.

Software Engineering Hacker News

If you want to create a button from scratch, you must first create the universe

A discussion or essay on the inherent complexity and dependencies involved in building even simple UI elements from first principles.

AI/ML Hacker News

An Interactive Map of AI

A visual exploration and mapping of the diverse and rapidly evolving landscape of artificial intelligence technologies.

Software Engineering Hacker News

Making 768 servers look like 1

A technical exploration of server clustering and abstraction techniques to make a massive fleet of servers appear as a single unit.

Open Source Hacker News

Open Source, Free Tier Capable Whispr Using Cloudflare AI

Implementation of a free-tier capable transcription service using Cloudflare AI, focusing on open-source accessibility.