frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

OpenAI Submits S-1 Draft to SEC

https://openai.com/index/openai-submits-confidential-s-1/
207•hackerBanana•2h ago•114 comments

Surveillance Is Not Safety: A statement on the UK's latest threat to privacy [pdf]

https://signal.org/blog/pdfs/2026-06-08-uk-surveillance-is-not-safety.pdf
323•g0xA52A2A•4h ago•93 comments

Siri AI

https://www.apple.com/apple-intelligence/
351•0xedb•5h ago•278 comments

Show HN: Performative-UI – A react component library of design tropes

https://vorpus.github.io/performativeUI/
722•lizhang•9h ago•146 comments

MiMo-v2.5-Pro-UltraSpeed: 1T model with 1000 tokens per second

https://mimo.xiaomi.com/blog/mimo-tilert-1000tps
470•gainsurier•8h ago•318 comments

Apple Core AI Framework

https://developer.apple.com/documentation/coreai/
143•hmokiguess•4h ago•21 comments

EU-banned pesticides found in rice, tea and spices

https://www.foodwatch.org/en/eu-banned-pesticides-found-in-rice-tea-and-spices
207•john-titor•7h ago•76 comments

Anti-social: It's fads, not friends, which now dominate social media feeds

https://www.bbc.com/worklife/article/20260520-how-social-media-ceased-to-be-social
523•1vuio0pswjnm7•11h ago•382 comments

Show HN: Gitdot – a better GitHub. Open-source, written in Rust

https://gitdot.io/
111•baepaul•6h ago•98 comments

xAI is looking more like a datacentre REIT than a frontier lab

https://martinalderson.com/posts/xais-new-rental-business/
363•martinald•8h ago•276 comments

Why are cells small?

https://burrito.bio/essays/what-limits-a-cells-size
98•mailyk•4h ago•42 comments

Apple reveals new AI architecture built around Google Gemini models

https://www.macrumors.com/2026/06/08/apple-reveals-new-ai-architecture/
306•unclefuzzy•4h ago•288 comments

Looking Forward to Postgres 19: Query Hints

https://www.pgedge.com/blog/looking-forward-to-postgres-19-query-hints
18•jjgreen•3d ago•2 comments

FrontierCode

https://cognition.ai/blog/frontier-code
69•streamer45•3h ago•15 comments

Ask HN: What are tools you have made for yourself since the advent of AI?

115•aryamaan•5h ago•204 comments

Doing Something That's Never Been Done Before

https://talglobus.com/p/doing-something-thats-never-been-done-before/
21•surprisetalk•3d ago•6 comments

Launch HN: Intuned (YC S22) – Build and run reliable browser automations as code

https://intunedhq.com
97•fkilaiwi•10h ago•44 comments

AI is slowing down

https://www.wheresyoured.at/ai-is-slowing-down/
345•crescit_eundo•7h ago•372 comments

Fooling Go's X.509 Certificate Verification

https://danielmangum.com/posts/fooling-go-x509-certificate-verification/
32•hasheddan•2d ago•16 comments

Show HN: Mach – A compiled systems language looking for contributions

https://github.com/octalide/mach
4•octalide•41m ago•0 comments

Switzerland wil have a referendum to cap population at 10M

https://www.admin.ch/en/sustainability-initiative
218•napolux•4h ago•431 comments

OCaml Onboarding: Introduction to the Dune build system

https://ocamlpro.com/blog/2025_07_29_ocaml_onboarding_introduction_to_dune/
139•andrewstetsenko•4d ago•17 comments

Stop the Apple Music app from launching

https://lowtechguys.com/musicdecoy/
553•bobbiechen•6h ago•220 comments

1worldflag: A blue dot on a transparent background

https://1worldflag.com/
160•davidbarker•22h ago•137 comments

Using XDG-Compliant Config Files (2024)

https://wxwidgets.org/blog/2024/01/using-xdg-compliant-config-files/
34•ankitg12•4d ago•7 comments

120k Lines of Rust: Inside the Nosdesk Backend

https://kyle.au/blog/nosdesk-backend-rust
34•kylephillipsau•2d ago•2 comments

The Cypherpunk Library

https://www.cypherpunkbooks.com
352•yu3zhou4•15h ago•94 comments

Massachusetts bans sale of precise location data in new privacy rights bill

https://techcrunch.com/2026/06/08/massachusetts-votes-to-pass-new-privacy-rights-bill-that-bans-s...
231•01-_-•6h ago•36 comments

How much of Thermo Fisher's antibody data has been manipulated?

https://reeserichardson.blog/2026/05/28/how-much-of-thermo-fishers-antibody-data-has-been-manipul...
394•mhrmsn•16h ago•87 comments

Apple bets cheaper AI will woo small developers

https://techcrunch.com/2026/06/08/apple-bets-cheaper-ai-will-woo-small-developers/
6•jbernardo95•2h ago•0 comments
Open in hackernews

Computational Complexity of Air Travel Planning [pdf] (2003)

http://www.demarcken.org/carl/papers/ITA-software-travel-complexity/ITA-software-travel-complexity.pdf
76•rochoa•1y ago

Comments

buildsjets•1y ago
This is well over 20 years old and is based on pre 9/11 flight data. I would suspect that a lot has changed since then. So proceed with no caution at all.
gwern•1y ago
Since these sorts of things usually only get more and more complex over time, I would guess that it's all still true, but much more so.
throw0101b•1y ago
(2003)
throw0101b•1y ago
The PDF was produced by ITA, which famously used Common Lisp:

* https://en.wikipedia.org/wiki/ITA_Software

From 2001, a message from the same author as the linked paper:

> (Here's an email Carl de Marcken of ITA Software sent to a friend, describing their experiences using Lisp in one of the software industry's most demanding applications.)

* https://www.paulgraham.com/carl.html

Qem•1y ago
Are there any public, open, comprehensive datasets on flights?
dieselerator•1y ago
> Are there any public, open, comprehensive datasets on flights?

Airlines and commercial aviation operators schedule their own flights. That is a dynamic schedulle. So, perhaps there is no "comprehensive data set".

However, FlightAware makes publicly available scheduled and completed flight data over many routes in the USA. You can search by route and get a list of flights.

Flight information includes filed departure time, route of flight, and speed. For completed flights actual time, altitude, and route is shown. For example, a search on the route Dallas/Fort Worth to Austin lists 45 flights.

I hope that helps.

foundart•1y ago
A very interesting dive into, as the title says, the computational complexity of air travel planning. Graph algorithms with lots of complexity added due to the wide variety of fare conditions that airlines have dreamt up over the years.

The article may be from 2003 but I would call it an evergreen. While I imagine some of the details have changed since then, I suspect that the complexity has only grown since then.

foundart•1y ago
It makes me wonder: Would an airline that drastically simplified its fares be more likely to appear in flight search results?

Simplifying the fares would make it less computationally expensive and, in theory, could take fewer steps to answer a flight planning query.

Imagine a flight search planner that, say, fanned out N airline-specific workers when handling a planning query and then displayed to the user whatever results it got back within some time limit. If FooAir had simple fares, the FooAir searcher would likely run faster than searchers for other airlines. Thus it would be more likely to return results for more queries, assuming the deadline is fairly tight because of usability metrics. (People don't tend to stick around waiting for slow results.)

sjburt•1y ago
At least a few years ago (~2014), the fare search was actually nearly instant, but all major airfare search sites added a delay because customers had the impression they were getting a better deal when they had to wait. It seems like the delay has been dialed back lately.
teleforce•1y ago
This is a very popular article that get submitted every now and then (nearly every year) [1].

I think this kind of problem would be a very nice for logic, optimization and constraint programming that probably can be solved with modern tools like Google OR-Tool or Monash University MiniZinc [1],[2],[3].

[1] Past:

https://hn.algolia.com/?query=Computational%20Complexity%20o...

[2] Logic, Optimization, and Constraint Programming: A Fruitful Collaboration - John Hooker - CMU (2023) [video]:

https://www.youtube.com/live/TknN8fCQvRk

[3] Google OR-Tools:

https://developers.google.com/optimization

[4] MiniZinc:

https://www.minizinc.org/