frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Open in hackernews

What Is the Atmosphere?

https://lab.leaflet.pub/3mrq6ma5dgs2x
4•danabramov•47m ago

Visa time limits on foreign PhD students and postdocs will harm U.S. science

https://www.statnews.com/2026/07/28/dhs-visa-policy-change-international-students-scientific-rese...
2•Jimmc414•47s ago•0 comments

Wikimedia Won't Voluntarily Recognize Union a Supermajority of Its Workers Want

https://www.404media.co/wikimedia-waits-until-after-its-massive-conference-to-say-it-wont-volunta...
3•pizzaiolo•1m ago•0 comments

Point AI at a "Proven" Microkernel?

2•RantyDave•1m ago•0 comments

Anthropic publishes a practical key-recovery attack on HAWK-256

https://github.com/anthropics/cryptography-research-demo
2•bakigul•1m ago•0 comments

Farmers Are Getting Control of Their Equipment Back

https://www.eff.org/deeplinks/2026/07/farmers-are-getting-control-their-equipment-back
3•Jimmc414•2m ago•0 comments

Iran Has Figured Out How to Overwhelm U.S. Air Defenses

https://theintercept.com/2026/07/28/iran-missiles-drones-us-air-defenses/
4•Jimmc414•4m ago•0 comments

AI Shi(f)ts the Cost to the Reader

https://aloutfi.com/writing/ai-shifts-the-cost-to-the-reader
2•anloutfi•4m ago•0 comments

FBI Seeks AI for Political Watch List

https://reason.com/2026/07/28/minority-report-fbi-seeks-ai-for-political-watch-list/
6•devonnull•7m ago•1 comments

Why Rocq is better than Lean for program verification

https://joomy.korkutblech.com/posts/2026-07-28-why-rocq-is-better.html
2•joomy•7m ago•1 comments

Code review (as we know it) needs to die

https://alexlooney.substack.com/p/code-review-as-we-know-it-must-die
2•looknee•7m ago•0 comments

Nvidia's Jensen Huang meets Lutnick amid China scrutiny

https://www.axios.com/2026/07/28/nvidia-jensen-huang-lutnick-meeting-china-ai
4•billybuckwheat•10m ago•0 comments

Show HN: An MMO for AI agents where cooking a pizza requires a civilization

https://spacemolt.beehiiv.com/p/to-make-a-pizza-you-must-first-invent-civilization
1•statico•10m ago•0 comments

Relaxin Jailbreak for iOS 17.0-17.3.1 Released

https://onejailbreak.com/blog/relaxin-jailbreak-enters-closed-beta-for-ios-17/
1•madihaa•11m ago•0 comments

Claude may have leaked your chats to the public

https://lifehacker.com/tech/your-claude-chats-may-have-been-exposed-on-google
3•zapataband1•12m ago•1 comments

Experimental explosion detected off Florida coast sparks earthquake alert

https://www.dailymail.com/sciencetech/article-16011619/experimental-explosion-florida-coast-navy....
1•Bender•14m ago•0 comments

Paramount Agrees to Delay Warner Bros. Merger for Months

https://www.nytimes.com/2026/07/24/business/media/paramount-warner-bros-merger-delayed.html
1•cdrnsf•15m ago•0 comments

Drinks at work? Svedka debuts office water vodka cooler

https://ktla.com/news/consumer-business/drinks-at-work-svedka-debuts-office-water-vodka-cooler/
2•Bender•15m ago•1 comments

Tesla buys the output of a new 140 MW Texas solar farm

https://electrek.co/2026/07/28/tesla-buys-texas-solar-farm-output-zelestra/
2•Bender•17m ago•0 comments

The Anthropic-Physical Intelligence Rumor Roiling AI Twitter

https://techcrunch.com/2026/07/21/the-anthropic-physical-intelligence-rumor-roiling-ai-twitter/
2•gmays•17m ago•0 comments

VRSE: Validated Regional Support Expansion for PyTorch

https://github.com/Byte-Naut/vrse-pytorch
1•Byte-Naut•22m ago•0 comments

Show HN: Vyne – Zapier for DeFi users, run from any LLM or the workflow builder

https://app.vyne.finance
1•rajgoesout•23m ago•0 comments

'The Odyssey' Translator Emily Wilson Slams Nolan's 'Abysmal' Screenplay

https://variety.com/2026/film/news/odyssey-translator-emily-wilson-slams-christopher-nolan-bad-wr...
4•handfuloflight•24m ago•0 comments

Half-Life ported to Mac OS 9

https://mac-classic.com/news/half-life-ported-to-mac-os-9/
1•freediver•25m ago•0 comments

A Look Behind the Data: How Whoop Measures Heart Rate

https://www.whoop.com/us/en/thelocker/a-look-behind-the-data-how-whoop-measures-heart-rate/
2•brandonb•26m ago•0 comments

Show HN: Verifiable receipts for firmware CVE reproduction

https://github.com/prevotai/colmena
1•TheLuisBolivar•30m ago•0 comments

OpenAI just open-sourced Codex Security

https://github.com/openai/codex-security
66•bakigul•31m ago•5 comments

The Phone Scammers Next Door

https://torontolife.com/deep-dives/the-phone-scammers-next-door/
1•nianderwallace•32m ago•0 comments

Tailark

https://tailark.com
1•handfuloflight•34m ago•0 comments

Goodhart's Law Comes for Every Benchmark You Trust

https://cacm.acm.org/blogcacm/goodharts-law-comes-for-every-benchmark-you-trust/
3•alasr•37m ago•0 comments

I sent Claude Opus 5 '–-' and it wrote me 5k tokens about a cartographer

https://austinsnerdythings.com/2026/07/28/claude-opus-5-dangling-document-effect/
15•auspiv•38m ago•5 comments