proomt

Search

Search posts, papers, and topics

Top

  1. 62

    Bend 2 and the Vibe-Coding Trap

    The author argues that “vibe‑coding” with LLMs can cause engineers to reinvent existing solutions, using Bend 2—a language that asks LLMs to write long formal proofs—as a case study. By re‑implementing the same demo in SPARK/Ada, the author shows that established formal‑verification tools achieve the same guarantees with a tiny proof, highlighting the need for domain research before prompting LLM…

    Hacker News front pageliampwll.com5 minHN325235
  2. 64

    Claude Cowork and chat are now one Claude

    Claude merges its Cowork and chat interfaces into a single assistant and adds beta Docs, Slides, and Design capabilities, rolling out first to Pro and Max plans. The unified UI lets users ask Claude to generate reports, presentations, and other artifacts within the same conversation, with optional auto‑action settings. No new technical details or implementation specifics are provided.

    Hacker News front pageclaude.com3 minreleaseHN232226
  3. 67

    Shapelearn Qwen 3.8 27B (13.1 GB VRAM)

    ByteShape releases full ShapeLearn quantizations for Qwen 3.8 27B, showing that their GPU‑specific GGUFs (GPU‑1…GPU‑5) dominate the quality‑throughput frontier across six GPUs, with GPU‑5 hitting 99.63 % of BF16 accuracy at 90 TPS on a 13.1 GB model. Speculative decoding (MTP, DFlash2) further boosts throughput, and the Lite set remains competitive.

    Hacker News front pagebyteshape.com17 minHN10339
  4. 68

    HarnessVLN: Unifying Training-Free Embodied Navigation through an Agent Harness

    HarnessVLN introduces a zero‑shot, training‑free embodied navigation framework that wraps a multimodal LLM in an "Agent Harness" – a tool‑based protocol that validates planner actions against spatial evidence, tracks progress with hierarchical event memory, and maintains a persistent spatiotemporal graph for recovery. The system works for instruction‑following and object‑goal tasks, achieving 60.…

    Hugging Face Daily Papersarxiv.org1 minpaper
  5. 69

    Cloudflare/Security-Audit-Skill

    Cloudflare open‑sources a “security‑audit” skill that turns an LLM‑enabled coding agent into a structured vulnerability auditor. It runs six deterministic phases, validates findings against a JSON schema, and supports additive runs to improve coverage.

    Hacker News front pagegithub.com3 minreleaseHN20938
  6. 72

    English: A vs. An

    The indefinite article in English depends on the initial sound, not the spelling. An analysis of the CMU pronunciation dictionary shows only 129 of 32,455 words are exceptions, and the first two letters are usually enough to decide between “a” and “an”.

    Hacker News front pageredblobgames.com1 minHN311413
  7. 73

    JEPA-Anything: Learning Predictive Models across Different Worlds

    JEPA-Anything extends joint‑embedding predictive architectures with orthogonal predictive factorization, letting a single model learn complementary latent factors that can be recombined for prediction across disparate domains. The paper shows consistent performance gains on ten dynamics tasks, molecular simulations, and clinical event forecasting, plus experimental validation of a biologically‑de…

    Hugging Face Daily Papersarxiv.org1 minpaper
  8. 75

    Backups Aren't Simple

    Backups involve more than copying files; you need snapshot rotation, deduplication, and off‑site storage to meet RPO goals while controlling storage and bandwidth. Using proven tools like Borg or Restic and regularly testing restores simplifies the mental load.

    Hacker News front pagefilipovski.net8 minHN353222
  9. 76

    Labeled matches: why is this not in every regex engine?

    The author shows how to label tokens (dates, money, emails, etc.) with a single regex pass using extended operators (`&` for intersection, `~` for complement) in the resharp library. A tiny benchmark compares 10 patterns against spaCy’s NER, reporting ~1.9 GB/s (≈4500× faster) on 8 threads. The post lists the concrete patterns and argues that for deterministic, regular‑language entities regex can…

    Lobstersiev.ee7 minHN5lobste.rs27
  10. 77

    Towards Self-Driving Codebases

    The post argues that AI agents could eventually handle low‑level engineering tasks—bug fixing, debugging, UI consistency, growth experiments—if the dev toolchain is made “agent‑legible”. It outlines missing primitives (global memory, code‑base rot prevention, better dev environments) and proposes a bootstrapping process to measure and improve a repo’s “agent readiness”. The piece is largely specu…

    Hacker News front pagedetail.dev9 minHN12099
  11. 78

    Our brain evolved from two primitive nervous systems that merged: Study

    A new study shows that the forebrain and hindbrain develop from distinct progenitor cells (OTX2‑expressing and GBX2‑expressing) in mouse, human, chicken, zebrafish and acorn worm embryos, suggesting the vertebrate brain originated from the merger of two primitive nervous systems over 550 M years ago. This insight enabled the first successful in‑vitro generation of human hindbrain motor neurons.

    Hacker News front pagenewscientist.com3 minHN12972
  12. 80

    Reinventing issue tracking: Local-first and Git-native

    A devlog describing how Manganin’s issue tracker stores issues in a dedicated Git repo as plain files, after rejecting earlier approaches that tried to embed issue data in the code tree or Git refs. The author explains the pitfalls of using refs for issue storage, shows the low‑level Git commands needed for that approach, and then outlines the final design: a hidden sister repository where each i…

    Lobstersmanganin.dev6 minHN1lobste.rs27
  13. 83

    Typst makes big strides

    Typst 0.15 adds variable‑font support, experimental HTML export with MathML, a bundle output mode for multi‑file projects, multiple bibliography sections, and the ability to target several PDF standards at once. The post shows concrete Typst code snippets for each feature and notes the required compiler flags.

    Lobsterslwn.net12 minlobste.rs117
  14. 85

    How Uber Protects Against Retry Storms

    Uber developed a context-aware mechanism to prevent retry storms in deep microservice dependency chains. It introduces "error ownership" where services claim errors they originate and unclaim errors they propagate, allowing upstream callers to make informed retry decisions and avoid amplifying load on already struggling services.

    Hacker News front pageuber.com12 minHN11749
  15. 87

    Accurate Models of AMD Matrix Cores

    The authors reverse‑engineer AMD’s CDNA matrix cores, build per‑architecture MATLAB models that match hardware bit‑for‑bit on 10 M random tests, and use them to compare AMD vs NVIDIA tensor‑core accuracy.

    Hacker News front pagearxiv.org2 minpaperHN7911