frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

The coolest use for the Vision Pro

https://christianselig.com/2026/07/vision-pro-house/
257•robbiet480•2h ago•113 comments

AI's top startups are barely publishing their research

https://www.science.org/content/article/ai-s-top-startups-are-barely-publishing-their-research
97•YeGoblynQueenne•1h ago•66 comments

Show HN: Open-source engine running Gemma 4 26B in 2 GB RAM on any M-series Mac

https://github.com/drumih/turbo-fieldfare
603•gitpusher42•8h ago•211 comments

Superlogical

https://www.superlogical.com/
467•yan•7h ago•294 comments

Keychron announces first open-source firmware for gaming mice

https://www.digitalfoundry.net/news/2026/07/keychron-announces-first-open-source-firmware-for-gam...
249•JLO64•6h ago•96 comments

Anatomy of a Frontier Lab Agent Intrusion: A Timeline of the July 2026 Incident

https://huggingface.co/blog/agent-intrusion-technical-timeline
255•artninja1988•1d ago•133 comments

Kimi K3-256k

https://www.kimi.com/code/docs/en/kimi-code/models
296•monneyboi•3h ago•88 comments

The Cold Email

https://zachholman.com/posts/cold-email
28•holman•2h ago•12 comments

KOReader

https://koreader.rocks/
640•Cider9986•12h ago•206 comments

GitHub is the wrong shape for this new world

https://depot.dev/blog/github-is-the-wrong-shape-for-this-new-world
11•emschwartz•54m ago•2 comments

SalesPatriot (YC W25) Is Hiring FDEs

https://www.ycombinator.com/companies/salespatriot/jobs/M46X6YX-forward-deployed-engineer
1•maciejSz•2h ago

Staging patches with Git add -p

https://www.simonholywell.com/post/git-add-p/
26•ankitg12•4d ago•26 comments

A Trampoline

https://dogdogfish.com/blog/2026/07/29/a-trampoline/
47•matthewsharpe3•3h ago•22 comments

Turning a dumb AC unit smart (without losing my security deposit)

https://prilik.com/blog/post/automating-ac-nyc/
86•austinallegro•4h ago•70 comments

A.I. companies are recruiting electricians and carpenters by the thousands

https://www.nytimes.com/2026/07/29/business/economy/data-center-electricians-training.html
196•thm•8h ago•244 comments

Refactoring cuisine: how an Iraqi stew sailed to Singapore

https://iza.ac/posts/2026/07/the-journey-of-bamya/
15•infinitewalk•3d ago•0 comments

Handbook.md shows that long policy documents do not reliably govern agents

https://arxiv.org/abs/2607.25398
279•spIrr•10h ago•179 comments

Document-borne AI worms can self-propagate through Copilot for Word

https://enklypesalt.com/posts/context-collapse-part3-ai-worming-through-word/
323•Canopy9560•11h ago•246 comments

Commodification of Intelligence: Good, Bad, and Ugly Circular AI Deals

https://www.emergingtrajectories.com/lh/commodification-and-circularity/
47•cl42•4h ago•26 comments

Show HN: CheapFoodMap – A map of good meals under $10

https://cheapfoodmap.com/
102•jaep1•6h ago•124 comments

Launch HN: Tokenless (YC S26) – Automatic model switching to save money

https://usetokenless.com/
47•rohaga•7h ago•41 comments

Claude: Elevated errors across all models

https://status.claude.com/incidents/q2kg8n613kr3
249•gregsadetsky•3h ago•219 comments

Darktable

https://www.darktable.org/
276•siatko•10h ago•134 comments

Some thoughts about Anthropic's new cryptanalysis results

https://blog.cryptographyengineering.com/2026/07/29/some-notes-about-anthropics-new-results/
92•supermatou•6h ago•50 comments

How to not die by a thousand cuts or how to think about software quality (2023)

https://www.evalapply.org/posts/how-to-not-die-by-a-thousand-cuts/index.html
45•adityaathalye•4h ago•25 comments

Man and the Computer by John G. Kemeny (1972 book by the co-creator of BASIC)

https://archive.org/details/mancomputerbyjoh0000john
5•MilnerRoute•27m ago•1 comments

Hamburg's Stadtpark: A Park Built to Be Used

https://alsterrunde.com/hamburgs-stadtpark-a-park-built-to-be-used/
108•mertbio•2d ago•26 comments

The Rust on ESP Book

https://docs.espressif.com/projects/rust/book/
115•AlexeyBrin•4d ago•9 comments

LLM Honeypot

https://llm2human.pages.dev/
4•8thom•30m ago•2 comments

How much can you delegate to agents?

https://newsletter.posthog.com/p/agent-autonomy
38•duck•4h ago•1 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/