frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

GPT-5.6

https://openai.com/index/gpt-5-6/
626•logickkk1•2h ago•429 comments

ChatGPT Work

https://openai.com/index/chatgpt-for-your-most-ambitious-work/
220•Tiberium•2h ago•85 comments

GLM 5.2 is nearly as accurate as a human book keeper

https://toot-books.pages.dev/blog/glm-5-2-vat-benchmark
39•adamkurkiewicz•1h ago•19 comments

Show HN: 18 Words

https://18words.com/
650•pompomsheep•6h ago•242 comments

EU Parliament greenlights Chat Control 1.0

https://www.patrick-breyer.de/en/eu-parliament-greenlights-chat-control-1-0-breyer-our-children-l...
677•rapnie•8h ago•341 comments

Hy3

https://hy.tencent.com/research/hy3
215•andai•4h ago•60 comments

Buried Apple Feature Turns an iPhone into the Perfect Kids' Dumb Phone

https://www.wired.com/story/this-buried-apple-feature-turns-an-iphone-into-the-perfect-kids-dumb-...
88•PotatoNinja•3d ago•41 comments

A possible future for Damn Interesting

https://www.damninteresting.com/a-possible-future/
135•mzur•4h ago•12 comments

Girls Just Wanna Have Fast MPMC Queues with Bounded Waiting

https://nahla.dev/blog/waitfree_queue/
70•EvgeniyZh•2d ago•11 comments

TLS certificates for internal services done right

https://tuxnet.dev/posts/tls-for-internal-services/
89•mrl5•4h ago•59 comments

Wildcard (YC W25) Is Hiring a Founding Engineer

https://www.ycombinator.com/companies/wildcard/jobs/ZSLVaaU-founding-engineer
1•kaushikmahorker•2h ago

Muse Spark 1.1

https://ai.meta.com/blog/introducing-muse-spark-meta-model-api/
241•ot•5h ago•144 comments

The glass backbone: Why the Army's logistics will break in the next war

https://mwi.westpoint.edu/the-glass-backbone-why-the-armys-logistics-will-break-in-the-next-war/
192•baud147258•6h ago•242 comments

Launch HN: Context.dev (YC S26) – API to get structured data from any website

https://www.context.dev
47•TheYahiaBakour•4h ago•36 comments

No leap second will be introduced at the end of December 2026

https://datacenter.iers.org/data/latestVersion/bulletinC.txt
172•ChrisArchitect•5h ago•140 comments

How to Start a Ruby Meetup

https://guides.rubyevents.org/meetups/
13•mooreds•1h ago•1 comments

Opinionated and Easy Pi.dev Configuration

https://lazypi.org/
68•lwhsiao•4h ago•44 comments

Show HN: I mapped 8.5M research papers into an interactive atlas

https://tomesphere.com/atlas
33•leonickson•17h ago•7 comments

How should group chats work in decentralized systems?

https://marindedic.com/groups/
28•Realman78•2h ago•14 comments

Show HN: Analog Watch

https://analog.watch
69•ezekg•4h ago•63 comments

Meta reuses old RAM in new servers with custom bridge chip

https://www.networkworld.com/article/4192827/meta-reuses-old-ram-in-new-servers-with-custom-bridg...
253•ihsw•6d ago•172 comments

New open access book on history of computers and politics

https://mitpress.mit.edu/9780262053198/simpolitics/
45•mckelveyf•5h ago•4 comments

AI changes the economics of software rewrites

https://thetruthasiseeitnow.com/ai-slop-starts-with-the-codebase-itself/
75•cinooo•13h ago•83 comments

How to Follow a Drummer

https://drummate.app/blog/how-to-follow-a-drummer
9•sashyo•3d ago•10 comments

Spider venom kills varroa mites without harming honeybees

https://connectsci.au/news/news-parent/9703/Spider-venom-kills-varroa-mites-without-harming
269•Jedd•14h ago•122 comments

What is Bending Spoons? The little-known AOL and Vimeo owner that's now public

https://techcrunch.com/2026/07/05/what-is-bending-spoons-everything-to-know-about-aols-acquirer/
49•jack1689•3d ago•74 comments

What's slowing down the AI buildout

https://www.worksinprogress.news/p/ai-is-bottlenecked-by-the-grid
48•droidjj•16h ago•104 comments

Auditory and spontaneous movement responses to music over first postnatal year

https://elifesciences.org/articles/107088
16•bookofjoe•3h ago•2 comments

Ways to think about token pricing

https://www.ben-evans.com/benedictevans/2026/7/9/ways-to-think-about-token-pricing
26•mercutio2•4h ago•10 comments

Show HN: Devthropology – Better Insights for GitHub Repos

https://devthropology.com/demo
23•dpc94•2h ago•6 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/