frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

Is Gemini 2.5 good at bounding boxes?

https://simedw.com/2025/07/10/gemini-bounding-boxes/
168•simedw•4h ago•36 comments

Measuring the Impact of AI on Experienced Open-Source Developer Productivity

https://metr.org/blog/2025-07-10-early-2025-ai-experienced-os-dev-study/
9•dheerajvs•24m ago•2 comments

Flix – A powerful effect-oriented programming language

https://flix.dev/
61•freilanzer•2h ago•29 comments

Analyzing Database Trends Through 1.8M Hacker News Headlines

https://camelai.com/blog/hn-database-hype/
36•vercantez•2d ago•11 comments

Optimizing a Math Expression Parser in Rust

https://rpallas.xyz/math-parser/
98•serial_dev•7h ago•47 comments

Seven Engineers Suspended After $2.3M Bridge Includes 90-Degree Turn

https://www.vice.com/en/article/7-engineers-suspended-after-2-3-million-bridge-includes-bizarre-90-degree-turn/
62•_sbl_•43m ago•47 comments

Underwater turbine spinning for 6 years off Scotland's coast is a breakthrough

https://apnews.com/article/tidal-energy-turbine-marine-meygen-scotland-ffff3a7082205b33b612a1417e1ec6d6
63•djoldman•2h ago•58 comments

How to prove false statements: Practical attacks on Fiat-Shamir

https://www.quantamagazine.org/computer-scientists-figure-out-how-to-prove-lies-20250709/
165•nsoonhui•7h ago•128 comments

Automatically Packaging a Haskell Library as a Swift Binary XCFramework

https://alt-romes.github.io/posts/2025-07-05-packaging-a-haskell-library-as-a-swift-binary-xcframework.html
22•Bogdanp•2d ago•0 comments

Show HN: Typeform was too expensive so I built my own forms

https://www.ikiform.com/
121•preetsuthar17•7h ago•70 comments

Mini robots detect and fix water pipe leaks without digging

https://www.foxnews.com/tech/mini-robots-detect-fix-water-pipe-leaks-without-digging
61•Bluestein•2d ago•42 comments

Diffsitter – A Tree-sitter based AST difftool to get meaningful semantic diffs

https://github.com/afnanenayet/diffsitter
16•mihau•4h ago•3 comments

Perplexity launches Comet, an AI-powered web browser

https://techcrunch.com/2025/07/09/perplexity-launches-comet-an-ai-powered-web-browser/
12•gniting•1d ago•2 comments

Red Hat Technical Writing Style Guide

https://stylepedia.net/style/
5•jumpocelot•1h ago•0 comments

Tree Borrows

https://plf.inf.ethz.ch/research/pldi25-tree-borrows.html
542•zdw•1d ago•139 comments

Author of William the Conqueror's 'Medieval Big Data' Project Revealed

https://www.ox.ac.uk/news/2025-07-02-author-william-conqueror-s-medieval-big-data-project-revealed
39•zeristor•3d ago•5 comments

A Typology of Canadianisms

https://dchp.arts.ubc.ca/how-to-use
229•gnabgib•18h ago•258 comments

Thunderbird 140 “Eclipse”

https://blog.thunderbird.net/2025/07/welcome-to-thunderbird-140-eclipse/
249•TangerineDream•2d ago•169 comments

MCP-B: A Protocol for AI Browser Automation

https://mcp-b.ai/
298•bustodisgusto•18h ago•155 comments

FOKS: The Federated Open Key Service

https://foks.pub/
9•ubj•4h ago•0 comments

Grok 4 Launch [video]

https://twitter.com/xai/status/1943158495588815072
341•meetpateltech•12h ago•370 comments

Show HN: MCP server for searching and downloading documents from Anna's Archive

https://github.com/iosifache/annas-mcp
220•iosifache•19h ago•69 comments

Show HN: FlopperZiro – A DIY open-source Flipper Zero clone

https://github.com/lraton/FlopperZiro
330•iraton•23h ago•72 comments

Show HN: CXXStateTree – A modern C++ library for hierarchical state machines

https://github.com/ZigRazor/CXXStateTree
3•zigrazor•3d ago•2 comments

Solar power has begun to transform the world’s energy system

https://www.newyorker.com/news/annals-of-a-warming-planet/46-billion-years-on-the-sun-is-having-a-moment
280•dmazin•1d ago•432 comments

The jank programming language

https://jank-lang.org/
385•akkad33•3d ago•104 comments

The death of partying in the USA

https://www.derekthompson.org/p/the-death-of-partying-in-the-usaand
203•tysone•20h ago•362 comments

The Origin of the Research University

https://asteriskmag.com/issues/10/the-origin-of-the-research-university
119•Petiver•3d ago•32 comments

Radiocarbon dating reveals Rapa Nui not as isolated as previously thought

https://phys.org/news/2025-06-radiocarbon-dating-reveals-rapa-nui.html
41•wglb•2d ago•2 comments

Linda Yaccarino is leaving X

https://www.nytimes.com/2025/07/09/technology/linda-yaccarino-x-steps-down.html
524•donohoe•1d ago•950 comments
Open in hackernews

El Salvador Tells UN That US Has "Exclusive" Jurisdiction over Detainees

https://www.techdirt.com/2025/07/09/el-salvador-throws-doj-under-the-bus-tells-un-that-us-has-exclusive-jurisdiction-over-renditioned-detainees/
46•nadermx•14h ago

Comments

anigbrowl•11h ago
This is rather significant because the US has maintained in court filings that El Salvador has jurisdiction and any action by the US would be a violation of that country's sovereignty: https://abcnews.go.com/US/trump-administration-appeal-order-...

It now appears the administration has been straight up lying to the court.

southernplaces7•9h ago
This is a surprise because?

All presidential administrations use mendacity to one degree or another, but The Trump government has elevated official, public lying to a new rate that would take a plane to hypersonic speeds if it were a fuel source.

spwa4•7h ago
I'd argue compared to the UN itself the Trump administration is positively polite. Take the last few ICC incidents. South Africa and Mongolia have in the past 2 years publicly used the ICC for proceedings AND taken very, very, very public action ... to protect individuals convicted at the ICC against the court. And then there's Saudi Arabia, and allegedly India using diplomatic personnel as assassins.

https://www.bbc.com/news/articles/cwy527yex0no

https://www.bbc.com/news/world-africa-33157407

https://www.bbc.com/news/world-africa-65759630

There's another semi-country that has done a lot worse, even more publicly, but I don't want to turn this in the 20th Israel discussion.

When push comes to shove you have 3 groups at the UN:

1) the US, and to a much lesser extent France and UK, who are the only members of the UN security council that actually do anything to enforce UN principles. And frankly, they are generally attacked for doing so, and attacked when they decide not to.

2) there's countries that will provide lip service to UN principles but won't take action (and violate UN principles on a small scale themselves e.g. all European prison systems, oh and including Israel's and Canada's). Or who will, at most, provide small amounts of support to US efforts. I'd say this describes 80% of the EU, Canada, Switzerland, a few others. And of course, very publicly, it describes Israel. Israel definitely used to be in group 1, making significantly more than token efforts to support the UN, despite having no power in the security council. That hasn't stopped, but it gets sabotaged to the point of nonexistence.

3) countries who actively oppose UN principles, at the UN, in word and deed. This describes 20% of the EU (e.g. Hungary, Serbia, ...) and essentially everyone else (including security council members Russia and China, all muslim countries. Turkey used to be the exception, more in group 2, but not anymore, under Erdogan)

So you could as well say it's more of a case of the US joining the EU's style of politics. But many people would consider that offensive.

More general I would say it's the evolution we're seeing towards war. 5 years ago there were 3 active conflicts, and 100 "frozen" ones. 2 years ago there were 10 active conflicts. Now there are at least 30 active wars and increasing. Sadly, it isn't as simple as this being Trump's administration or any individual government's doing, in fact I am of the opinion that Trump's administration is trying to stop it, and on the other side Russia and China definitely deserve to be called out as a major cause. A lot of countries now sabotage international cooperation for political and ideological reasons rather than cooperate, with China's actions against shipping in the pacific (Taiwan, Philippines, Vietnam, even Australia at times) as currently as the worst example, but far from the only one (Russia, boycotts against Israel, ...), and it certainly seems like it's still getting worse. For 3 years now we're doing about 1 new armed conflict breaking out every 2 months.

It reminds me a lot of the pre-WW1 situation. Plenty of groups of countries that are belligerent as groups. EU/Turkey/Israel vs Russia/North Korea/Iran/"the non-aligned movement" who are doing trench warfare. US/Taiwan/Phillippines/Indonesia/Australia vs China. India vs Pakistan/Iran/Afghanistan. Muslim countries vs Africa. All of these groups have either constant naval warfare or entrenched warfare.

josefritzishere•5h ago
I think the correct terminology here is "surprise factor zero."
drivingmenuts•3h ago
> Kilmar Abrego Garcia, whom the US accidentally shipped to El Salvador

Why does the media insist on calling this an accident? It was a mistaken act committed intentionally.