frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Category Theory Illustrated – Orders

https://abuseofnotation.github.io/category-theory-illustrated/04_order/
122•boris_m•5h ago•34 comments

Michael Rabin Has Died

https://en.wikipedia.org/wiki/Michael_O._Rabin
149•tkhattra•2d ago•12 comments

Amiga Graphics

https://amiga.lychesis.net/
133•sph•6h ago•19 comments

State of Kdenlive

https://kdenlive.org/news/2026/state-2026/
15•f_r_d•48m ago•3 comments

It's OK to compare floating-points for equality

https://lisyarus.github.io/blog/posts/its-ok-to-compare-floating-points-for-equality.html
40•coinfused•3d ago•20 comments

Claude Design

https://www.anthropic.com/news/claude-design-anthropic-labs
1082•meetpateltech•21h ago•713 comments

Show HN: I made a calculator that works over disjoint sets of intervals

https://victorpoughon.github.io/interval-calculator/
192•fouronnes3•11h ago•38 comments

Measuring Claude 4.7's tokenizer costs

https://www.claudecodecamp.com/p/i-measured-claude-4-7-s-new-tokenizer-here-s-what-it-costs-you
624•aray07•21h ago•445 comments

Towards trust in Emacs

https://eshelyaron.com/posts/2026-04-15-towards-trust-in-emacs.html
134•eshelyaron•2d ago•18 comments

All 12 moonwalkers had "lunar hay fever" from dust smelling like gunpowder (2018)

https://www.esa.int/Science_Exploration/Human_and_Robotic_Exploration/The_toxic_side_of_the_Moon
356•cybermango•18h ago•208 comments

Spending 3 months coding by hand

https://miguelconner.substack.com/p/im-coding-by-hand
234•evakhoury•20h ago•246 comments

It is incorrect to "normalize" // in HTTP URL paths

https://runxiyu.org/comp/doubleslash/
51•pabs3•6h ago•38 comments

Brunost: The Nynorsk Programming Language

https://lindbakk.com/blog/introducing-brunost
89•atomfinger•4d ago•35 comments

Rewriting Every Syscall in a Linux Binary at Load Time

https://amitlimaye1.substack.com/p/rewriting-every-syscall-in-a-linux
61•riteshnoronha16•4d ago•25 comments

Are the costs of AI agents also rising exponentially? (2025)

https://www.tobyord.com/writing/hourly-costs-for-ai-agents
230•louiereederson•2d ago•72 comments

A simplified model of Fil-C

https://www.corsix.org/content/simplified-model-of-fil-c
180•aw1621107•14h ago•99 comments

The simple geometry behind any road

https://sandboxspirit.com/blog/simple-geometry-of-roads/
56•azhenley•2d ago•7 comments

Show HN: Smol machines – subsecond coldstart, portable virtual machines

https://github.com/smol-machines/smolvm
353•binsquare•19h ago•117 comments

Slop Cop

https://awnist.com/slop-cop
202•ericHosick•21h ago•119 comments

"cat readme.txt" is not safe if you use iTerm2

https://blog.calif.io/p/mad-bugs-even-cat-readmetxt-is-not
210•arkadiyt•17h ago•125 comments

Hyperscalers have already outspent most famous US megaprojects

https://twitter.com/finmoorhouse/status/2044933442236776794
214•nowflux•20h ago•173 comments

A Dumb Introduction to Z3

https://ar-ms.me/thoughts/a-gentle-introduction-to-z3/
3•y1n0•4d ago•0 comments

Show HN: PanicLock – Close your MacBook lid disable TouchID –> password unlock

https://github.com/paniclock/paniclock/
207•seanieb•19h ago•95 comments

Claude Code Opus 4.7 keeps checking on malware

31•decide1000•1h ago•27 comments

Show HN: Sfsym – Export Apple SF Symbols as Vector SVG/PDF/PNG

https://github.com/yapstudios/sfsym
15•olliewagner•8h ago•3 comments

The quiet disappearance of the free-range childhood

https://bigthink.com/mind-behavior/the-quiet-disappearance-of-the-free-range-childhood/
14•sylvainkalache•47m ago•4 comments

Middle schooler finds coin from Troy in Berlin

https://www.thehistoryblog.com/archives/75848
245•speckx•21h ago•114 comments

NASA Force

https://nasaforce.gov/
281•LorenDB•20h ago•277 comments

Landmark ancient-genome study shows surprise acceleration of human evolution

https://www.nature.com/articles/d41586-026-01204-5
88•unsuspecting•14h ago•87 comments

Loonies for Loongsons

https://www.leadedsolder.com/2026/04/14/loongson-ls3a5000-debian-linux.html
13•zdw•3d ago•2 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•12mo ago

Comments

buildsjets•12mo 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•12mo 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•12mo ago
(2003)
throw0101b•12mo 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•12mo ago
Are there any public, open, comprehensive datasets on flights?
dieselerator•12mo 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•12mo 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•12mo 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•12mo 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•12mo 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/