frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

The Forgetful CPU (Linux on M4)

https://yuka.dev/blog-2026-10-02-linux-m4.html
89•signa11•10h ago•14 comments

Court agrees with EFF: Utah's VPN law demands a technical impossibility

https://www.eff.org/deeplinks/2026/10/court-agrees-eff-utahs-vpn-law-demands-technical-impossibility
492•hn_acker•1d ago•221 comments

Apple Pass Designer

https://developer.apple.com/pass-designer/
311•soheilpro•6h ago•210 comments

A 12-year sequence of telescope images of a star and four planets orbiting

https://bsky.app/profile/theplanetaryguy.com/post/3mwucf5ert22f
189•mariuz•14h ago•42 comments

Mike Tomlin spent 12 years building a Minecraft city

https://www.nytimes.com/athletic/7648198/2026/10/01/mike-tomlin-minecraft-nfl-coach/
256•CoryOndrejka•1d ago•74 comments

With most information hidden, the game Stratego had stumped AI until now

https://arstechnica.com/science/2026/10/ai-finally-beat-the-best-stratego-player-in-history-and-d...
173•PaulHoule•11h ago•84 comments

Muse Gadgets

https://gadgets.muse.ai
122•anant•5h ago•61 comments

Loss of cell identity drives human aging: Two new papers

https://erictopol.substack.com/p/loss-of-cell-identity-drives-human
173•bookofjoe•1d ago•46 comments

Greg Kroah-Hartman – Security in the LLM Age [video]

https://www.youtube.com/watch?v=NnV_cWeoo5Q
172•usernomdeguerre•22h ago•40 comments

From the creator of Redis; run LLM locally with ds4

https://dwarfstar.sh/
143•fibo•7h ago•37 comments

Updates to Full Disk Access in macOS

https://developer.apple.com/news/?id=p6zjojqw
114•notfirstpost•5h ago•66 comments

Things That Apparently Cause Cancer

https://www.breakthroughjournal.org/p/things-that-apparently-cause-cancer
4•timpera•49m ago•1 comments

Show HN: Made an open-source Lego AI generator

https://github.com/anteloc/ldraw-nova
66•antelocnova•5h ago•38 comments

FLUX 3 Image

https://bfl.ai/models/flux-3-image
268•minimaxir•1d ago•59 comments

Sites in ChatGPT

https://chatgpt.com/features/sites/
204•polvi•1d ago•216 comments

Every SaaS business will become a harness around a model

https://blog.sshh.io/p/the-harness-is-the-company
89•iacguy•4h ago•66 comments

The Legend of von Neumann (1973) [pdf]

https://gwern.net/doc/math/1973-halmos.pdf
240•suopspaces•11h ago•137 comments

One month coding with GLM 5.3 Flash

https://wagtail.org/blog/one-month-on-glm-53-flash/
104•ThibWeb•9h ago•80 comments

Our Project Suncatcher prototype satellite is in orbit

https://blog.google/innovation-and-ai/models-and-research/google-research/project-suncatcher-prot...
43•pantalaimon•13h ago•48 comments

Venice’s failed war against Constantinople led to the first bond market

https://bigthink.com/books/a-fabulous-debt/
67•RickJWagner•11h ago•22 comments

Show HN: Giving Opus 5.5 a simulated paint canvas

https://stillwet.art/
196•alstonite•1d ago•61 comments

Where Is the Planet

http://whereistheplanet.com
4•andsoitis•46m ago•0 comments

Open-sourcing AstaBrief, the fast report-generation model in Asta

https://allenai.org/blog/astabrief
18•malshe•3h ago•3 comments

Anatomy of a Lean proof for software engineers

https://agostbiro.net/posts/2026-10-anatomy-of-a-lean-proof/
74•abiro•1d ago•10 comments

Blogging with Gleam, Org-Mode and Pandoc

https://byzantine-systems.github.io/blogging-with-gleam-org-mode-and-pandoc/
53•schonfinkel•13h ago•12 comments

Zig v0.17.0

https://ziglang.org/download/0.17.0/release-notes.html
204•ErenayDev•4h ago•123 comments

The first packet sent via RFC1149 avian carrier is up for auction at Christie's

https://onlineonly.christies.com/s/fine-printed-books-manuscripts-science/carrier-pigeon-internet...
38•peter_hansteen•12h ago•9 comments

Billions of Triangles Redux

https://zeux.io/2026/09/30/billions-of-triangles-redux/
4•ibobev•2d ago•0 comments

Show HN: Pyxel – A Python retro game engine with built-in art and sound editors

https://github.com/kitao/pyxel
67•kitao•1d ago•8 comments

F.02 Decommission

https://www.figure.ai/news/f-02-decommission
60•ad_hockey•14h ago•23 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/