frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Show HN: Ez FFmpeg – Video editing in plain English

http://npmjs.com/package/ezff
162•josharsh•5h ago•60 comments

Splice a Fibre

https://react-networks-lib.rackout.net/fibre
25•matt-p•1h ago•7 comments

How uv got so fast

https://nesbitt.io/2025/12/26/how-uv-got-so-fast.html
1009•zdw•20h ago•337 comments

Show HN: Mysti – Claude, Codex, and Gemini debate your code, then synthesize

https://github.com/DeepMyst/Mysti
26•bahaAbunojaim•4d ago•31 comments

Mruby: Ruby for Embedded Systems

https://github.com/mruby/mruby
60•nateb2022•5d ago•16 comments

Intertapes – collection of found cassette tapes from different locations

https://intertapes.net/
28•wallflower•5d ago•4 comments

Faster practical modular inversion

https://purplesyringa.moe/blog/faster-practical-modular-inversion/
9•todsacerdoti•6d ago•1 comments

Exe.dev

https://exe.dev/
292•achairapart•14h ago•150 comments

Langjam-Gamejam Devlog: Making a language, compiler, VM and 5 games in 52 hours

https://github.com/Syn-Nine/gar-lang/blob/main/DEVLOG.md
62•suioir•5d ago•5 comments

Some Junk Theorems in Lean

https://github.com/James-Hanson/junk-theorems-in-lean
38•saithound•4d ago•19 comments

Always bet on text (2014)

https://graydon2.dreamwidth.org/193447.html
253•jesseduffield•14h ago•127 comments

The best things and stuff of 2025

https://blog.fogus.me/2025/12/23/the-best-things-and-stuff-of-2025.html
301•adityaathalye•3d ago•34 comments

QNX Self-Hosted Developer Desktop

https://devblog.qnx.com/qnx-self-hosted-developer-desktop-initial-release/
186•transpute•12h ago•100 comments

Detect memory leaks of C extensions with psutil and psleak

https://gmpy.dev/blog/2025/psutil-heap-introspection-apis
7•grodola•2d ago•1 comments

Package managers keep using Git as a database, it never works out

https://nesbitt.io/2025/12/24/package-managers-keep-using-git-as-a-database.html
675•birdculture•1d ago•378 comments

Publishing your work increases your luck

https://github.com/readme/guides/publishing-your-work
163•magoghm•13h ago•56 comments

Experts explore new mushroom which causes fairytale-like hallucinations

https://nhmu.utah.edu/articles/experts-explore-new-mushroom-which-causes-fairytale-hallucinations
418•astronads•20h ago•236 comments

More dynamic cronjobs

https://george.mand.is/2025/09/more-dynamic-cronjobs/
59•0928374082•7h ago•13 comments

AI Police Reports: Year in Review

https://www.eff.org/deeplinks/2025/12/ai-police-reports-year-review
157•hn_acker•3d ago•115 comments

One million (small web) screenshots

https://nry.me/posts/2025-10-09/small-web-screenshots/
115•squidhunter•4d ago•13 comments

How Lewis Carroll computed determinants (2023)

https://www.johndcook.com/blog/2023/07/10/lewis-carroll-determinants/
191•tzury•18h ago•49 comments

Show HN: Witr – Explain why a process is running on your Linux system

https://github.com/pranshuparmar/witr
368•pranshuparmar•22h ago•79 comments

OrangePi 6 Plus Review: The New Frontier for ARM64 SBC Performance

https://boilingsteam.com/orange-pi-6-plus-review/
7•ekianjo•1h ago•0 comments

SIMD City: Auto-Vectorisation

https://xania.org/202512/20-simd-city
50•brewmarche•1w ago•11 comments

Researchers develop a camera that can focus on different distances at once

https://engineering.cmu.edu/news-events/news/2025/12/19-perfect-shot.html
60•gnabgib•3d ago•22 comments

Inside the proton, the ‘most complicated thing you could possibly imagine’ (2022)

https://www.quantamagazine.org/inside-the-proton-the-most-complicated-thing-imaginable-20221019/
70•tzury•10h ago•14 comments

LearnixOS

https://www.learnix-os.com
243•gtirloni•1d ago•95 comments

Moravec's Paradox and the Robot Olympics

https://www.physicalintelligence.company/blog/olympics
75•beklein•4d ago•9 comments

T-Ruby is Ruby with syntax for types

https://type-ruby.github.io/
144•thunderbong•17h ago•111 comments

Show HN: Xcc700: Self-hosting mini C compiler for ESP32 (Xtensa) in 700 lines

https://github.com/valdanylchuk/xcc700
134•isitcontent•22h ago•25 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•8mo ago

Comments

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