frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Sharing AI progress in mathematics

https://openai.com/index/sharing-ai-progress-in-mathematics/
540•OfficialTurkey•5h ago•468 comments

Strands Decider 2B: a small, open-source, decision model

https://strandsagents.com/blog/introducing-strands-decider/
51•gmays•1h ago•5 comments

Mistral Large 4

https://mistral.ai/news/mistral-large-4/\
1626•Philpax•14h ago•974 comments

Decisions API is in public beta

https://developers.openai.com/api/docs/guides/decisions
182•chiefstorm•6h ago•76 comments

The cost of lies: A Mineserver story

https://www.jeremyreimer.com/rockets-item.lsp?f=true&p=272
28•luu•2d ago•8 comments

La Cueva BBS in Mexico in 1993 (session replay)

https://nanochess.org/la_cueva_bbs.html
6•nanochess•23m ago•0 comments

Penguin Mail – open-source Rust email client for Linux with AI

https://penguin-mail.com/
95•kavourias•5h ago•43 comments

EmbeddingGemma 2: An open, lightweight multimodal embedding model

https://blog.google/innovation-and-ai/technology/developers-tools/embeddinggemma-2/
248•ilreb•11h ago•31 comments

Claude Code’s suggested message feature: I think the real customer is the model

https://www.zohaib.cc/blog/smartest-claude-code-feature
129•zed_labs_dev•9h ago•64 comments

AnyPS5: Port PS5 binaries to PC without emulation (87% system libraries mapped)

https://github.com/boykopovar/AnyPS5
140•Fe2O3•4h ago•107 comments

ESP32-C3 Adblock

https://github.com/M-Abozaid/esp32-c3-adblock
16•jayhoon•2h ago•2 comments

OpenTPU – An open-source AI accelerator, developed by AI

https://github.com/FeSens/openTPU
251•fsbonetto•11h ago•309 comments

LLMs may have helped my RSI

https://vaughanhilts.me/2026/10/05/llms-immensely-helped-my-rsi.html
54•vaughands•1d ago•28 comments

Jev-Driven SRE Diagnosis: What Worked and What Failed

https://www.sregym.com/blog/jev-driven-sre-diagnosis
10•matt_d•2h ago•2 comments

State of Devs 2026

https://2026.stateofdevs.com/en-US/
93•sgdesign•4h ago•26 comments

Utah to let AI examine patients and prescribe medication without human oversight

https://www.techspot.com/news/114111-utah-become-first-state-ai-examine-patients-prescribe.html
96•healsdata•10h ago•105 comments

What's Earth's dominant species by mass?

https://signoregalilei.com/2026/09/27/whats-earths-dominant-species-by-mass/
172•surprisetalk•15h ago•113 comments

When random is not actually random enough

https://ersc.io/blog/when-random-isnt-random-enough
36•steveklabnik•7h ago•9 comments

How Fast is Python 3.15?

https://blog.miguelgrinberg.com/post/how-fast-is-python-3-15
38•Qem•5h ago•25 comments

Paramount Skydance has completed its $111B merger with Warner Bros. Discovery

https://arstechnica.com/tech-policy/2026/10/paramount-completes-111b-warner-merger-creating-skyda...
194•Mgtyalx•7h ago•316 comments

California closed the Montana license plate loophole

https://www.thedrive.com/news/heres-how-california-closed-the-montana-license-plate-loophole
75•speckx•10h ago•174 comments

UniEvo-VL: Self-Distillation Training for Multimodal Model Self-Improvement

https://arxiv.org/abs/2609.38721
12•gmays•4h ago•3 comments

Benchmark in Milliseconds

https://matklad.github.io/2026/10/05/benchmark-milliseconds.html
130•surprisetalk•1d ago•38 comments

Treg (OpenRouter for Tools)

https://github.com/superdesigndev/treg
4•trollied•11h ago•1 comments

Integer multiplication below n log n

https://github.com/openai/math/tree/main/preprints/Integer-multiplication-below-n-log-n-September...
72•E-Reverance•4h ago•54 comments

Xbox has secured exclusive GTA 6 streaming rights

https://www.theverge.com/report/1005859/microsoft-xbox-gta-6-streaming-rights
9•thm•1h ago•6 comments

South Korea says AI agents appear to have been used to hack the country's banks

https://www.reuters.com/world/south-koreas-lee-says-ai-appears-have-been-used-bank-hacks-2026-10-06/
45•thoughtpeddler•3h ago•11 comments

Nobel Prize in Physics 2026: Francis Halzen

https://www.nobelprize.org/prizes/physics/2026/
539•solarist•17h ago•184 comments

The Query Transformation Pipeline

https://readyset.io/blog/how-readyset-rewrites-your-sql-inside-the-query-transformation-pipeline
14•gvsg-rs•5h ago•0 comments

OpenSSH 10.6

https://www.openssh.org/releasenotes.html#10.6
97•torcete•6h ago•23 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/