frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

H3-metal – Native MiniMax-H3 inference for Apple Silicon

https://github.com/antirez/h3.c
173•swyx•4h ago•19 comments

Show HN: Mcptoon – MCP CLI client that cuts tool discovery tokens by 97%

https://github.com/activeing123/mcptoon
15•mcptokensaver•35m ago•2 comments

Chicken Scheme 6.0

https://code.call-cc.org/releases/6.0.0/NEWS
127•eatonphil•5h ago•15 comments

LFM2.5 2.6B model competitive with 4x larger models

https://huggingface.co/LiquidAI/LFM2.5-2.6B
25•nateb2022•6d ago•4 comments

Show HN: Scroll through all 43252003274489856000 Rubik's Cube states

https://everycube.alen.is/
142•Alen123•6h ago•41 comments

Recycle – Floppydisks

https://www.floppydisk.com/recycle
45•calvinmorrison•4h ago•14 comments

DeepSeek: Reverse Engineering an AI Assistant by Interviewing Itself

https://manish.sh/writings/models/inside-deepseek-reverse-engineering-an-ai-assistant-by-intervie...
5•ms7892•31m ago•0 comments

Show HN: Needle2: 14MB agentic LLM for phones, wearables, smart home and robots

https://cactuscompute.com/needle
270•HenryNdubuaku•12h ago•103 comments

The “mechanical miracle” that ruined Mark Twain’s life

https://resobscura.substack.com/p/the-mechanical-miracle-that-ruined
102•benbreen•5d ago•45 comments

Mark Zuckerberg attacks 'closed' AI rivals as Meta returns to open models

https://www.ft.com/content/4e3957f8-ea7c-4c46-a3de-cdce8e526878
453•root-parent•15h ago•421 comments

Hyperspace

https://hypercritical.co/hyperspace/
44•swyx•3h ago•29 comments

Stowaway – Take the window seat on any plane or satellite overhead

https://stowaway.live/
207•thunderbong•3d ago•26 comments

Rust SIMD on the GPU

https://www.vectorware.com/blog/simd-on-gpu/
163•sagacity•11h ago•75 comments

World Train Map – 1247 train routes around the world

https://worldtrainmap.com/
92•Flightmussy•7h ago•30 comments

Sonic Pi v5

https://www.patreon.com/samaaron/posts/sonic-pi-v5-166001392
343•samaaron•3d ago•84 comments

Publishing Schematics Before “Open Source” Was a Word

https://fabscene.medium.com/publishing-schematics-before-open-source-was-a-word-55-years-of-akizu...
79•extralongdivisi•3d ago•18 comments

Confessions of a Long-Distance Sailor

https://arachnoid.com/lutusp/sailbook.html
84•AntiRush•9h ago•26 comments

What's the best programming language for coding agents?

http://danluu.com/pl-tokens/
125•chaychoong•13h ago•81 comments

Muse Glimmer: 30B-parameter model optimized for always-on local agent workflows

https://research.meta.ai/blog/introducing-muse-glimmer-open-agentic-model
1083•riordan•19h ago•593 comments

Choral: Choreographic Programming for Java

https://www.choral-lang.org/
19•dplyukhin•3d ago•1 comments

Once More in Triple Time

https://theamericanscholar.org/once-more-in-triple-time/
3•Petiver•4d ago•0 comments

Microsoft Responds to Outcry After Quiet Enterprise Install of Beta 'Photos' App

https://www.neowin.net/news/windows-11-admins-unhappy-as-microsoft-found-installing-unexpected-ne...
26•m463•1h ago•7 comments

Squeak 6.1

https://squeak.org/release_notes/6.1/
247•fniephaus•17h ago•125 comments

Humanising LLM Outputs Is Dumb

https://kuber.studio/blog/Reflections/Humanising-LLM-Outputs-is-Actually-Dumb
189•kuberwastaken•16h ago•117 comments

Why My Father Is Wrong: A Defense of Guitar Hero

https://whatever.scalzi.com/2026/08/10/why-my-father-is-wrong-a-defense-of-guitar-hero/
30•Tomte•2h ago•11 comments

Updated GPG Key for Signing Firefox and Thunderbird Releases

https://blog.mozilla.org/security/2026/08/10/updated-gpg-key-for-signing-firefox-and-thunderbird-...
23•csmantle•1h ago•5 comments

Exploiting System Management Mode with a very long interrupt

https://github.com/xoreaxeaxeax/smiiiiiiiiiiiiiiii
150•WhiteDawn•13h ago•55 comments

Launch HN: Stoa Markets (YC S26) – A Marketplace for GPUs and AI Servers

https://www.stoaexchange.com
74•erenberke•13h ago•47 comments

The Story of Mac: A Just-So Story

https://gigamonkeys.com/book/macros-defining-your-own
22•kscarlet•6d ago•3 comments

Parametron: 50s Japanese computer that uses neither transistors nor vacuum tubes

https://ethw.org/Milestones:Parametron,_1954
211•xeonmc•19h ago•51 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/