frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Kimi K3: Open Frontier Intelligence

https://www.kimi.com/blog/kimi-k3
1351•vincent_s•14h ago•832 comments

An Engineer's Guide to USB Typе-С (2024)

https://www.ti.com/lit/eb/slyy228/slyy228.pdf?ts=1759892558029
56•gregsadetsky•6d ago•1 comments

Microsoft Comic Chat is now open source

https://opensource.microsoft.com/blog/2026/07/16/microsoft-comic-chat-is-now-open-source/
600•jervant•12h ago•134 comments

How Has Roman Concrete Lasted for Millennia? 1,900-Year-Old Latrine Offers Clues

https://www.smithsonianmag.com/smart-news/how-has-roman-concrete-lasted-for-millennia-a-1900-year...
13•divbzero•1h ago•2 comments

The Human-in-the-Loop Is Tired

https://pydantic.dev/articles/the-human-in-the-loop-is-tired
91•haritha1313•4h ago•44 comments

Decoy Font

https://www.mixfont.com/experiments/decoy-font
466•ray__•12h ago•111 comments

LM Studio Bionic: the AI agent for open models

https://lmstudio.ai/blog/introducing-lm-studio-bionic
192•minimaxir•8h ago•70 comments

$100 AI Music Video: Claude Fable 5 vs. GPT-5.6 Sol

https://www.tryai.dev/blog/ai-music-video-arena-claude-vs-gpt-5.6
191•hershyb_•8h ago•222 comments

Solod: Go can be a better C

https://solod.dev
82•koeng•3d ago•18 comments

M 3.9 Experimental Explosion – 147 Km ENE of Ponce Inlet, Florida

https://earthquake.usgs.gov/earthquakes/eventpage/us7000t13l/executive
47•hnburnsy•4h ago•19 comments

GrapheneOS recommended for domestic abuse victims

https://privacypros.com.au/privacy-hub/articles/dv-safe-phone-australia/
27•aussieguy1234•3h ago•17 comments

NotebookLM is now Gemini Notebook

https://blog.google/innovation-and-ai/products/gemini-notebook/notebooklm-gemini-notebook/
276•xnx•12h ago•141 comments

The Little Book of Reinforcement Learning

https://github.com/alxndrTL/little-book-rl/
80•mustaphah•6h ago•10 comments

'Likweli': A new monkey species discovered in the Congo Basin

https://news.yale.edu/2026/07/15/meet-likweli-new-monkey-species-discovered-congo-basin
63•gmays•6h ago•11 comments

Simulating everything, sort of: The promise and limits of world models

https://arstechnica.com/ai/2026/07/simulating-everything-sort-of-the-promise-and-limits-of-world-...
19•LorenDB•3d ago•1 comments

Mathematics of Data Science

https://arxiv.org/abs/2607.11938
120•Anon84•8h ago•3 comments

Old Icons

https://leancrew.com/all-this/2026/07/old-icons/
21•zdw•5d ago•0 comments

How Our Rust-to-Zig Rewrite Is Going

https://rtfeldman.com/rust-to-zig
447•jorangreef•17h ago•234 comments

Helium escaping from atmosphere of nearby rocky exoplanet in a habitable zone

https://www.science.org/doi/10.1126/science.aea9708
84•anyonecancode•8h ago•21 comments

Detecting LLM-Generated Texts with “Classical” Machine Learning

https://blog.lyc8503.net/en/post/llm-classifier/
171•uneven9434•12h ago•118 comments

Immersive Linear Algebra Book with Interactive Figures (2015)

https://immersivemath.com/ila/
185•srean•13h ago•26 comments

Show HN: Clx – Compile Lua to Native Executables Through C++20

https://github.com/samyeyo/clx
100•_samt_•5d ago•8 comments

Ring-Zero: Scaling Zero RL to a Trillion Parameters for Emergent Reasoning

https://arxiv.org/abs/2607.12395
44•binyu•7h ago•15 comments

Pseudpocalypse

https://dynomight.net/pseudpocalypse/
102•surprisetalk•2d ago•60 comments

Abstracting Effects with Continuations

https://crowdhailer.me/2026-07-15/abstracting-effects-with-continuations/
49•crowdhailer•18h ago•0 comments

Show HN: Mojibake – A low-level Unicode library written in C

https://mojibake.zaerl.com/
51•program•6h ago•7 comments

CVE-2026-25089: FortiSandbox unauthenticated command injection added to CISA KEV

https://hellorecon.com/blog/cve-2026-25089
30•slvnx•6h ago•0 comments

How to Train a Gen AI Kick Drum Model on Your Old Linux Desktop with 6GB VRAM

https://www.zhinit.dev/blog/training-a-kick-drum-diffusion-model
112•zhinit•13h ago•55 comments

Adaptional (YC S25) Is Hiring

https://www.ycombinator.com/companies/adaptional/jobs
1•acesohc•11h ago

Goes-19 weather satellite enters Safe Hold mode

https://www.spaceweather.gov/news/goes-19-safe-hold
160•yabones•15h ago•80 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/