frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Ghostty is now non-profit

https://mitchellh.com/writing/ghostty-non-profit
790•vrnvu•7h ago•156 comments

Valve reveals it’s the architect behind a push to bring Windows games to Arm

https://www.theverge.com/report/820656/valve-interview-arm-gaming-steamos-pierre-loup-griffais
451•evolve2k•1d ago•482 comments

Reverse engineering a $1B Legal AI tool exposed 100k+ confidential files

https://alexschapiro.com/security/vulnerability/2025/12/02/filevine-api-100k
509•bearsyankees•8h ago•165 comments

Micron Announces Exit from Crucial Consumer Business

https://investors.micron.com/news-releases/news-release-details/micron-announces-exit-crucial-con...
370•simlevesque•8h ago•181 comments

Average DRAM price in USD over last 18 months

https://pcpartpicker.com/trends/price/memory/
25•zekrioca•2h ago•9 comments

Acme, a brief history of one of the protocols which has changed the Internet

https://blog.brocas.org/2025/12/01/ACME-a-brief-history-of-one-of-the-protocols-which-has-changed...
53•coffee--•2h ago•23 comments

1D Conway's Life glider found, 3.7B cells long

https://conwaylife.com/forums/viewtopic.php?&p=222136#p222136
339•nooks•8h ago•119 comments

Kea DHCP: Modern, open source DHCPv4 and DHCPv6 server

https://www.isc.org/kea/
34•doener•2h ago•14 comments

Show HN: I built a dashboard to compare mortgage rates across 120 credit unions

https://finfam.app/blog/credit-union-mortgages
138•mhashemi•5h ago•48 comments

Apex GPU: Run CUDA Apps on AMD GPUs Without Recompilation

https://github.com/kentstone84/APEX-GPU
5•ArchitectAI•20m ago•3 comments

RCE Vulnerability in React and Next.js

https://github.com/vercel/next.js/security/advisories/GHSA-9qr9-h5gf-34mp
406•rayhaanj•10h ago•129 comments

Preserving Snow Crystals

https://www.its.caltech.edu/~atomic/snowcrystals/preserve/preserve.htm
21•jameslk•4d ago•1 comments

Why doesn't Apple make a standalone Touch ID?

https://www.jeffgeerling.com/blog/2025/why-doesnt-apple-make-standalone-touch-id
33•thomasjb•3h ago•28 comments

Launch HN: Phind 3 (YC S22) – Every answer is a mini-app

79•rushingcreek•8h ago•67 comments

Lie groups are crucial to some of the most fundamental theories in physics

https://www.quantamagazine.org/what-are-lie-groups-20251203/
90•ibobev•7h ago•35 comments

Everyone in Seattle hates AI

https://jonready.com/blog/posts/everyone-in-seattle-hates-ai.html
599•mips_avatar•6h ago•562 comments

How to Synthesize a House Loop

https://loopmaster.xyz/tutorials/how-to-synthesize-a-house-loop
177•stagas•6d ago•66 comments

What I don’t like about chains of thoughts (2023)

https://samsja.github.io/blogs/cot/blog/
22•jxmorris12•3d ago•1 comments

Greeting Vocalizations in Domestic Cats Are More Frequent with Male Caregivers

https://onlinelibrary.wiley.com/doi/10.1111/eth.70033
56•JumpCrisscross•4h ago•39 comments

Checked-size array parameters in C

https://lwn.net/SubscriberLink/1046840/3eb9029084cc9e1e/
55•chmaynard•5h ago•21 comments

8086 Microcode Browser

https://nand2mario.github.io/posts/2025/8086_microcode_browser/
44•zdw•5h ago•0 comments

Schubfach: The smallest floating point double-to-string impleme

https://vitaut.net/posts/2025/smallest-dtoa/
9•fanf2•3d ago•0 comments

Why are my headphones buzzing whenever I run my game?

https://alexene.dev/2025/12/03/Why-do-my-headphones-buzz-when-i-run-my-game.html
142•pacificat0r•10h ago•108 comments

Anthropic taps IPO lawyers as it races OpenAI to go public

https://www.ft.com/content/3254fa30-5bdb-4c30-8560-7cd7ebbefc5f
280•GeorgeWoff25•16h ago•240 comments

Rocketable (YC W25) is hiring a founding engineer to automate software companies

https://www.ycombinator.com/companies/rocketable/jobs/CArgzmX-founding-engineer-automation-platform
1•alanwells•9h ago

MinIO is now in maintenance-mode

https://github.com/minio/minio/commit/27742d469462e1561c776f88ca7a1f26816d69e2
413•hajtom•10h ago•239 comments

Cross-Compiling Common Lisp to WASM

https://turtleware.eu/posts/Common-Lisp-and-WebAssembly.html
32•jackdaniel•5d ago•2 comments

Apple’s head of user interface design, Alan Dye, will join Meta

https://www.cnbc.com/2025/12/03/liquid-glass-alan-dye-leaving-apple.html
16•Noaidi•29m ago•2 comments

You can't fool the optimizer

https://xania.org/202512/03-more-adding-integers
231•HeliumHydride•14h ago•137 comments

Show HN: Fresh – A new terminal editor built in Rust

https://sinelaw.github.io/fresh/
115•_sinelaw_•11h ago•76 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/