frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

HackerTube: YouTube built from videos recommended by HN

https://karpathy.bearblog.dev/hacker-tube/
261•karpathy•1h ago•109 comments

TCP Use-After-Free: CVE-2026-98432 / CVSS 9.8

https://atlasum.net/blog/cve-2026-98432-linux-ipv4-tcp-uaf
166•oger•2h ago•80 comments

With 86% of the words, you might understand only 38% of an anime's lines

https://learnfromx.com/research/anime-word-coverage-vs-lines-understood
15•lakesare•1h ago•11 comments

It's the Memory Latency, Stupid

https://pivotlake.io/blog/its-the-memory-latency-stupid/
64•ntur1337•3h ago•15 comments

The Duty of a Scholar

https://www.daemonology.net/blog/2026-10-31-The-Duty-of-a-Scholar.html
61•gslin•2h ago•15 comments

Rhind Mathematical Papyrus

https://en.wikipedia.org/wiki/Rhind_Mathematical_Papyrus
7•sweetdingoes•1d ago•0 comments

Much Ado About None: Sentinel Values in Python

https://florianwilhelm.info/2026/10/sentinel_values/
27•sebg•1d ago•11 comments

Show HN: NES Contra (1987) port (ASM –> C and then C –> WebAssembly)

https://epoyraz.github.io/nes-contra-us/
23•tevlon•2h ago•13 comments

Molly (Signal fork) has not been updated since 3 months and is vulnerable

https://piefed.world/post/1503394
283•DeepLogin•11h ago•162 comments

Jepsen: ParticleDB 1.1.4

https://jepsen.io/analyses/particledb-1.1.4
140•aphyr•8h ago•73 comments

Show HN: A language model that lives in a boot sector

https://github.com/kerlenton/bootgpt
31•kerlenton•8h ago•0 comments

GPT-5.6 Sol can beat Factorio on peaceful mode

https://ryanmadden.net/gpt-56-beats-factorio/
130•ryanmadden•3h ago•133 comments

Surviving "The Graduate"

https://www.newyorker.com/culture/the-weekend-essay/dustin-hoffman-on-surviving-the-graduate
13•samizdis•1h ago•0 comments

Do the math: How we took over ChatGPT accounts

https://www.parameter.ai/labs/we-found-a-gap-at-openai
289•armcat•11h ago•141 comments

Distributed Proofreaders

https://www.pgdp.net/c/
6•gone35•57m ago•0 comments

William Nordhaus has died

https://news.yale.edu/2026/10/31/william-nordhaus-nobel-laureate-who-integrated-economics-and-cli...
37•ilreb•3h ago•10 comments

Noctua Fan Swap on a Calnex Rb/GPS Frequency Reference

https://www.jeffgeerling.com/blog/2026/noctua-fan-swap-calnex-rb-gps-frequency-reference/
32•aray07•2d ago•19 comments

5 years of OqtaDrive: Microdrive emulation to Sinclair Network over the internet

https://oqtadrive.org/10.other/5-years/
9•xelalex•1d ago•1 comments

Anthropic takes steps to block Claude from reverse-engineering video games

https://mashable.com/tech/anthropic-takes-steps-to-block-video-game-cloning-and-reverse-engineering
27•firesteelrain•45m ago•17 comments

Redox: Ring Buffers Project Summary

https://www.redox-os.org/news/nlnet-rb-summary/
41•g0xA52A2A•3d ago•8 comments

Simple circuits can create complex behaviors

https://aatishb.com/myriad/lets-build-a-brain/
192•aatish•4d ago•62 comments

Anthropic blocks users for anything touching training larger models

https://twitter.com/jiahaoshao1/status/2116475922190922088
59•pretext•2h ago•10 comments

Reading and writing are less symmetric than you (probably) think

https://fgiesen.wordpress.com/2015/10/25/reading-and-writing-are-less-symmetric-than-you-probably...
64•luu•3d ago•20 comments

Switch Lowering in GCC

https://xoranth.net/gcc-switch/
188•signa11•13h ago•36 comments

Digital minimalism

https://vitalik.eth.limo/general/2026/10/31/digital_minimalism.html
284•wilbertliu•15h ago•212 comments

Show HN: Ghostman – A fast, keyboard-driven TUI API client and webhook inspector

https://github.com/4yk5/Ghostman
38•4yk5•1d ago•25 comments

Serbia just elected the world's brainiest parliament

https://www.science.org/content/article/serbia-just-elected-world-s-brainiest-parliament
766•input_sh•11h ago•443 comments

Show HN: A USB-C LTE modem that gives my computer a phone line

https://github.com/Koppar-AI/koppar-lte-modem
33•abijahkaj•5h ago•23 comments

I post trained a model on Demoscenes

https://datavorous.com/writing/demoscener/
38•datavorous_•3h ago•21 comments

AI, Lean, and the Future of Formal Verification, with Lean Creator Leo de Moura

https://thedataexchange.media/leo-de-moura-lean-aws/
180•datascientist•2d ago•39 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/