frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Linux 7.3 Released

https://lwn.net/Articles/1101143/
208•cjd8•3h ago•83 comments

Hybrid Reasoning Agents: LLM agents that think in latent space, act through text

https://arxiv.org/abs/2610.18861
400•allinonai•13h ago•194 comments

How to Train Your Robot

https://www.construction-physics.com/p/how-to-train-your-robot
39•crescit_eundo•3d ago•14 comments

Rabbits were a medieval royal luxury in England until the Black Death

https://phys.org/news/2026-10-rabbits-medieval-royal-luxury-england.html
89•samizdis•1d ago•82 comments

William Gibson and the trademarking of cyberspace

https://colo.to/cyberspace.html
189•Eric_Gullichsen•10h ago•68 comments

There's never been a better time to go into math (by: 3blue1brown) [video]

https://www.youtube.com/watch?v=LKrwhjOI8Nc
378•mdp2021•1d ago•452 comments

Tmux and Claude Code: Sessions, Send-Keys, and the Ceiling

https://crystl.dev/guides/tmux-for-ai-agents/
33•ankitg12•4h ago•15 comments

If you don't run your own LLM proxy, how do you know whats going on?

https://jrdsgl.com/if-you-dont-run-your-own-llm-proxy-how-the-fuck-do-you-even-know-whats-going-on/
170•amrrs•13h ago•119 comments

Someone behind the software

https://karrisaarinen.com/posts/someone-behind-the-software/
446•tosh•17h ago•167 comments

Laptop Based on 6502 CPU

https://www.maddox.pro/?p=448
133•nanochess•3d ago•55 comments

Dogs seem to agree with humans that 'bouba' is round and 'kiki' is spiky

https://www.sciencealert.com/dogs-seem-to-agree-with-humans-that-bouba-is-round-and-kiki-is-spiky
243•gmays•1d ago•144 comments

Flatpak – An Insecurity Nightmare

https://oro.gay/posts/flatpak-an-insecurity-nightmare/
47•jannesan•5h ago•34 comments

RepRapMicron

https://github.com/VikOlliver/RepRapMicron/wiki
395•RobotToaster•20h ago•64 comments

The DNS Museum

https://dns.museum
77•zdw•2d ago•9 comments

HOL Light Tutorial

https://hol-light.github.io/tutorial/HTML/tutorial.html
6•stmonty•3d ago•1 comments

Superlite: A Faster Alternatie to Superpowers

https://contextfirst.blog/superlite-hand-an-agent-a-spec/
97•iheatuchriswogu•8h ago•39 comments

How Quickly Can the DoD Rebuild and Recast the Munitions Industrial Base?

https://www.csis.org/analysis/how-quickly-can-dod-rebuild-and-recast-munitions-industrial-base
66•gmays•10h ago•74 comments

Free Pascal compiler now supports dynamic packages

https://www.getlazarus.org/dynamic/
165•sysrpl•15h ago•38 comments

Show HN: WhatsApp MCP running free on Cloudflare

https://github.com/finereli/whatsapp-mcp
112•zoozla•12h ago•59 comments

Lant – The Forgotten Resource

https://sites.udel.edu/materialmatters/2018/04/11/lant-the-forgotten-resource/
11•kreyenborgi•3d ago•1 comments

I built a programming language that LLMs can't use

https://blog.picheta.me/post/killswitch-lang/
195•dom96•1d ago•153 comments

PalmOS Lemmings

https://github.com/ardiri/palmos-lemmings
130•memalign•16h ago•32 comments

How Postgres DELETE can actually scale

https://www.dbos.dev/blog/scaling-deletions-in-postgres
19•KraftyOne•3d ago•4 comments

A new way to think about borrow checking (in reverse)

https://verdagon.dev/blog/reverse-borrow-checking
87•verdagon•22h ago•8 comments

Java sealed classes and exhaustive pattern matching

https://neilmadden.blog/2026/04/24/java-sealed-classes-and-exhaustive-pattern-matching/
171•hnisjafx40•19h ago•133 comments

One parser, two bugs, many routers: Exploiting Broadcom WiFi across eCos, Linux

https://quentinkaiser.be/security/2026/10/16/one-parser-two-bugs/
80•zoobab•2d ago•20 comments

DeepSeek V4.1 Flash 1017 (Max)

https://artificialanalysis.ai/models/deepseek-v4-1-flash-1017
145•theanonymousone•5h ago•48 comments

macOS 15.8.2 Breaks OpenGL

https://developer.apple.com/forums/verify-human/verify.html?next=/forums/thread/850550
264•Audiophilip•18h ago•297 comments

Open MicroManipulator – A sub-micrometer 3D motion control plattform

https://github.com/0x23/MicroManipulatorStepper
203•_Microft•23h ago•16 comments

"I'm on a war footing": Terry Tao and the crisis in math

https://www.nytimes.com/2026/10/16/us/math-ai-terence-tao.html
189•vinipolicena•2d ago•381 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/