frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Beyond Solver Verdicts: Generative Reward Models for Autoformalizations

https://arxiv.org/abs/2609.11085
1•vikashjohn2505•18s ago•0 comments

Show HN: Mercator vs. UN's new Equal Earth map, synced side by side

https://newworldsize.com/old-vs-new-world-map/
1•respectattentio•1m ago•0 comments

Terminal velocity: the shell tools that make Claude Code fly

https://nearform.com/digital-community/terminal-velocity-the-shell-tools-that-make-claude-code-fly/
2•rosterbyte•1m ago•0 comments

Mullenweg reportedly returns as Automattic CEO two days after getting booted

https://www.theverge.com/tech/994087/matt-mullenweg-automattic-ceo-return
1•herrkanin•1m ago•0 comments

Moving from cash to credit cards, PayPal, etc. is an ongoing privacy disaster

https://grapheneos.social/@GrapheneOS/117249893761790371
1•Cider9986•2m ago•0 comments

California's Governor Signs Landmark Online Child Safety Bills

https://www.nytimes.com/2026/09/10/technology/californias-governor-gavin-newsom-online-child-safe...
2•jedberg•4m ago•0 comments

Project NOPE: An observatory for human – AI relationships

https://nope.net/
1•theletterf•4m ago•0 comments

Wealth Inequality in America (Updated 2026)

https://drive.proton.me/urls/2VY8DTXSC0#PHwMmm0Jz66q
1•vavooom•5m ago•1 comments

Declassified 9/11 related President's Daily Brief products

https://www.cia.gov/stories/story/cia-releases-presidents-daily-briefs-in-commemoration-of-the-25...
2•stmw•5m ago•0 comments

Show HN: Keychron macOS Battery Life and Controls

https://github.com/bkovacev/keychron-macos
1•bkovacev•8m ago•0 comments

In 1988, the Morris worm took out 10% of the Internet

https://twitter.com/martin_casado/status/2098470828602270009
1•tosh•8m ago•1 comments

Show HN: Research-ready datasets from public data in mins

https://mostlyright.md/datasets/kalshi-settlement-rules-and-sources-2026
1•Bobono•9m ago•0 comments

Military jet triggered UK's latest air traffic meltdown

https://www.ft.com/content/e070149c-70a4-41ee-a829-0630abb2ce35
2•jasoncartwright•9m ago•0 comments

I Am a Flat-Rate Monthly Responsibility Service

https://matduggan.com/i-am-a-flat-rate-monthly-responsibility-service/
2•weaksauce•9m ago•0 comments

I spent $220 on Google app ads. 60% of the installs were robots

https://dayzlegame.com/blog/google-ads-bot-farm/
1•nickabe•10m ago•0 comments

Ask HN: How are much smarter AI models made?

1•superasn•11m ago•0 comments

Codeveloper of Ethernet Predecessor Dies at 91

https://spectrum.ieee.org/codeveloper-of-ethernet-predecessor-dies
2•Brajeshwar•13m ago•1 comments

GPT-6 Astra does 3D camera tracking and VFX in Blender

https://twitter.com/ryanvogel/status/2098477000843211081
2•ryanvogel•13m ago•0 comments

Hackers are stealing Claude tokens from subscribers

https://techcrunch.com/2026/09/08/hackers-are-stealing-claude-tokens-from-subscribers/
1•gscott•14m ago•0 comments

Show HN: Minimal Static Website Hosting Tool

https://github.com/VictorioBerra/mistatic
1•Lord_Zero•14m ago•0 comments

LLMs Are Cheating [video]

https://www.youtube.com/shorts/skV0hDd-chM
1•adaba1234•15m ago•0 comments

An Analysis of Two Architectures for Agentic Data Analysis

https://www.starburst.io/blog/an-analysis-of-two-architectures-for-agentic-data-analysis/
2•abadid•15m ago•1 comments

My golf simulator now hosts local LLMs

https://yatharth.xyz/blog/why-redmonitor
1•y99•16m ago•0 comments

Cops Play Hide and Seek About Using Spy Tech to Avoid Scrutiny and Bad PR

https://www.eff.org/deeplinks/2026/09/cops-play-hide-and-seek-about-using-spy-tech-avoid-scrutiny...
2•paimapi•16m ago•1 comments

Inside the OpenAI agent swarm that hacked Hugging Face (video)

https://www.dwarkesh.com/p/ajeya-cotra
1•mooreds•18m ago•0 comments

The Second Plane, 25 Years Later [video]

https://www.youtube.com/watch?v=84gzkfDXkAU
2•ebb_earl_co•18m ago•2 comments

Postgres Select Distinct Does Not Scale

https://www.dbos.dev/blog/postgres-select-distinct-does-not-scale
2•qianli_cs•19m ago•0 comments

The emerging AI paper-review arms race

https://arxiv.org/abs/2609.07713
1•anigbrowl•20m ago•0 comments

Huawei showcases a 7.2Tbps near-package optics module for AI infrastructure

https://technode.com/2026/09/11/huawei-showcases-a-7-2tbps-near-package-optics-module-for-ai-infr...
1•yogthos•20m ago•0 comments

Mammouth AI

https://mammouth.ai
1•LelouBil•21m ago•0 comments
Open in hackernews

Agents on Rails: Best model solves 35% of feature benchmark runs

https://rubyonrails.org/2026/9/9/agents-on-rails-stage-2
7•chalmovsky•53m ago

Comments

chalmovsky•52m ago
this seems really low?
andhuman•42m ago
This benchmark expects models to not only do the happy path, but also edge cases, even though the ticket they give to the model doesn’t specify if. This to align more to real world tickets. Usually with benchmarks it’s the other way around: only implement what’s asked. So I welcome this type of benchmark because this is how I use the models.