frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Residential proxies detected on White House network

https://layer3intel.com/blog/residential-proxies-white-house-network
259•Rasbora•1h ago•71 comments

Insects don't swarm at LED lights

https://www.birdsoutsidemywindow.org/2026/11/03/insects-dont-swarm-at-led-lights/
94•speckx•2h ago•54 comments

Ripple-65B Preview: U.S. Open-Weight SOTA on Agentic Coding

https://www.ricursive.com/ripple
146•Philpax•3h ago•56 comments

AI is forcing us to pay off 40 years of technical debt

https://spectrum.ieee.org/ai-in-cybersecurity-php2shell-vulnerability
961•pseudolus•10h ago•587 comments

A new Go API for JSON

https://go.dev/blog/jsonv2
157•olexsmir•4h ago•65 comments

Qualcomm Cloud AI 100 Ultra – 150W AI Accelerator Card with 128GB at 548GB/s

https://www.qualcomm.com/data-center/products/cloud-ai-100-ultra
53•peter_d_sherman•2h ago•22 comments

Progress on provable inference for large language models

https://www.anthropic.com/research/provable-inference
147•ltononro•4h ago•74 comments

Nvidia RTX Spark encrypted firmware slows inference speed to 35% on Linux

https://www.mindstudio.ai/blog/linux-nvidia-rtx-spark-laptop
561•novaRom•13h ago•256 comments

AR guitar with just a laptop and scissors

https://www.arguitar.com/
11•castlew•1h ago•5 comments

Show HN: After a decade of reversing, I got co-op working in DOS Wing Commander

https://fireflyk64.github.io/wcmulti/
52•daniel_rh•3h ago•4 comments

Conductor Is Joining Meta

https://www.conductor.build/announcement
53•kenrose•3h ago•98 comments

Launch HN: Kino AI (YC S23) – AI media manager and video editor

53•lukeigel•4h ago•24 comments

OpenAI to acquire Pierre Computer Company

https://openai.com/index/openai-to-acquire-pierre/
128•itunpredictable•6h ago•48 comments

Ask HN: What Cryptography book do you recommend for reading with 10 year olds?

15•mike_richards•1d ago•18 comments

Tencent Hy4

https://hy.tencent.ai/research/hy4
152•Philpax•7h ago•44 comments

AMD expects to outsell Intel in Q4 for the first time in history

https://www.tomshardware.com/pc-components/cpus/amd-expects-to-outsell-intel-in-q4-for-the-first-...
393•rbanffy•6h ago•125 comments

North Korean fake job interview led to $6.3B Binance heist

https://www.theregister.com/security/2026/11/03/north-korean-fake-job-interview-led-to-63b-binanc...
510•smalltech•7h ago•308 comments

Verification Is Not Knowledge: Science needs more than answers

https://blog.cosmos-institute.org/p/verification-is-not-knowledge
209•ersinesen•13h ago•125 comments

Incident with Pull Requests, Git Operations and Issues

https://www.githubstatus.com/incidents/smtdswd1h2w4
239•kevcampb•12h ago•119 comments

Show HN: I built a tool that prices a prebuilt PC part by part

https://pcdealcheck.com/
78•adlep•6h ago•52 comments

Tell HN: Gemini trains on chat history, even for subscribers (personal accounts)

578•jameslk•11h ago•148 comments

Kimi K3.1 Pro model weights are out

https://huggingface.co/moonshotai/Kimi-K3.1-Pro
283•abrarthought•6h ago•78 comments

Have I befriended a murderer?

https://longreads.com/2026/11/03/murder-friendship-doubt/
84•gmays•3h ago•46 comments

If you're on Replit Pro, you have until November 8 to opt out of arbitration

https://readthediff.substack.com/p/replit-pro-arbitration-opt-out-november-8
24•MiguelSosa•1h ago•0 comments

Guerrilla bike lanes: San Francisco makes illicit infrastructure permanent (2016)

https://99percentinvisible.org/article/guerrilla-bike-lanes-san-francisco-makes-illicit-infrastru...
220•zenincognito•7h ago•163 comments

From wild to mild: Friendly foxes show changes in brain region

https://news.cornell.edu/stories/2026/11/wild-mild-friendly-foxes-show-changes-brain-region
20•gmays•3h ago•2 comments

Benchfmt.rs: Bringing Go's benchmarking and benchstat workflow to Rust

https://www.bwplotka.dev/2026/rust-microbenchmarks-benchstat/
25•witcher•3h ago•3 comments

Evergreen: A Provably Safe Systems Language

https://evergreenlang.net
90•jordan_bonecut•6h ago•80 comments

Everything is an AI scam now

https://www.davidralphlewis.co.uk/posts/everything-is-an-ai-scam-now/
64•speckx•58m ago•15 comments

Kitty 0.50

https://sw.kovidgoyal.net/kitty/changelog/#
349•porridgeraisin•13h ago•215 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/