frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Three new discoveries in mathematics, computer science, and physics

https://openai.com/index/building-scientific-understanding-with-academic-communities/
814•jonluca•10h ago•356 comments

The Mythical Man-Month in the Age of AI

https://j11g.com/the-mythical-man-month-in-the-age-of-ai
31•ilreb•1h ago•19 comments

The Exponential Time Hypothesis Is False [pdf]

https://github.com/openai/math/blob/main/preprints/The-Exponential-Time-Hypothesis-is-False-Octob...
574•vok•9h ago•207 comments

New 'Circadian' Subtype of Depression Affecting 1 in 4 Patients

https://www.sciencealert.com/researchers-identify-new-circadian-subtype-of-depression-affecting-1...
12•gmays•4d ago•1 comments

A simplified proof of ETH is False [pdf]

https://shivakintali.github.io/papers/ETH.pdf
19•porridgeraisin•1h ago•0 comments

Sebastian Raschka's from-scratch video course on building reasoning models

https://magazine.sebastianraschka.com/p/building-reasoning-models
676•sgiannopoulos•16h ago•94 comments

Oldest GUI application that still runs on Windows 11

https://blog.enlyth.com/posts/oldest-windows-gui-app-win-11/
391•enlyth•14h ago•220 comments

I still teach OpenGL ES 3.0

https://eliasfarhan.ch/graphics/cpp/2026/01/27/why-i-teach-opengles.html
47•majorchord•5h ago•27 comments

16-bit Windows (Windows 1.x, 2.x, 3.0, 3.1, etc.) on 64-bit Windows

https://github.com/otya128/winevdm
80•doener•6h ago•9 comments

Type Server Protocol

https://github.com/microsoft/pylance-release/blob/main/docs/tsp/type-server-protocol.md
233•adamnemecek•13h ago•153 comments

Cross-request KV cache exposure in the GLM-5.3 Workers AI model (155 responses)

https://blog.cloudflare.com/kv-cache-exposure-remediation/
125•wondersky•9h ago•40 comments

CSS-Tricks has a new owner

https://css-tricks.com/css-tricks-has-a-new-owner/
441•edent•16h ago•99 comments

Writing about pratt parsing so I remember it

https://www.unix.dog/~yosh/blog/2026-10-25_pratt-parsing.html
12•dverlaeckt80•1h ago•0 comments

Solar power is becoming bigger than nuclear

https://www.bbc.com/future/article/20261023-how-solar-became-bigger-than-nuclear
261•geox•16h ago•403 comments

A Printer Printing onto Paper

https://twitter.com/macrofying/status/2112904628509528219
114•MrBuddyCasino•4d ago•26 comments

Chemists, Chemical Engineers, and Plant Managers

https://www.seeingthesystem.com/p/chemists-chemical-engineers-and-plant
7•TinyBig•4d ago•0 comments

APC says let there be light, with standards to speed up photonics manufacturing

https://www.nextplatform.com/connect/2026/10/23/apc-says-let-there-be-light-with-raft-of-standard...
32•rbanffy•1d ago•4 comments

Txoko: Basques' traditional feast a gastronomic peek into a culture (2024)

https://johnhendersontravel.com/txoko/
15•jxub•3d ago•2 comments

Nietzschian Debugger

https://github.com/DilawarShafiq/nietzschian-debugger
168•dilawargopang•14h ago•53 comments

New iPad mini

https://www.apple.com/newsroom/2026/10/apple-gives-ipad-mini-its-biggest-update-ever/
190•soheilpro•18h ago•489 comments

How to grow a cacao tree at home (2024)

https://www.cocoterra.com/guide-on-how-to-grow-chocolate-at-home/
55•felipevb•1d ago•16 comments

A Man from the Future: Why Johnny Can't Stop Abstracting

http://muratbuffalo.blogspot.com/2026/10/the-man-from-future-why-johnny-cant.html
160•aray07•14h ago•78 comments

Anthropic S-1

https://www.sec.gov/Archives/edgar/data/2130357/000162828026067168/anthropicpbc-sx1.htm
1589•SiNTEx•18h ago•1522 comments

Websites Should Be Printable

https://brennenputh.me/blog/printable-websites/
321•bagatelle•21h ago•188 comments

Blaise Pascal invented fixed route public transport (2024)

https://humantransit.org/2024/12/one-of-the-greatest-inventions-in-the-history-of-human-transport...
281•skadamat•4d ago•146 comments

Virtual and Real World Combine at LAN Party (1998)

https://www.latimes.com/archives/la-xpm-1998-aug-10-mn-11870-story.html
43•npunt•2d ago•6 comments

LISPy things you can do in 64K bytes of core (2019)

https://t3x.org/lisp64k/index.html
53•andsoitis•1d ago•10 comments

SIMD-accelerated computer vision on a $2 microcontroller

https://shraiwi.com/blog/simd-fast-esp32s3/
199•zdw•1d ago•58 comments

GPT-6.1 Terra

https://openai.com/index/introducing-gpt-6-1-terra/
576•meetpateltech•13h ago•363 comments

Microsoft offers mass buyouts for roughly a quarter of its workforce

https://www.seattletimes.com/business/microsoft/microsoft-offers-mass-buyouts-for-roughly-a-quart...
907•doctorzook•16h ago•859 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/