technology LLMs are making formal software verification feasible at a much larger scale Hacker News 1h ago
technology Show HN: CATT 0.2.1: Test agents/services against a Muse/Instinct-alike, in CI Hacker News 2h ago
technology Jared Kushner Hacked Phone Reveals Secret Negotiations, Millions in Transactions Hacker News 3h ago
technology Ask HN: If the models are so good, why doesn't OpenAI just start 100 companies? Hacker News 3h ago
technology Show HN: Build a world on your phone, explore it in XR on Vision Pro and Quest Hacker News 5h ago
technology AI analysis of CT scans finds 42.9% of patients have coronary inflammation Hacker News 6h ago
technology Show HN: agent-usage-guard – a Claude Code mod to protect your usage window Hacker News 6h ago
technology Mini brain organoids 'reading' Braille key step towards biohybrid computing Hacker News 8h ago
technology Woman faces six years in prison over Cash App account she never opened Hacker News 11h ago
technology The Last Museum: Semantic search across 5.8M artworks from major museums Hacker News 11h ago
technology Amazon identifies Oct 17 PHP2Shell exploitation prior to public disclosure Hacker News 12h ago
technology Several Linux kernel vulnerabilities accidentally posted to public mailing list Hacker News 13h ago
technology The recently proposed o(n log n) integer multiplication algorithm [pdf] Hacker News 22h ago
technology Epic vs. Apple AU:Court Orders Alt App Stores,Sideloading and 3rd Party Payments Hacker News 22h ago
technology Show HN: I built a Markdown and raw HTML blog platform scoring 99 on PageSpeed Hacker News Wed
technology AWS rates PHP RCE as Important so Amazon Linux 2023 patch may take 20 days Hacker News Wed
technology New plastic pollution discovered: 'Plasticorals' coral rubble fused with plastic Hacker News Wed
technology Oregon lawmakers approve money to buy an iconic waterfall listed on Redfin Hacker News Wed
technology OpenAI: Patch the Planet. Global response coordination as AI uncovers PHP vulns Hacker News Wed
technology Compromised LiteLLM 1.107.0 on PyPI Installs a Credential Stealer and Backdoor Hacker News Wed