frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

OverpAId – Fire your CEO. Hire the future

https://overpaid.lol
407•ignaloidas•3h ago•185 comments

Back to Kagi

https://blog.melashri.net/micro/back-to-kagi/
67•speckx•51m ago•44 comments

Businesses with ugly AI menu redesigns

https://blog.fiddery.com/businesses-with-ugly-ai-menu-redesigns/
58•speckx•1h ago•32 comments

OpenAI and Hugging Face address security incident during model evaluation

https://openai.com/index/hugging-face-model-evaluation-security-incident/
1374•mfiguiere•17h ago•924 comments

Introduction to Formal Verification with Lean Part 1

https://hashcloak.com/blog/tutorial-introduction-to-formal-verification-with-lean-(part-1)
125•badcryptobitch•2d ago•12 comments

Why Do You Suck at Juggling?

https://pgadey.ca/notes/suck-at-juggling/
12•surprisetalk•1w ago•7 comments

Kimi K3 Is Competitive with Fable; Kimi K3 and Fable Is SoTA

https://fireworks.ai/blog/kimik3-fable
760•piotrgrabowski•15h ago•397 comments

Intel Starts Shipping High-NA EUV Silicon

https://morethanmoore.substack.com/p/intel-starts-shipping-high-na-euv
151•zdw•3d ago•57 comments

Original Apollo 11 Guidance Computer source code for command and lunar modules

https://github.com/chrislgarry/Apollo-11
117•noteness•8h ago•35 comments

Advertise in ChatGPT

https://ads.openai.com/
934•montecarl•19h ago•720 comments

Cornell's Interactive Wall of Birds

https://academy.allaboutbirds.org/features/wallofbirds/?_hsmi=428996456
18•yareally•3d ago•3 comments

Judge approves $1.5B Anthropic settlement for pirated books used to train Claude

https://apnews.com/article/ai-anthropic-copyright-settlement-claude-books-bartz-74b140444023898ae...
465•BeetleB•18h ago•426 comments

FreeInk: Open ecosystem for e-readers

https://freeink.org/
639•FriedPickles•19h ago•132 comments

10 REM"_(C2SLFF4

https://beej.us/blog/data/mystery-comment/
22•ingve•2h ago•4 comments

AMD Ryzen 7 7700X3D Review: 3D V-Cache Gaming Performance for Less – HotHardware

https://hothardware.com/reviews/amd-ryzen-7-7700x3d-gaming-cpu-review
31•rbanffy•3d ago•32 comments

Gemini 3.6 Flash, 3.5 Flash-Lite, and 3.5 Flash Cyber

https://blog.google/innovation-and-ai/models-and-research/gemini-models/gemini-3-6-flash-3-5-flas...
726•logickkk1•22h ago•544 comments

Late.sh – a command-line Clubhouse for computer people

https://late.sh/
244•itherseed•11h ago•85 comments

A digestion of the Jacobian conjecture counterexample

https://terrytao.wordpress.com/2026/07/21/a-digestion-of-the-jacobian-conjecture-counterexample/
286•jeremyscanvic•16h ago•118 comments

ScreenWall – Turn old phones into synced widgets for your space

https://screenwall.app/
61•buibuibui•5d ago•26 comments

Ten Steps Towards Happiness (2015)

http://hintjens.com/blog:99
179•emerongi•12h ago•75 comments

Jack Dorsey launches Buzz to combine team chat, AI agents and Git hosting

https://runtimewire.com/article/jack-dorsey-block-buzz-team-chat-ai-agents-git
346•ryanmerket•20h ago•306 comments

"Drawing" the Mona Lisa with GPT-5.6, Claude, Gemini, and Grok

https://www.tryai.dev/blog/ai-drawing-arena-colored-pencils-claude-gpt-grok
226•hershyb_•16h ago•80 comments

Never Enough

https://dark.ronacher.eu/2026/7/21/never-enough/
96•reasonableklout•10h ago•32 comments

Long presumed dead, a thriving coral reef is discovered in West Africa

https://e360.yale.edu/digest/benin-coral-reef
368•speckx•22h ago•83 comments

Overload and insight look identical from the outside

https://pilgrima.ge/p/what-the-wire-knows
9•momentmaker•3d ago•0 comments

Apple defeats liability for not scanning iCloud for CSAM

https://blog.ericgoldman.org/archives/2026/07/apple-defeats-liability-for-not-scanning-icloud-for...
435•speckx•23h ago•467 comments

It's a shame what's happened to radio

https://blog.jimgrey.net/2026/07/21/its-a-shame-whats-happened-to-radio-3/
161•sonicrocketman•14h ago•177 comments

Laguna S 2.1

https://poolside.ai/blog/introducing-laguna-s-2-1
370•rexledesma•20h ago•68 comments

Map of the world's great castles and fortresses

https://thecastlemap.com/
282•marklit•21h ago•180 comments

Gemini last models: temperature, top_p, and top_k are deprecated and ignored

https://ai.google.dev/gemini-api/docs/latest-model
112•greatgib•16h ago•38 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/