frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Simons Foundation launches $15M effort to help mathematicians navigate AI era

https://www.simonsfoundation.org/news/simons-foundation-launches-15m-effort-to-help-mathematician...
159•aaraujo002•2h ago•125 comments

Neural Networks Are Already Clean

https://already-clean.goodfire.com/
102•themgt•1h ago•26 comments

Wayland desktop for Linux with skeuomorphic design

https://github.com/fyzugx/DEsk
293•FinalDestiny•4h ago•119 comments

Krea 3 – Frontier Image Model 4× faster than Nano Banana Pro

https://www.krea.ai/krea-3
81•dvrp•1h ago•37 comments

I Know Why the Mathematicians Weep

https://www.derekthompson.org/p/i-know-why-the-mathematicians-weep
220•RickJWagner•4h ago•329 comments

Libreboot 26.10 "Ominous Olive" released with UEFI, Chromebook support

https://libreboot.org/news/libreboot2610.html
181•iamnothere•4h ago•95 comments

More on Anthropic's Scion ripping off Mononoke

https://sunshowers.io/posts/anthropic-mononoke-2/
43•sunshowers•45m ago•4 comments

Celebrating 70 Years of Fortran

https://fortran-lang.org/news/2026/09-15-Fortran-birthday/
95•rbanffy•2h ago•47 comments

Zero-Click Spyware Delivered via Targeted Ads: AdFection

https://citizenlab.ca/research/how-discover-tech-turned-targeted-ads-into-a-pipeline-for-spyware/
191•jcomp•7h ago•30 comments

Show HN: Unfenced – Land for sale that borders public land

https://unfenced.land/
180•otherwatersflow•6h ago•130 comments

The technical actions needed to ensure the continuity of UTC

https://www.bipm.org/en/cgpm-2026/resolution-5
34•gliffie•1h ago•19 comments

Biscoff Cookies Were Supposed to Be Temporary. Then Passengers Fell in Love

https://www.seriouseats.com/biscoff-history-12168161
49•mhb•1d ago•40 comments

Steam Client Is Now Faster Than Epic's New Vibe Coded Launcher

https://respawnfirst.com/steam-client-is-now-faster-than-epics-new-vibe-coded-launcher/
137•starkparker•1h ago•161 comments

Show HN: Proa – a Rust web framework with fast SSR and multi-target rendering

https://proa.so/
25•burnrate•1h ago•1 comments

Anthropic Update on Independent Evaluators

https://www.anthropic.com/news/an-update-on-independent-evaluators
9•surprisetalk•20m ago•1 comments

Prompt injection in HTTP headers: what 217M web responses show

https://www.signalscorps.com/blog/prompt-injection-in-http-headers/
53•panoramas4good•3h ago•11 comments

C++26 Contracts: Introduction to Preconditions and Postconditions

https://www.cppstories.com/2026/cpp26_contracts/
82•ibobev•4h ago•75 comments

Muse Spark Open, the Most Capable US Open‑Weight Model to Date

https://research.meta.ai/blog/muse-spark-open
61•meetpateltech•52m ago•4 comments

Wanted to download an ISO, ended up writing a kernel exploit

https://blog.dfb.sh/blog/eap770-root-for-two-zeros/
289•0xdeafbeef•2d ago•142 comments

An Israeli firm is sending zero-click spyware through online ads

https://www.theverge.com/tech/1011956/discover-tech-zero-click-ads-spyware
41•drewfax•48m ago•2 comments

Market selloff, rising rates test AI data centre deal boom

https://www.reuters.com/business/finance/market-selloff-rising-rates-test-ai-data-centre-deal-boo...
48•tartoran•1h ago•36 comments

Game of Life – But Multiplayer, Hypermedia and Python

https://stario.dev/apps/life
9•bobowski•1d ago•1 comments

The largest eagle hunted unlike any other bird of prey (2021)

https://www.nhm.ac.uk/discover/news/2021/december/worlds-largest-eagle-hunted-unlike-any-other-bi...
27•EndXA•2d ago•0 comments

Show HN: Sygal – Convert PDFs, scans and web pages to Markdown, locally

https://sygal.app
11•cyrillsemah•1h ago•3 comments

OpenCode 2.0

https://anoma.ly/notes/opencode-2-0/
806•gmays•21h ago•348 comments

The Haunted Toys R Us

https://www.retroist.com/p/the-haunted-toys-r-us
49•speckx•3d ago•25 comments

Tiny Little Office

https://tinylittleoffice.com/
615•donohoe•19h ago•166 comments

GridSnap – an open-source Divvy-style window snapper for macOS

https://github.com/konieczkow/gridsnap
37•zderror•4h ago•18 comments

The First Social Network: In rural Argentina residents send messages w AM radio

https://www.newyorker.com/magazine/2026/10/19/the-first-social-network
123•bookofjoe•1d ago•45 comments

I designed a nose guard for my dog and gave it away. Now 500 dogs wear one

https://snoutcover.com/one-year
200•ragswag•2h ago•103 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/