frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Writing a Good Claude.md

https://www.humanlayer.dev/blog/writing-a-good-claude-md
164•objcts•4h ago•49 comments

A Love Letter to FreeBSD

https://www.tara.sh/posts/2025/2025-11-25_freebsd_letter/
13•rbanffy•13m ago•0 comments

Advent of Code 2025

https://adventofcode.com/2025/about
632•vismit2000•9h ago•210 comments

Windows drive letters are not limited to A-Z

https://www.ryanliptak.com/blog/windows-drive-letters-are-not-limited-to-a-z/
313•LorenDB•8h ago•147 comments

Migrating Dillo from GitHub

https://dillo-browser.org/news/migration-from-github/
234•todsacerdoti•8h ago•137 comments

ETH-Zurich: Digital Design and Computer Architecture; 227-0003-10L, Spring, 2025

https://safari.ethz.ch/ddca/spring2025/doku.php?id=start
102•__rito__•4h ago•13 comments

LLVM-MOS – Clang LLVM fork targeting the 6502

https://llvm-mos.org/wiki/Welcome
80•jdmoreira•5h ago•17 comments

Program-of-Thought Prompting Outperforms Chain-of-Thought by 15% (2022)

https://arxiv.org/abs/2211.12588
46•mkagenius•3h ago•14 comments

ESA Sentinel-1D delivers first high-resolution images

https://www.esa.int/Applications/Observing_the_Earth/Copernicus/Sentinel-1/Sentinel-1D_delivers_f...
52•giuliomagnifico•4h ago•11 comments

"Boobs check" – Technique to verify if sites behind CDN are hosted in Iran

https://twitter.com/hkashfi/status/1995109785679573167
91•defly•1h ago•19 comments

GitHub to Codeberg: my experience

https://eldred.fr/blog/forge-migration/
80•todsacerdoti•6h ago•29 comments

Don't push AI down our throats

https://gpt3experiments.substack.com/p/dont-push-ai-down-our-throats
256•nutanc•4h ago•143 comments

CachyOS: Fast and Customizable Linux Distribution

https://cachyos.org/
234•doener•11h ago•217 comments

A Second Look at Geolocation and Starlink

https://www.potaroo.net/ispcol/2025-11/starlinkgeo2.html
20•speckx•5d ago•5 comments

There is No Quintic Formula [video]

https://www.youtube.com/watch?v=9HIy5dJE-zQ
30•DamnInteresting•4h ago•14 comments

Stop Hacklore (modern urban legends about digital safety)

https://www.hacklore.org/letter
10•zdw•4d ago•0 comments

RetailReady (YC W24) Is Hiring Associate Product Manager

https://www.ycombinator.com/companies/retailready/jobs/KPKDu3D-associate-product-manager
1•sarah74•5h ago

Show HN: Boing

https://boing.greg.technology/
682•gregsadetsky•18h ago•132 comments

Stackoverflow Outage

https://www.stackstatus.net/
7•ga_to•54m ago•0 comments

People keep flocking to Linux, not just to escape Windows

https://www.zdnet.com/article/why-people-keep-flocking-to-linux-in-2025-and-its-not-just-to-escap...
56•breve•2h ago•13 comments

NixOS 25.11 released

https://nixos.org/blog/announcements/2025/nixos-2511/
117•trulyrandom•3h ago•28 comments

Show HN: Real-time system that tracks how news spreads across 200k websites

https://yandori.io/news-flow/
209•antiochIst•4d ago•52 comments

Show HN: Fixing Google Nano Banana Pixel Art with Rust

https://github.com/Hugo-Dz/spritefusion-pixel-snapper
92•HugoDz•4d ago•14 comments

Finding the grain of sand in a heap of Salt

https://blog.cloudflare.com/finding-the-grain-of-sand-in-a-heap-of-salt/
8•privacyops•3d ago•2 comments

Langjam Gamejam: Build a programming language then make a game with it

https://langjamgamejam.com/
38•birdculture•6h ago•22 comments

Paul Hegarty's updated CS193p SwiftUI course released by Stanford

https://cs193p.stanford.edu/
123•yehiaabdelm•5d ago•30 comments

Zigbook Is Plagiarizing the Zigtools Playground

https://zigtools.org/blog/zigbook-plagiarizing-playground/
438•todsacerdoti•18h ago•128 comments

Modern cars are spying on you. Here's what you can do about it

https://apnews.com/article/auto-car-privacy-3674ce59c9b30f2861d29178a31e6ab7
188•MilnerRoute•6h ago•194 comments

Notes on Shadowing a Hospitalist

https://humaninvariant.substack.com/p/notes-on-shadowing-a-hospitalist
35•surprisetalk•4h ago•14 comments

All it takes is for one to work out

https://alearningaday.blog/2025/11/28/all-it-takes-is-for-one-to-work-out-2/
739•herbertl•1d ago•357 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•7mo ago

Comments

buildsjets•7mo 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•7mo 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•7mo ago
(2003)
throw0101b•7mo 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•7mo ago
Are there any public, open, comprehensive datasets on flights?
dieselerator•7mo 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•7mo 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•7mo 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•7mo 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•7mo 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/