HN kris_osiadacz 27d ago

Why local AI – and why it matters

Argument for local, on-premise AI systems vs cloud AI for privacy and reliability. Conceptual analysis of deployment approaches.

HN nyellin 27d ago

How to Drive an LLM

Guide on LLM prompting and interaction techniques. Incomplete content.

HN giamma 27d ago

High-performance code intelligence MCP server

High-performance MCP server provides fast code intelligence for AI agents, indexing large repositories in seconds with tree-sitter AST parsing across 158 languages.

Ax Slim Barkallah, Luke Bailey, Kaiyue Wen, Mohammed Abouzaid, Tengyu Ma 27d ago

Pseudo-Formalization for Automatic Proof Verification

Pseudo-Formalization method automatically converts AI-generated mathematical proofs into verifiable formal language representations.

Ax Christopher En, Yuri Faenza, Andrea Lodi, Gonzalo Mu\~noz 27d ago

Fair Online Resource Allocation

Theoretical study of fair online resource allocation algorithms for sequential agent assignment with fairness constraints and capacity limits.

HN jonbaer 27d ago

Agent Finder

Agent Finder: search interface implementing Agentic Resource Discovery specification; catalog of Azure skill definitions for agent integration.

HN Divisibly3 27d ago

Glados for Claude

GLaDOS personality plugin with neural TTS for Claude Code using Forward Tacotron and HiFiGAN.

HN matt_d 27d ago

Integer Quantization: Deep Dive

Deep dive on integer quantization for transformers, covering techniques for fitting large models in 4-bits on single GPU.