frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

ChatGPT Desktop (Codex Desktop) for Linux

https://openai.com/codex/
82•allanrbo•4h ago•28 comments

DeepSeek V4 Pro 0813

https://openrouter.ai/deepseek/deepseek-v4-pro-0813
909•explosion-s•16h ago•371 comments

Tracking down the 16-year-old WAL-reset SQLite bug

https://tailscale.com/blog/sqlite-wal-reset-bug
1020•ropbear•18h ago•189 comments

Qwen3.8-2.4T

https://huggingface.co/Qwen/Qwen3.8-2.4T-A95B
614•Philpax•17h ago•140 comments

Delta

https://zed.dev/blog/introducing-delta
537•khy•14h ago•188 comments

Mushroom behind 'tiny people' hallucinations identified

https://phys.org/news/2026-08-qa-mushroom-tiny-people-hallucinations.html
129•wglb•5d ago•95 comments

Principia Mathematica is modern and insightful

https://okmij.org/ftp/Computation/Impressions/PrincipiaMathematica.html
144•matt_d•9h ago•67 comments

Italian Bank Stores 400K Wheels of Cheese as Collateral for Farmer Loans

https://travelandtannins.com/an-italian-bank-keeps-400000-wheels-of-cheese-in-a-guarded-vault-and...
10•ms7892•5d ago•4 comments

Antiqua–Fraktur dispute

https://en.wikipedia.org/wiki/Antiqua%E2%80%93Fraktur_dispute
77•buzzy_hacker•2d ago•12 comments

The punched card tabulator

https://www.ibm.com/history/punched-card-tabulator
7•Bluestein•5d ago•0 comments

2026 Eclipse Webcams

https://jonty.github.io/2026_eclipse_webcams/
481•zoenolan•21h ago•132 comments

Flutter 3.47

https://flutter.dev/blog/whats-new-in-flutter-3-47
97•gumby271•9h ago•94 comments

uBlock Origin Is Giving Up the Fight to Keep Ads Off Facebook

https://digitalescapetools.com/2026/08/ublock-origin-stops-chasing-facebook-ads.html
479•Markoff•21h ago•582 comments

Why Target Common Lisp for Code Generation?

http://funcall.blogspot.com/2026/08/why-vibe-code-in-lisp.html
96•oumua_don17•1d ago•80 comments

Happy 45th Birthday to the IBM PC and Model F/XT

https://sharktastica.co.uk/articles/pc-fxt-45
86•tart-lemonade•9h ago•21 comments

Tim King, AmigaDOS developer, has died

https://amiga-news.de/en/news/AN-2026-08-00070-EN.html
268•doener•18h ago•33 comments

HTML over WebSockets: real-time SPAs with barely any JavaScript

https://en.andros.dev/blog/ef4968f5/html-over-websockets-real-time-spas-with-barely-any-javascript/
194•redbell•16h ago•136 comments

Grok 4.6

https://x.ai/news/grok-4-6
539•iLuddite•17h ago•485 comments

Launch HN: Discovered Materials (YC P26) – AI agents to discover new materials

https://discoveredmaterials.com/research/
135•advaith08•1d ago•28 comments

From rubber boots to Copa: When MicroProse Soccer revolutionized football

https://spillhistorie.no/2026/08/08/fra-gummistovler-til-copa-da-microprose-soccer-revolusjonerte...
23•TMWNN•3d ago•1 comments

Thanks to social media, canned sardines are a scarcity on the supermarket shelf

https://corneroffifth.studio/why-cant-you-find-canned-sardines-right-now/
116•carabiner•11h ago•143 comments

Why tiny JPEGs look different in Chrome

https://guillaumetech.github.io/posts/jpg-scaling-chrome/
297•gutechh•18h ago•64 comments

The Three-Stroke Problem

https://penpot.app/blog/the-three-stroke-problem/
9•elenathor•1w ago•0 comments

Someone is running mass vulnerability scans, spoofing AI bots like ClaudeBot

https://knownagents.com/insights
274•gavinhking•18h ago•200 comments

Build Wide, Ship Narrow

https://adapt.com/blog/build-wide-ship-narrow
84•ashumz•9h ago•23 comments

Breaking the WAL

https://antithesis.com/blog/2026/wal-reset-bug/
102•wwilson•12h ago•42 comments

Pixel Watch 5

https://blog.google/products-and-platforms/devices/pixel/pixel-watch-5/
142•ortusdux•16h ago•273 comments

Shade Map

https://shademap.app
193•fredley•19h ago•47 comments

Lovable raises $400M Series C

https://lovable.dev/blog/series-c
137•thoughtpeddler•16h ago•141 comments

Locating an unknown source of radiation in a heterogeneous environment (2019)

https://repository.lib.ncsu.edu/items/451b001d-e63a-4968-866d-3fb3a599b1e7
28•toomuchtodo•4d ago•21 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/