proomt

Search

Search posts, papers, and topics

Top

  1. 241

    Show HN: Scry, programmable internet search w/ congestion pricing

    Scry is a read‑only, SQL‑like search service that lets LLM agents query billions of public‑web records (e.g. Reddit, Hacker News, academic papers) via a single MCP or HTTP endpoint. It enforces per‑query limits (deadline, memory, row cap), offers schema discovery, explain, rerank, and compile APIs, and reports freshness per source (e.g. Hacker News <15 min). In a DeepSearchQA benchmark Scry‑enabl…

    Hacker News front pagescry.io28 minreleaseHN6025
  2. 243

    Grand MS-DOS Gaming General MIDI Showdown

    The author records 46 classic DOS game soundtracks on seven MIDI modules (Roland SC‑55, SC‑VA, Yamaha MU80, S‑YXG50, etc.), shares 322 lossless recordings plus REAPER project files, and documents a repeatable workflow for extracting MIDI from DOSBox, cleaning it, and rendering audio on hardware and software synths.

    Hacker News front pagejohnnovak.net27 minHN9520
  3. 245

    Self-Evolving Search Index

    The paper introduces SELF-INDEX, a framework that lets a search index automatically diagnose retrieval failures, revise its keys, and validate changes, using a query simulator to anticipate future queries. Experiments show consistent gains across corpora and downstream LLM agents.

    Hugging Face Daily Papersarxiv.org1 minpaper
  4. 247

    Migrating the GitHub Copilot runtime to Rust, using Copilot

    The Copilot agent runtime was rewritten from a 130‑k‑line TypeScript/Node.js codebase into a native Rust library (~830 k lines of Rust) to reduce startup latency, memory use, and improve reliability. The migration was done incrementally (in‑place) across 128 PRs, with AI‑generated code handling most of the work. The new runtime exposes a C ABI for in‑process embedding by all six Copilot SDK langu…

    GitHub Oldgithub.blog65 minHN188
  5. 250

    OmniEdu: Open Foundation Models for Learning and Teaching

    OmniEdu is an open family of LLMs (4B‑27B) fine‑tuned on a curated, capability‑balanced educational corpus (≈70k examples, 16M tokens) covering subject competence, curriculum grounding, diagnostic reasoning, and pedagogical scaffolding. Across model scales it improves on K‑12 benchmarks (K12‑Bench EM 63.12 %/F1 76.69 %, MathFish 85.89 %, EDUMATH 86.95 %, MathTutorBench Scaffold 78.74 %) and achie…

    Hugging Face Daily Papersarxiv.org1 minpaper
  6. 253

    When2Think: Learning Difficulty-Aware Length Control for Efficient Hybrid Reasoning Models

    When2Think introduces a post‑training framework that lets a large reasoning model decide per‑instance how much reasoning depth to allocate, using difficulty‑aware reward shaping (IDAC) and verifier rewards. It cuts token usage by ~28% while boosting Pass@3 by 10% on AIME24 and reaches 40% Pass@3 on AIME25, outperforming compression and routing baselines.

    Hugging Face Daily Papersarxiv.org1 minpaper
  7. 256

    Markdown in /src

    The essay argues that Markdown should be treated as source code and checked into a /src/md directory alongside the implementation it describes. Keeping intent in diffable, reviewable Markdown lets teams generate code and tests from it while preserving locality for both humans and AI agents.

    Lobstershtmx.org6 minlobste.rs12
  8. 257

    Lucasart's Afterlife

    This blog post revisits Lucasart's 1996 game "Afterlife," a unique SimCity-like game where players manage Heaven and Hell, offering strategies for new and returning players. It details specific game mechanics, zoning tactics, and common pitfalls to help optimize soul collection and progress.

    Hacker News front pagewordpress.com5 minHN10350
  9. 260

    Internet Phone Book

    The Internet Phone Book is a physical, art‑focused publication that curates personal websites of designers, developers, writers, and other creators. The page lists upcoming tour events, library locations, and where to buy the book, and invites submissions. No technical content, code, or engineering insights are present.

    Lobstersinternetphonebook.net3 minHN291lobste.rs18
  10. 262

    VideoGen-Agent: Reinforcing Video Generation Agents

    VideoGen-Agent is a multimodal RL‑trained agent that orchestrates augmentation, generation, and verification tools to improve text‑to‑video synthesis on a new 600‑prompt benchmark (VABench). It lifts a base generator’s score from 56.5 to 75.6 (‑19.1 pts) and to 86.1 when the generation tools are upgraded, with 84.3% human preference over the strongest baseline.

    Hugging Face Daily Papersarxiv.org1 minpaper
  11. 263

    An actively maintained and updated Motif fork actually exists

    A community‑maintained fork of the Motif X11 UI toolkit (https://github.com/thentenaar/motif) has released five versions in its first year, incorporating long‑stale upstream fixes and Gentoo patches. The original Motif project on SourceForge has been inactive for over two years, but this fork aims to keep Motif and related X11 components alive, hoping to eventually support a niche desktop environ…

    Lobstersosnews.com2 minlobste.rs42
  12. 269

    Region-Level Policy Optimization for Fine-grained MLLM Perception

    Vision‑RL2 trains a lightweight proposal network via region‑level reinforcement learning to select high‑resolution evidence for multimodal LLMs, allowing coarse‑resolution localization and fine‑resolution recognition. Across six fine‑grained vision benchmarks it reduces visual token count by ~4× while matching or surpassing full‑resolution accuracy.

    Hugging Face Daily Papersarxiv.org1 minpaper