frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Ggml v1.0.0

https://github.com/ggml-org/ggml/releases/tag/v1.0.0
71•cobychapple•2h ago•8 comments

FAA issues national ground stop – lifted 4.5 hours later

https://www.nbcnews.com/news/us-news/faa-orders-nationwide-ground-stop-departing-flights-reasons-...
1414•zulln•7h ago•1092 comments

Terminal borders that don't cost a cell

https://www.joshka.net/cell-borders/
144•vinhnx•5h ago•65 comments

Nvidia Allegedly Engineered Scarcity by Funding AI Startups to Buy Its GPUs

https://www.techpowerup.com/354814/nvidia-allegedly-engineered-scarcity-by-funding-ai-startups-to...
90•speckx•1h ago•37 comments

What Happened to 3Com?

https://dfarq.homeip.net/what-happened-to-3com/
83•gvieri•4h ago•47 comments

Live airband on all frequencies from KORS. Victoria, CA also ground stopped

https://orcasairband.com/
234•mmaunder•6h ago•54 comments

Show HN: Live map of U.S. flights during tonight's FAA nationwide ground stop

https://grounds.top/
72•gvsi•5h ago•10 comments

Reverse engineering my Coway air purifier to ditch the cloud

https://scottjg.com/posts/2026-11-11-reverse-engineering-my-coway-air-purifier-to-ditch-the-cloud/
703•scottjg•1d ago•203 comments

Unsloth Qwen3.8-27B Quantizations – Dynamic v3.1 Update

https://unsloth.ai/docs/models/qwen3.8
42•Retro_Dev•4h ago•5 comments

FM-1 Workbench

https://open.m-vave.com/fm1-workbench
195•simonebrunozzi•9h ago•136 comments

Found: A protein that drives ageing without unleashing inflammation

https://www.nature.com/articles/d41586-026-03638-3
151•gumby•9h ago•23 comments

Elephants found to be increasingly isolated leading to fractured social networks

https://today.ucsd.edu/story/elephants-found-to-be-increasingly-isolated-leading-to-fractured-soc...
75•gmays•2h ago•14 comments

Amtrak booking system experiencing major issues amid nationwide FAA ground stop

https://www.fox5dc.com/news/amtrak-outage-ticket-booking-faa-ground-stop-november-13-2026
139•snow_mac•3h ago•43 comments

After 600 experiments, here's what I discovered about JEPA world models

https://haddyalchaer.com/jepa
226•halcdev•10h ago•37 comments

Jonathan Blow – If AI solved coding, why is my software still the same? [video]

https://www.youtube.com/watch?v=IRK8h67ol7Q
164•helloplanets•13h ago•146 comments

Nvidia director sold nearly $1B in stock weeks before the Jensen Huang scandal

https://finance.yahoo.com/markets/stocks/articles/nvidia-director-sold-nearly-1b-160000846.html
71•LopRabbit•2h ago•22 comments

How Not to Build a Music Player

https://alichraghi.github.io/blog/how-not-to-build-a-music-player/
50•vinhnx•5h ago•21 comments

Philip Roth and David Remnick getting personal (2001)

https://salmagundi.skidmore.edu/articles/2001-philip-roth-david-remnick
8•Caiero•4h ago•0 comments

Perplexity Decider v1.3: Training, eval, and use cases

https://www.perplexity.ai/hub/blog/perplexity-decider
107•gmays•9h ago•21 comments

Live-migration support in FreeBSD and bhyve coming

https://gyptazy.com/blog/freebsd-bhyve-live-migration-support-rfc/
80•JohnDohnBohn•8h ago•20 comments

Autonomous (YC F25) is hiring MTS to build AI agents that manage your wealth

https://atg.science/careers
1•dkobran•7h ago

Show HN: Isometric SF – A pixel-art map of the SF Bay Area

https://isometricsf.com/
172•juscha1•10h ago•67 comments

The Other Nefertiti(2015)

https://alloversky.com/puzzlepieces/the-other-nefertiti
3•dmbche•2d ago•0 comments

A technical vision for the Haskell ecosystem

https://discourse.haskell.org/t/a-technical-vision-for-the-haskell-ecosystem/15078
187•cosmic_quanta•13h ago•104 comments

Minnesota guitarist's "palmfrets" invention strikes a new chord

https://www.echopress.com/business/minnesota-guitarists-invention-strikes-a-new-chord
152•bookofjoe•13h ago•91 comments

Ctrl+C, Ctrl+v, Ctrl+cve: Bypassing Android's Clipboard Read Security Measures

https://toninoble.com/post/ctrlc-ctrlv-ctrlcve
73•dethmasque•10h ago•32 comments

$11.4M in Nvidia hardware vanishes during shipment from CA to TX

https://www.freightwaves.com/news/11-4-million-in-nvidia-hardware-vanishes-during-shipment-from-c...
315•crescit_eundo•9h ago•175 comments

All US airports are currently ground stopped

https://twitter.com/flightradar24/status/2121347654714077605
180•defly•7h ago•33 comments

Weight Space Misfolding

https://www.alphaxiv.org/abs/2611.weight-space-misfolding
137•mkglees•9h ago•49 comments

AI unlocks Gödel's notebooks, said to contain hundreds of proved theorems

https://www.theguardian.com/science/2026/nov/13/kurt-godel-notebooks-ai-helps-unlock-hidden-disco...
352•bookofjoe•11h ago•95 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/