frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

AlphaProof Code

https://deepmind.google/blog/introducing-alphaproof-code/
130•ilreb•1h ago•57 comments

Amazon saves millions by replacing Sonnet 4.6 with Strands Decider

https://strandsagents.com/blog/amazon-saves-millions-replacing-sonnet-with-strands-decider/
424•aloukissas•7h ago•143 comments

Ableton Live 13

https://www.ableton.com/en/live/
14•phaser•31m ago•2 comments

Show HN: A 15 MB self-hosted Netflix and Spotify for your media server

https://github.com/HolyArrs/HolyArrs
40•CoderLuii•1h ago•23 comments

Fossil CO2 emissions decrease by 0.4% in 2026

https://news.exeter.ac.uk/faculty-of-environment-science-and-economy/fossil-co2-emissions-decreas...
79•giuliomagnifico•4h ago•63 comments

Claude Fable 5.2 and Mythos 5.2

https://www.anthropic.com/claude-fable-and-mythos-5-2
699•lairv•19h ago•862 comments

Don't buy AR glasses

https://blog.yaros.ae/dont-buy-ar-glasses/
7•Bluestein•18m ago•0 comments

USPS now offers official ZIP Code boundary polygons

https://postalpro.usps.com/zcb
656•munro•17h ago•331 comments

Show HN: Ghanaian street games you can play in the browser

https://www.ghanastreetgames.com/
28•samuelaidoo45•1d ago•5 comments

Your TV can see through walls

https://maurycyz.com/projects/fading/
177•Curiositry•8h ago•69 comments

Queens Public library under ransomware attack e-borrowing suspended

https://connect.queenslibrary.org/
73•rustyhancock•4h ago•60 comments

Anthropic to Seek $1.3T Valuation in IPO

https://www.wsj.com/finance/stocks/anthropic-to-seek-1-3-trillion-valuation-in-ipo-8337b669
24•sonabinu•39m ago•22 comments

Fireworks AI security breach impacts Notion and their customers

https://www.notion.com/help/security-incident-involving-a-third-party-ai-vendor
85•werrett•6h ago•24 comments

Billion Watts in the Speaker [video]

https://www.youtube.com/watch?v=PHOcTXYaMfg
42•Element_•2d ago•23 comments

Locating the source of a mysterious beep

https://simonwillison.net/2026/Nov/9/mysterious-beeps/
237•bigwheels•13h ago•116 comments

How hard is it to check for whitespace?

https://serce.me/posts/2026-10-30-how-hard-is-it-to-check-for-whitespace
62•theanonymousone•3d ago•14 comments

Foldable Flight: The Best Paper Airplanes

https://www.foldableflight.com
1091•vismit2000•1d ago•152 comments

Simon Winchester, Author of 'The Professor and the Madman,' Has Died

https://www.nytimes.com/2026/11/04/obituaries/simon-winchester-dead.html
6•benbreen•2d ago•3 comments

Payments Canada announces launch of Canada's Real-Time Rail (RTR) payment system

https://www.payments.ca/canada-launches-real-time-rail-bringing-247-payment-infrastructure-nation...
547•ocd•21h ago•313 comments

E-means: Outperforming k-means in one-tenth the epochs

https://e-means.github.io/
432•porridgeraisin•18h ago•53 comments

'C:\> FORMAT C:' – relax, it's just a screen saver

https://fakedos.com/
21•TheIncredibleCh•2h ago•11 comments

What Constant Surveillance Is Doing to Children

https://www.theatlantic.com/magazine/2026/12/location-tracking-apps-parental-surveillance/689031/
55•FinnLobsien•2h ago•31 comments

Horible public key tricks

https://maurycyz.com/projects/badcert/
193•Curiositry•13h ago•62 comments

Ultorg: The User Interface for Relational Databases

https://www.ultorg.com/
98•Ivoah•9h ago•28 comments

ClickHouse Acquires Xata

https://xata.io/blog/xata-is-joining-clickhouse
62•mebcitto•7h ago•7 comments

Semi-transparent, colored cadmium telluride photovoltaic panels in agrivoltaics

https://www.anthropocenemagazine.org/2026/10/magenta-solar-panels-may-be-agrivoltaics-cleverest-t...
329•speckx•22h ago•224 comments

Formalizing CPython

https://broyojo.com/python-formalization/
97•carnevalem•11h ago•40 comments

Show HN: Every satellite that passed over any place this week, and its photos

https://www.watched.earth
398•a585gupt•19h ago•71 comments

A primer on GPUs and kernel optimization

https://www.nabo.dev/blogs/kernel-primer
173•nomi_uw•4d ago•14 comments

The first 300-millimeter power silicon carbide (SiC) wafer

https://www.infineon.com/press-release/2026/infpr202611-028
145•sshah03•19h ago•84 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/