frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

GPT-5.6 used a prompt to close a 30-year gap in convex optimization

https://old.reddit.com/r/math/comments/1uxj3cy/after_openais_cdc_proof_announcement_gpt56_used_a/
140•mbustamanter•1h ago•75 comments

Fable 5 vs. GPT-5.6 Sol on an NP-Hard Problem: Does /goal help?

https://charlesazam.com/blog/fable-5-gpt-5-6-sol-goal/
86•couAUIA•3h ago•34 comments

Is this the end of the once-mighty GoPro?

https://amateurphotographer.com/latest/photo-news/going-going-gone-is-this-the-end-of-the-once-mi...
38•aanet•3d ago•53 comments

LG monitors silently install software through Windows Update without consent

https://videocardz.com/newz/lg-monitors-silently-install-software-through-windows-update-without-...
481•baranul•4h ago•247 comments

Regressive JPEGs

https://maurycyz.com/projects/bad_jpeg/
508•vitaut•11h ago•48 comments

Tech note: making your own V-I plots at home

https://lcamtuf.substack.com/p/tech-note-making-your-own-v-i-plots
10•zdw•18h ago•0 comments

What AI did to stackoverflow in a graph

https://data.stackexchange.com/stackoverflow/query/1953768#graph
139•secretslol•3h ago•157 comments

The Computer at the Bottom of a Canal

https://negroniventurestudios.com/2026/07/18/the-computer-at-the-bottom-of-a-canal/
74•Kudos•6h ago•13 comments

AWS: Inaccurate Estimated Billing Data – $1.7 billion

1239•nprateem•1d ago•721 comments

Reviving a 15-year-old netbook with Arch Linux

https://parksb.github.io/en/article/41.html
170•parksb•4d ago•102 comments

Thanks HN for 15 years of support and helping me find my life's work

704•nicholasjbs•21h ago•82 comments

Qubes OS Security in the Public Record

https://arxiv.org/abs/2607.14587
44•sciences44•5h ago•6 comments

First atmosphere found on Earth-like planet in habitable zone of distant star

https://www.bbc.com/news/articles/cy4kdd1e0ejo
484•neversaydie•1d ago•286 comments

Funny item co-occurrences in 3.2M Instacart orders

https://rogerdickey.com/funny-item-co-occurrences-in-3-million-instacart-orders/
30•rogerdickey•2d ago•51 comments

Steam Machine: Between 12k and 15k Units Sold per week

https://boilingsteam.com/steam-machine-between-10k-and-15k-sold-per-week/
63•ekianjo•3h ago•42 comments

The Zilog Z80 has turned 50

https://goliath32.com/blog/z80.html
247•st_goliath•19h ago•99 comments

TP-Link Kasa cameras leaked home GPS via unauthenticated UDP for 6 years

https://github.com/BadChemical/IoT-Vulnerability-Research-Public/blob/main/TP-Link_Kasa_EC71/Kasa...
172•BadChemical•17h ago•61 comments

Waldi: A quiet place to write, and to be read

https://github.com/waaldev/waldi
40•waaldev•6d ago•18 comments

Learning a few things about running SQLite

https://jvns.ca/blog/2026/07/17/learning-about-running-sqlite/
288•surprisetalk•20h ago•75 comments

Show HN: IKEA Complexity Index

https://ikea.greg.technology/
107•gregsadetsky•10h ago•60 comments

In-toto: A framework to secure the integrity of software supply chains

https://in-toto.io/
49•Erenay09•1d ago•7 comments

Kimi K3, and what we can still learn from the pelican benchmark

https://simonwillison.net/2026/Jul/16/kimi-k3/
372•droidjj•1d ago•197 comments

Engineering Peace

https://asteriskmag.com/issues/14/engineering-peace
5•jkly•1w ago•1 comments

I started a “dirt notebook”

https://pinewind.bearblog.dev/i-started-a-dirt-notebook/
88•herbertl•13h ago•77 comments

LG ThinQ Terms of Use

6•tedggh•37m ago•1 comments

Stenchill: 3D Printable Solder Paste Stencil Generator

https://www.stenchill.com/en/
67•radeeyate•13h ago•19 comments

Static search trees: 40x faster than binary search (2024)

https://curiouscoding.nl/posts/static-search-tree/
155•lalitmaganti•18h ago•12 comments

Revisiting Yliluoma's ordered dither algorithm

https://30fps.net/pages/revisiting-yliluoma-2/
18•ibobev•5d ago•2 comments

DrDroid (YC W23) Is Hiring

https://www.ycombinator.com/companies/drdroid/jobs/w45QcNV-product-engineer-assignment-mandatory
1•TheBengaluruGuy•13h ago

Why do AI company logos look like buttholes? (2025)

https://velvetshark.com/ai-company-logos-that-look-like-buttholes
337•miniBill•3h ago•111 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/