frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Tim Gowers: What sort of maths are LLMs good at?

https://gowers.wordpress.com/2026/08/12/what-sort-of-maths-are-llms-good-at/
73•ColinWright•1h ago•12 comments

Show HN: Woxi - Open-source Mathematica / Wolfram Language reimplementation

https://woxi.ad-si.com
57•adius•1h ago•1 comments

LinkedIn CringeBot 3000

https://www.cringebot3000.com/
248•theanonymousone•4h ago•94 comments

Dutch Train Map Simulator

https://spoorkaart.zaza.dev
47•zazaalaza•2h ago•26 comments

High-Res Photo Shows Sand-Capped Butte Rising from Mars Plain of Polygons

https://petapixel.com/2026/08/04/amazing-high-res-photo-shows-a-butte-rising-from-mars/
19•bookofjoe•6d ago•1 comments

Facebook is paying controversial creators to produce rage-bait content

https://www.abc.net.au/news/2026-08-06/ragebait-how-facebook-is-paying-controversial-creators/106...
128•robtherobber•1h ago•58 comments

Worms: The Future of Yesterday's Worms Today

https://worm.net/
71•doener•5d ago•22 comments

Compression is prediction

https://ngrok.com/blog/compression-is-prediction
561•nikolay•15h ago•227 comments

The hardest working font in Manhattan (2025)

https://aresluna.org/the-hardest-working-font-in-manhattan/
234•dcminter•5d ago•40 comments

Launch HN: Discovered Materials (YC P26) – AI agents to discover new materials

https://discoveredmaterials.com/research/
20•advaith08•3h ago•6 comments

WorldClaw Agentic 3D open-world generation at scale

https://tencent-hunyuan.github.io/Hunyuan3D-WorldClaw/
237•EwanG•13h ago•73 comments

llama.cpp

https://llama.app
258•kristianpaul•6h ago•113 comments

A shell exclamation mark is not for yelling. Be lazy

https://refp.se/articles/your-shell-and-the-lazy-exclamation-mark
95•refp•5d ago•41 comments

Stealing Reasoning Traces from Proprietary LLM APIs

https://stolen-thoughts.com/
635•quantumgarbage•22h ago•284 comments

OpenAI’s head of ethics leaves less than a year after joining

https://www.ft.com/content/e49dfb75-f841-4466-a577-f7aaff8779a0
455•ilamont•23h ago•430 comments

Nvidia Nemotron 3.5 Lightning and NeMo Switchyard

https://blogs.nvidia.com/blog/nemotron-lightning-switchyard-rtx-dgx/
236•droidjj•15h ago•123 comments

Mojo 1.0

https://www.modular.com/blog/modular-26-5-mojo-1-0-is-here
397•dayanruben•18h ago•203 comments

Newfoundland has a hard bread shortage, but why do they eat it?

https://www.cbc.ca/news/canada/newfoundland-labrador/nl-hard-bread-history-shortage-9.7299276
24•empressplay•2d ago•27 comments

Music Generation by a Composer, for Musicians

https://monictheory.com
3•song_synth•4d ago•0 comments

The Human Is the Loop

https://brentfitzgerald.com/posts/the-human-is-the-loop/
124•burnto•9h ago•58 comments

Grok Bot

https://x.ai/bot
302•rvz•18h ago•268 comments

DARPA heavy lift challenge ends with winner at a 3.84:1 payload to weight ratio

https://dronexl.co/2026/08/10/darpa-lift-challenge-results-avidrone/
51•daau•8h ago•35 comments

Show HN: iPhone app takes simultaneous images from 2 lenses, fuses into 1 photo

https://photosynthesis.camera
294•sajomes•3d ago•273 comments

The lifesaving secret hidden inside a horseshoe crab's blue blood

https://whdh.com/news/the-lifesaving-secret-hidden-inside-a-horseshoe-crabs-blue-blood-and-the-ra...
90•andsoitis•9h ago•25 comments

Making holograms with a pen plotter

https://blog.jordan.matelsky.com/Penplotter-holography/
169•DemiGuru•16h ago•17 comments

London Underground begins scanning passengers' faces

https://www.btp.police.uk/news/btp/news/england/btp-expands-live-facial-recognition-lfr-trial-int...
356•BlueBerry2001•1d ago•439 comments

Retire the Abstractions

https://hazyresearch.stanford.edu/blog/2026-08-05-retire-the-abstractions
57•convexstrictly•6d ago•58 comments

Jolt: Clojure compiler implemented with Chez Scheme

https://jolt-lang.github.io
202•mark_l_watson•3d ago•67 comments

Show HN: Tamron Lens Utility Alternative on Linux

https://github.com/yikerman/tamron-lens-control
73•xiaoyu2006•4d ago•8 comments

Go is an ideal language for AI-assisted software engineering

https://developers.googleblog.com/why-go-is-an-ideal-language-for-ai-assisted-software-engineering/
392•0xedb•18h ago•448 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/