frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Jensen Huang resigns

https://apnews.com/article/nvidia-megaspeed-china-singapore-huang-5403f152a601cf82ce939f1d24fffa0f
2732•lldb•9h ago•2608 comments

Why You Should Expect an AI Crash

https://www.economist.com/leaders/2026/11/12/why-you-should-expect-an-ai-crash
40•toomuchtodo•35m ago•15 comments

Rust 1.100

https://blog.rust-lang.org/2026/11/12/Rust-1.100.0/
311•mbStavola•5h ago•137 comments

Gemini 4 Hydrogen and Orchestrator

https://antigravity.google/blog/gemini-4-hydrogen-in-google-antigravity/
239•jonbaer•4h ago•58 comments

Foundation Models framework

https://developer.apple.com/foundation-models-framework/
87•kermatt•2h ago•10 comments

Dwarf planet candidate appears which takes roughly 280 years to orbit our sun

https://www.smithsonianmag.com/smart-news/astronomers-found-a-mysterious-object-orbiting-far-beyo...
169•cybermango•4h ago•79 comments

AI is turning Apple's app review process into a nightmare for synth developers

https://synthanatomy.com/2026/11/ai-is-turning-apples-app-review-process-into-a-nightmare-for-dev...
53•anigbrowl•2h ago•43 comments

Show HN: My $300 embroidery machine needed a subscription, so I built my own app

https://github.com/simpsoka/zigzag
265•simpsoka•6h ago•113 comments

Service degradation on Microsoft 365

https://status.cloud.microsoft/
410•dkpk•5h ago•394 comments

22-Year-Old PostgreSQL Bug Turned into Remote Code Execution

https://mehmetince.net/part-3-6-how-i-ended-up-turning-a-22-year-old-postgresql-type-confusion-pr...
124•ozirus•5h ago•14 comments

I'm making LLMs work on small and old devices

https://github.com/hyperionaidev/smolmaxxing/
263•mrashad74•8h ago•88 comments

Abandoned Quake 4 expansion finished by modders and now playable

https://www.moddb.com/mods/openq4/downloads/openq4-0141-windows-x64
230•klaussilveira•9h ago•80 comments

Relax: JIT compiler for Rust to reduce build times

https://makepad.github.io/relax/
96•adamnemecek•1d ago•40 comments

Gemini 4 Hydrogen

https://blog.google/innovation-and-ai/models-and-research/gemini-models/introducing-gemini-4-hydr...
426•dvaplima•5h ago•281 comments

Safety in Algae Home Experiments

https://chillphysicsenjoyer.substack.com/p/algae-safety-in-home-experiments
21•surprisetalk•2d ago•3 comments

Chinese frontier AI models carry the fingerprint of export-controlled GPUs

https://unemploymentlabs.com/checkpoint-forensics
88•firloop•1h ago•19 comments

Why writing correct software is hard and why math (alone) won’t help us (2016)

https://pron.github.io/posts/correctness-and-complexity
348•AriFordsham•13h ago•166 comments

Show HN: Kapso – Iterative learning from enterprise data

34•alirezamshi•5h ago•9 comments

Talking Zen 6 with Mike Clark at AMD In-Depth

https://chipsandcheese.com/p/talking-zen-6-with-mike-clark-at
177•dverlaeckt80•9h ago•2 comments

Distributed Ray Tracer

https://ray.hatchet.run
31•juliusgeo•4h ago•11 comments

Anthropic IPO

https://ipo.anthropic.com/us/
786•josephljohnston•11h ago•781 comments

Words of warning about radiocarbon dating medieval human bones

https://www.nature.com/articles/s40494-026-02958-x
50•gumby•1d ago•6 comments

Adapting CPython for Yk

https://tratt.net/laurie/blog/2026/adapting_cpython_for_yk.html
36•frostbyte7•10h ago•1 comments

Show HN: AgentRun – open-source, Self-improving Managed Agents

https://github.com/Parcha-ai/agentrun/blob/main/README.md
71•miguelrios•5h ago•11 comments

•2h ago

Our software engineering interviews are changing a little

https://blog.janestreet.com/software-engineering-interviews-are-changing-a-little/
158•maitland•9h ago•149 comments

Beyond the compiler: Making IBM i run modified native code

https://blog.silentsignal.eu/2026/11/10/Beyond-the-compiler-Making-IBM-i-run-modified-native-code...
8•dnet•2d ago•1 comments

ExcalidrawZ: Local Native Excalidraw on macOS/iOS

https://github.com/chocoford/ExcalidrawZ
101•Qision•8h ago•24 comments

A live tree of systemd jobs on the boot console

https://codeberg.org/wvhulle/bootvine
351•orhunp_•3d ago•139 comments

Libreagi – Save OSS Models

https://libreagi.com/
120•satuke•9h ago•24 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/