frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Microsoft turns to AWS as GitHub faces AI capacity crunch

https://runtimewire.com/article/microsoft-github-aws-ai-capacity-crunch
42•ilreb•29m ago•7 comments

A backdoor in a LinkedIn job offer

https://roman.pt/posts/linkedin-backdoor/
796•lwhsiao•7h ago•156 comments

Banned Book Library in a Wi-Fi Smart Light Bulb

https://www.richardosgood.com/posts/banned-book-library/
201•sohkamyung•4h ago•84 comments

Iroh 1.0

https://www.iroh.computer/blog/v1
983•chadfowler•12h ago•294 comments

Amazon Announces Multibillion-Dollar Data Center in Missouri

https://www.narracomm.com/amazon-announces-multibillion-dollar-data-center-in-missouri/
57•thelonelyborg•2h ago•24 comments

TinyWind: A pixel pirate sailing game with real wind physics (380k+ kms sailed)

https://tinywind.io
641•tinywind•11h ago•133 comments

Ask HN: Has anyone replaced Claude/GPT with a local model for daily coding?

737•cloudking•12h ago•351 comments

I Love the Computer

https://michaelenger.com/blog/i-love-the-computer/
161•speckx•7h ago•94 comments

Why I email complete strangers

https://www.goodinternetmagazine.com/why-i-email-complete-strangers/
90•karakoram•5h ago•44 comments

Humanity isn't ready for the coming intelligence explosion

https://www.economist.com/by-invitation/2026/06/15/humanity-isnt-ready-for-the-coming-intelligenc...
9•andsoitis•1h ago•15 comments

Cohere's First Model for Developers

https://cohere.com/blog/north-mini-code
29•hmokiguess•4d ago•4 comments

My Homelab AI Dev Platform

https://rsgm.dev/post/ai-dev-platform/
255•rsgm•12h ago•51 comments

Peopleless economy? Not technically impossible

https://gmalandrakis.com/writings/ad-economicum.html
105•l0new0lf-G•6h ago•209 comments

Hetzner Price Adjustment

https://docs.hetzner.com/general/infrastructure-and-availability/price-adjustment/#cloud-servers
353•tuhtah•13h ago•507 comments

The 90-year-old idea behind JEPA models: Canonical Correlation Analysis

https://shonczinner.github.io/posts/embedding-prediction/
9•Anon84•4d ago•0 comments

US battery manufacturing output continues to break records

https://fred.stlouisfed.org/series/IPG33591S
175•epistasis•6h ago•144 comments

Launch HN: Drafted (YC P26) – Models for residential architecture

47•PrimalNick•10h ago•53 comments

What every coder should know about Gamma Correction

https://blog.johnnovak.net/2016/09/21/what-every-coder-should-know-about-gamma/
69•sph•2d ago•21 comments

Fox to buy Roku

https://www.wsj.com/business/deals/fox-roku-deal-f6e564f9
285•thm•14h ago•377 comments

What job interviews taught me about Kubernetes

https://notnotp.com/notes/what-job-interviews-taught-me-about-kubernetes/
106•chmaynard•7h ago•89 comments

How TimescaleDB compresses time-series data

https://roszigit.com/en/blog/timescaledb-compression-hypercore
125•lkanwoqwp•9h ago•15 comments

Game Engine White Papers Commander Keen

https://forgottenbytes.net/commander_keen.html
168•mfiguiere•9h ago•53 comments

Show HN: Veterinarian turned founder, AI lawn diagnosis

https://grassdx.com/
42•andrewbr•9h ago•44 comments

Reviews have become expensive, rewrites have become cheap

http://ishmeetbindra.com/posts/reviews-have-become-expensive-rewrites-have-become-cheap/
27•arzh2•3h ago•21 comments

Salesforce to Acquire Fin (formerly Intercom) for $3.6B

https://www.salesforce.com/news/press-releases/2026/06/15/salesforce-signs-definitive-agreement-t...
284•colesantiago•15h ago•213 comments

Copper transport drug restores memory and clears toxic Alzheimer's proteins

https://www.monash.edu/news/articles/copper-drug-restores-memory-and-clears-toxic-alzheimers-prot...
262•bookofjoe•12h ago•99 comments

Claude Corps

https://www.anthropic.com/news/claude-corps
99•Mustan•9h ago•62 comments

An O(x)Caml book that runs

https://kcsrk.info/ocaml/oxcaml/teaching/nptel/llm/2026/06/13/an-oxcaml-book-that-runs/
32•anirudh24seven•2d ago•12 comments

Show HN: Fata – Spaced repetition to fight skill rot from AI coding

https://fata.dev
85•djoume•4d ago•45 comments

How memory safety CVEs differ between Rust and C/C++

https://kobzol.github.io/rust/2026/06/15/how-memory-safety-cves-differ-between-rust-and-c-cpp.html
115•nicoburns•11h ago•117 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/