frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Binance-hacker-1029 – $5.6B stolen from Binance

https://arkm.com/explorer/entity/21a94755-f604-45e5-9501-6542e23005e8
896•Tiberium•6h ago•522 comments

We're releasing the weights of Mistral Large 4

https://mistral.ai/news/mistral-large-4-oss/
1260•kuberwastaken•13h ago•354 comments

Cuis: The Modern Smalltalk-80

https://cuis.st/
18•theanonymousone•2d ago•5 comments

We ran AI agent swarms in Minecraft and Mindustry

https://labs.ycombinator.com/projects/games/index.html
212•sandslash•6h ago•68 comments

Astroterm: A Planetarium for Your Terminal

https://github.com/da-luce/astroterm
23•nvmdbljstm•1d ago•1 comments

CVE-2026-98432: Linux TCP Use-After-Free Risk and Patch Validation

https://www.penligent.ai/hackinglabs/cve-2026-98432/
9•cobychapple•1h ago•4 comments

I'm so bad at billiards that I ended up in the hyperbolic plane [video]

https://www.youtube.com/watch?v=kL9BTbIGxLg
21•surprisetalk•1d ago•2 comments

Herdr has released native app

https://github.com/herdrdev/herdr-app
54•cherioo•3h ago•44 comments

A tiny world model running games on a Raspberry Pi Pico 2 W

https://github.com/SheepSeb/tinyworldformer
162•airinei•7h ago•9 comments

Pico CSS is no longer maintained

https://github.com/picocss/pico/discussions/754
55•henrid•1h ago•19 comments

H.264 Is Magic (2016)

https://sidbala.com/h-264-is-magic/
358•ea016•12h ago•131 comments

Iterating Backwards in C

https://www.davidpriver.com/Iterating-backwards-in-C.html
54•cremno•3d ago•29 comments

A Pig, the State, and War: Porco Rosso (Kurenai No Buta) (2014)

https://journal.animationstudies.org/article/id/66/
70•simonebrunozzi•5h ago•10 comments

Solving Postgres' Count Problem

https://www.paradedb.com/blog/opening-a-closed-tin-part-2
7•philippemnoel•1d ago•0 comments

DoorDash to acquire Instacart

https://about.doordash.com/en-us/news/doordash-to-acquire-instacart
448•WalterSobchak•15h ago•618 comments

Show HN: I Turned DOOM into a Transformer

https://github.com/mottopanikeiku/doomformer
56•falperc•4h ago•13 comments

LLM Voice

https://martinfowler.com/bliki/LLM-Voice.html
378•ibobev•12h ago•200 comments

Patrick Stewart has died

https://www.nytimes.com/2026/10/29/arts/television/patrick-stewart-dead.html
2562•j4mie•8h ago•546 comments

Launch HN: Simantic (YC F26) – Firmware Simulation for AI Agents

55•shong0504•11h ago•16 comments

The Great American Rascal: Tom Sawyer at 150

https://claremontreviewofbooks.com/the-great-american-rascal/
49•beatstop•5h ago•20 comments

Cormac McCarthy's Library

https://cormacmccarthy.lib.utk.edu/
27•maitland•3h ago•11 comments

Show HN: Lasm – Write formally verified webapps in Lean for Node/serverless/edge

https://github.com/Millillion/lasm
10•lastmjs•1h ago•0 comments

Chained PHP2Shell exploit roots 25 servers, including US Government servers

https://dreamgroup.com/blog/chained-php2shell-exploit-roots-25-servers
303•882542F3884314B•17h ago•150 comments

Study: Schoolwide phone bans show no significant impact on mental health

https://jamanetwork.com/journals/jamanetworkopen/fullarticle/2855858
37•giuliomagnifico•1d ago•25 comments

ElementaryUI – Swift, in the Browser

https://elementary.codes
73•frizlab•6h ago•16 comments

Show HN: Auto Dismiss Mac OS "Allow <app> to find devices on local networks?"

https://github.com/johncassil/dontallow
110•johncassil•8h ago•84 comments

Historical Scientific Instruments

https://nealstephenson.substack.com/p/historical-scientific-instruments
24•peteforde•2d ago•1 comments

Sylphide OS: a general-purpose OS for microcontroller-based computers

https://projects.freehackers.org/sylphide-os/
46•iamnothere•6h ago•13 comments

Should a medical diagnosis reshape the past? (2025)

https://chengela.substack.com/p/should-a-medical-diagnosis-reshape
22•wyndham•5h ago•0 comments

If IPv4 were land

https://iptrust.co/blog/if-ipv4-were-land
246•rokostik•15h ago•347 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/