frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

OpenSSL 4.1.0

https://github.com/openssl/openssl/releases/tag/openssl-4.1.0
130•petecooper•3h ago•32 comments

Local Wikipedia: Wikipedia, but only for things a half hour walk from you

https://edjefferson.com/localwiki/
840•sohkamyung•16h ago•165 comments

Swedish government offices to ban ChatGPT and Claude

https://www.sverigesradio.se/artikel/chat-gpt-och-claude-forbjuder-regeringskansliet
290•armcat•4h ago•100 comments

Disney Raising Prices Days After Confirming Ads Will Now Show Up on Every Tier

https://www.tvfandomlounge.com/disney-plus-price-hike-ads-premium-tier-nielsen-emmys-2026/
268•robtherobber•7h ago•245 comments

Docker is weird

https://codeandcake.dev/posts/2026-10-22-docker-is-weird
702•psxuaw•16h ago•284 comments

Remove pgrust: the entry is cheating

https://github.com/ClickHouse/ClickBench/pull/2165
143•f311a•7h ago•77 comments

Investor-owned utilities charge 23% more for electricity than public providers

https://www.kadoa.com/energy-prices/insights/investor-owned-utilities
375•hubraumhugo•2h ago•271 comments

eMudhra ignored Mozilla Root investigation deadline; blames social media

https://bugzilla.mozilla.org/show_bug.cgi?id=2083449
38•IcePenguin•58m ago•6 comments

The foolishness of "natural language programming" (1978)

https://www.cs.utexas.edu/~EWD/transcriptions/EWD06xx/EWD667.html
290•xiaoyu2006•14h ago•193 comments

Show HN: We had AI write a wiki from 45k Enron emails, every fact cited

https://www.thisandthat.chat/enron/
14•jreynar•3h ago•5 comments

Job Loss and Cortisone Mania

https://tilschuenemann.de/job-loss-cortisone-mania
82•speckx•5h ago•19 comments

The alien space of science: Coherent but cognitively unavailable directions

https://arxiv.org/abs/2603.01092
148•martincsweiss•1d ago•54 comments

Every AI model has the same "controversial" take on humans

https://www.modelcompare.ai/blog/ai-models-controversial-take-on-humans
558•rakannimer•23h ago•541 comments

Show HN: OnKey – I'm a bad singer, so I built an app to show where I'm off-key

https://github.com/dsmurrell/onkey
129•dsmurrell•1d ago•58 comments

How does Fable 5.1 hide messages in images?

https://www.lesswrong.com/posts/WHEQps5PK8LrrcTAb/how-does-fable-5-1-hide-messages-in-images
168•gmays•18h ago•50 comments

Ask HN: If the models are so good, why doesn't OpenAI just start 100 companies?

348•ex-aws-dude•18h ago•378 comments

OpenShell – A safe, private runtime for fleets of autonomous AI agents

https://github.com/NVIDIA/OpenShell
460•niemandhier•22h ago•205 comments

Run full iOS 16.5 firmware on Android Devices

https://github.com/oosexgang/hackios-xnu-kernel
489•aghuang•1d ago•179 comments

Shitter – A Nitter Fork

https://codeberg.org/shitter/shitter
120•eustoria•2h ago•69 comments

The HTML-in-Canvas API origin trial

https://developer.chrome.com/blog/html-in-canvas-origin-trial
101•andrewstuart•19h ago•43 comments

WorldTUI: I trained a 360M model to pretend to be a terminal

https://simedw.com/2026/10/21/world-model-terminal/
583•alphax314•1d ago•179 comments

Getting ready to operate GNU Taler in Germany

https://www.taler.net/en/news/2026-13.html
339•dewey•23h ago•155 comments

This I Believe (1952)

https://www.awakin.org/v2/read/view.php?tid=468
127•ctoth•13h ago•55 comments

Is this the new cyber normal?

https://drew.silcock.dev/blog/is-this-the-new-cyber-normal/
120•drewsberry•4h ago•129 comments

Tell HN: I unknowingly broke the PHP RCE embargo. I am sorry.

668•petecooper•1d ago•242 comments

Quad9 to exit France

https://quad9.net/news/blog/au-revoir-france/
1307•farrokhi•1d ago•452 comments

Xbox wants you to pay 24 to 40 cents per hour to stream games you bought

https://arstechnica.com/gaming/2026/10/xbox-wants-you-to-pay-24-to-40-cents-per-hour-to-stream-ga...
361•entryleveljobsc•1d ago•319 comments

Jank – The native Clojure dialect with seamless C++ interop

https://jank-lang.org/
142•giancarlostoro•15h ago•25 comments

I reverse engineered a board game

https://wuemeli.com/blog/reversing-hitster-game/
72•wuemeli•2d ago•32 comments

LLMs are making formal software verification feasible at a much larger scale

https://www.anthropic.com/research/formal-verification
396•johnbender•16h ago•241 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/