frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Deus Ex in the Browser

https://jeromem.dev/Experiments/Deus+Ex+in+the+Browser
1•measurablefunc•46s ago•0 comments

Programming Language Foundations in Agda

https://plfa.github.io/
1•solomonb•2m ago•1 comments

A 'Ludicrously Ugly' Bridge Is Exhibit a That Britain Has Lost Its Mojo

https://www.wsj.com/world/uk/a-ludicrously-ugly-bridge-is-exhibit-a-that-britain-has-lost-its-moj...
1•nextos•6m ago•0 comments

Show HN: Glider: A single-node vector database with S3 as its only durable state

https://github.com/omerfeyzioglu/glider
1•omerfeyzioglu•9m ago•0 comments

Eight Bytes in One Register

https://www.yagiz.co/eight-bytes-in-one-register
1•f311a•12m ago•0 comments

MCP events: who writes the first prompt now?

https://timeline.differentiated.io/guides/mcp-events
1•marcelmarais•15m ago•0 comments

Colleges need to teach last-mile knowledge

https://hollisrobbinsanecdotal.substack.com/p/colleges-need-to-teach-last-mile
1•paulpauper•17m ago•0 comments

Show HN: Bullet Script (bs) – a Lisp(y) VM for shmup bullet patterns

http://bs.ell.dev/
2•ellg•17m ago•0 comments

O.J. Simpson, a Secret Informant and a Decades-Old Mystery

https://www.nytimes.com/2026/10/18/us/oj-simpson-ippolito-informant-accomplice.html
1•jgalt212•17m ago•0 comments

Vizen – Open-source overlays for Windows, crop any window over your game

https://github.com/kalinvisuals/VIZEN
1•kalinvisuals•18m ago•0 comments

My Favorite Restaurant Served Gas (2023)

https://bittersoutherner.com/feature/2023/my-favorite-restaurant-served-gas-kate-medley-kiese-lay...
1•wmchen•18m ago•0 comments

Monthly Roundup #47: October 2026

https://thezvi.substack.com/p/monthly-roundup-47-october-2026
1•paulpauper•18m ago•0 comments

Top Mathematician Announces New Institute for A.I. Safety

https://www.nytimes.com/2026/09/08/science/jacob-tsimerman-math-ai-safety.html
1•paulpauper•18m ago•0 comments

OpenAI's blockbuster math proof isn't what you think it is

https://www.scientificamerican.com/article/openais-blockbuster-navier-stokes-proof-isnt-what-we-t...
1•tibbar•21m ago•0 comments

United's CEO Says It Should Cost More Not to Sit in the Middle Seat

https://www.nytimes.com/2026/10/18/business/scott-kirby-united-airlines.html
2•cwwc•21m ago•1 comments

VMMouse for NT 3.x: QEMU/VMware mouse integration driver

https://github.com/rhargreaves/vmmouse-nt3
1•kiyouta•23m ago•0 comments

Netflix Lays Off About 6% of Staff in Biggest Job Cuts Since 2022

https://www.wsj.com/business/media/netflix-eliminates-about-6-of-staff-in-biggest-cuts-since-2022...
5•corvad•24m ago•3 comments

Show HN: Keel – One event-sourced context graph for all your agents

https://github.com/angelkurten/keel
1•angelkurten•33m ago•0 comments

Consumer apprehension grows as US retailers adopt AI-assisted pricing tools

https://apnews.com/article/ai-prices-dynamic-customers-technology-64c446cd117d3be664de4ab570fb9857
2•geox•34m ago•1 comments

Leviathan LLM Inference

https://github.com/CuppaTea1983/Leviathan
2•michaelrickynea•35m ago•1 comments

Ask HN: A plea to help me help my father

6•10917887•36m ago•2 comments

Mikhail-Who?

https://physicsworld.com/a/mikhail-who/
1•Eridanus2•37m ago•0 comments

A commodity price tracking website with a few fun tools

https://www.commoditywatch.net
1•CommodityWatch•41m ago•1 comments

Beating Warcraft III's insane AI with self-play reinforcement learning on one PC

https://warlock.ai/blog/warcraftsim-1/
1•nawtora•41m ago•0 comments

Show HN: DebtShark – Consumer Legal Defense and Debt Settlement Workstation

https://boredpolymath.github.io/debtshark/
1•boredpolymath•43m ago•0 comments

Show HN: Lungo Generates Rust, Python, from Lean Proof Source

https://machinefabric.com/lungo/
1•joeharshamshiri•43m ago•1 comments

LLM01: 2025 Prompt Injection

https://genai.owasp.org/llmrisk/llm01-prompt-injection/
1•joebig•46m ago•0 comments

Show HN: Dieline generator for packaging (type the size, get the drawing)

https://die-lines.com/
1•timohin•47m ago•0 comments

US threatens Europe over Starlink restrictions

https://www.ft.com/content/d1e28d93-8574-4a46-946a-b261c401d6fa
33•mraniki•49m ago•27 comments

Two Mac Studios Are Not One 1 TB Computer

https://duruldalkanat.medium.com/two-mac-studios-are-not-one-1-tb-computer-abba6561e73c
1•durul•49m ago•0 comments
Open in hackernews

US threatens Europe over Starlink restrictions

https://www.ft.com/content/d1e28d93-8574-4a46-946a-b261c401d6fa
33•mraniki•49m ago
https://archive.is/9GrWd

Comments

Betelbuddy•26m ago
Nobody is afraid of the US anymore. You lost a war with Iran and they did not even put forward a Navy or an Air Force...
ranger_danger•19m ago
That doesn't make their treatment of other countries go away.
hparadiz•5m ago
The United States has been in a war with Iran since 1979. Since then they have been promising "Death to America" all the while funding and supporting our enemies.

Since then the United States has dismantled their Navy systematically several times.

At the moment they are

- Blockaded.

- Entire leadership dead.

- Major infrastructure bombed to rubble

- Inability to project power beyond a few random pot shots at neighbors that aren't even the US.

- Proxies neutered or entirely destroyed in Syria and Iraq.

- De facto leader still in hiding and afraid for his life even as I type this.

- Unable to field a single ship in their own home port.

Man if this is winning I wanna know what losing is.

mijoharas•2m ago
brent crude futures are trading above 109$/barrel right now. America didn't want that to happen, Iran did. They won that one.
rebolek•2m ago
We have always been at war with Eastasia.
objclxt•2m ago
> Inability to project power beyond a few random pot shots at neighbors that aren't even the US.

This is a very funny way of saying “has de facto control of one of the world’s most important shipping lanes”.

sega_sai•22m ago
It is the same starlink that was disabled on request of either WH or Musk to bully Ukraine.
estearum•22m ago
Seems to me that Starlink is de facto an organ of the US government at this point. Should just be nationalized so a demonstrably unstable foreigner doesn't control something of such vital importance.
majorchord•17m ago
You think Trump wouldn't immediately promote Musk to General?
jacquesm•7m ago
He would if he could. And let's not give him any ideas. Musk can do enough damage as it is.
gonight•7m ago
The idea of a drug addicted undocumented immigrant being in charge of our space program and sat comms does seem incredibly unwise.
DennisP•2m ago
The Starshield portion of Starlink is already controlled by the government. It was Starshield that restricted access to Ukraine, and the decision reportedly came from the White House.

https://www.reuters.com/world/europe/order-limit-starshield-...

OP's article of course is about spectrum allocation in the US and potential trade retaliation, which isn't all that related to Musk's control of Starlink.

BoardsOfCanada•21m ago
https://archive.is/9GrWd
dddw•21m ago
https://archive.is/9GrWd
majorchord•16m ago
I thought it was Starshield that was restricted, not Starlink, which was already restricted like all civilian tech?
jjk166•7m ago
Europe is putting economic restrictions on Starlink; the technical restrictions the US placed on Starshield are unrelated.
cjs_ac•15m ago
> European companies face “devastating” retaliation from Washington if Brussels presses ahead with plans to restrict American rivals such as Elon Musk’s SpaceX from parts of the European market, the US ambassador to the EU has warned.

> Andrew Puzder’s warning comes after the European Commission this year proposed reserving part of its spectrum band that allows smartphones to connect directly to satellites for European players. That would limit the frequencies for Chinese and US companies such as SpaceX, which operates the Starlink satellite network.

> Asked whether European companies should fear retaliation, Puzder told the FT that they “should be wary that it could happen and it would be very devastating for those companies”, given the size of the American market.

Eh, this seems like a fairly even tit-for-tat, for once.

ben_w•11m ago
> Asked whether European companies should fear retaliation, Puzder told the FT that they “should be wary that it could happen and it would be very devastating for those companies”, given the size of the American market.

Would this even be "devastating"? Would any of them been able to sell in the US anyway, given the position Starlink is in? I see occasional headlines that Starlink is forcing out other US providers, from the US, but even without that kind of thing going on, this doesn't even feel like much of a threat.

amelius•10m ago
I wonder what history would be like if Trump had been president during WW2.
jacquesm•8m ago
Mein Deutsch waere viel besser gewesen...
UncleOxidant•6m ago
The UK would most likely be speaking German now. Possibly even the US.
amelius•9m ago
Ban Teslas in Europe then. Being selective works both ways.
croes•9m ago
> Asked whether European companies should fear retaliation, Puzder told the FT that they “should be wary that it could happen and it would be very devastating for those companies”

Devastated companies can’t buy US products.

So go on and hit your exports again

DataDive•7m ago
If I understand this correctly the Europeans hope that by banning the spectrum where Starlink operates, they will spur the development of home grown operators that provide the same service ... is that realistic?
ben_w•2m ago
Even if we don't spur the development of home grown operators (and IMO launch on the scale of Starlink is somewhat unrealistic any time soon), it will at least prevent us getting get another incidental dependency on US systems which we can be threatened with loss of access to at any point.
jmclnx•3m ago
And yet companies are wondering why the EU is moving to build their own tech sector, separate from the US. Another reason why.

And the big winner of this is China. I heard China is building its own starlink and I would not be surprised they will offer verifiable guarantees to the EU on spying should the EU want to use China's version.

China should be sending Trump all kinds of Thank You notes. Trump already gave China the lead in Medical Research, Trump is helping China to take over Chip Development and he just started handing China the lead in AI.

You get what you vote for. At least the US will be the leader in Bible Research.