frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Terrence Tao's ChatGPT Conversation about the Jacobian Conjecture Counterexample

https://chatgpt.com/share/6a5fdc7a-d6f8-83e8-bbea-8deb42cfed56
618•gmays•8h ago•378 comments

Quality non-fiction books are the antithesis of AI slop

https://resobscura.substack.com/p/quality-non-fiction-books-are-the
160•benbreen•11h ago•75 comments

GigaToken: ~1000x faster Language model tokenization

https://github.com/marcelroed/gigatoken/
372•syrusakbary•8h ago•72 comments

Show HN: Bento - An entire PowerPoint in one HTML file (edit+view+data+collab)

https://bento.page/slides/
656•starfallg•10h ago•151 comments

Medici family mystery may be solved after more than 400 years

https://www.cnn.com/2026/07/15/science/medici-family-mystery-dna-malaria
79•effects•4h ago•18 comments

Are AI Labs Pelicanmaxxing?

https://dylancastillo.co/posts/pelicanmaxxing.html
398•dcastm•8h ago•156 comments

Everyone Should Know SIMD

https://mitchellh.com/writing/everyone-should-know-simd
258•WadeGrimridge•8h ago•74 comments

Show HN: Cactus Hybrid: We taught Gemma 4 to know when it's wrong

https://github.com/cactus-compute/cactus-hybrid
68•HenryNdubuaku•8h ago•12 comments

Malleable Computing, Emacs, and You

http://yummymelon.com/devnull/malleable-computing-emacs-and-you.html
68•kickingvegas•4h ago•16 comments

John C. Dvorak has died

https://twitter.com/na_announce/status/2079952538040672302
556•coleca•6h ago•178 comments

Codeberg Bans Cryptocurrency Projects

https://codeberg.org/Codeberg/org/pulls/1254
5•intunderflow•53m ago•0 comments

Safari Technology Preview 248 Released

https://webkit.org/blog/18162/release-notes-for-safari-technology-preview-248/
78•Erenay09•4h ago•40 comments

Fairphone 6 wide camera experimental Linux support

https://nondescriptpointer.com/articles/fairphone-6-wide-camera-linux/
73•helonaut•5h ago•6 comments

Nobody knows what a used GPU cluster is worth

https://ciphertalk.substack.com/p/nobody-knows-what-a-used-gpu-cluster
170•rbanffy•1w ago•155 comments

Making

https://beej.us/blog/data/ai-making/
276•erikschoster•10h ago•110 comments

The startup's Postgres survival guide

https://hatchet.run/blog/postgres-survival-guide
319•abelanger•13h ago•173 comments

Clarity didn't work, trying mysterianism (2012)

https://gwern.net/doc/fiction/science-fiction/2012-10-03-yvain-thewhisperingearring.html
39•dboon•7h ago•7 comments

What Rose Petals Teach Us about Induction

https://www.oranlooney.com/post/rose-petals/
12•olooney•4d ago•1 comments

So Reddit has decided that plain HTML is unsafe

https://www.cole-k.com/2026/07/21/reddit/
281•montroser•13h ago•287 comments

Any text-to-SQL benchmark should address difficulties of real-world data stores

https://cacm.acm.org/blogcacm/if-you-think-you-can-do-real-world-text-to-sql/
32•shenli3514•4h ago•9 comments

NixOS is more complicated than you think but OpenCode fixed it

https://grigio.org/nixos-is-more-complicated-than-you-think-but-opencode-fixed-it/
4•grigio•2d ago•0 comments

Launch HN: Unlayer (YC W22) – Add email and document builders to your app

https://unlayer.com
46•adeelraza•9h ago•30 comments

Anthropomorphism in Children's Interactions with LLM Chatbots

https://arxiv.org/abs/2607.18250
23•StatsAreFun•3h ago•17 comments

Businesses with ugly AI menu redesigns

https://blog.fiddery.com/businesses-with-ugly-ai-menu-redesigns/
182•speckx•13h ago•149 comments

How we made our LeRobot video reader up to 15× faster

https://www.eventual.ai/blog/how-we-made-our-lerobot-video-reader-up-to-15x-faster
17•ykev•5d ago•0 comments

MemoryPack: Zero encoding extreme performance binary serializer for C#

https://github.com/Cysharp/MemoryPack
14•breve•3d ago•3 comments

All 253 Patterns from Christopher Alexander's a Pattern Language Summarized

https://claytondorge.com/patterns-list
21•toomuchtodo•4h ago•2 comments

I Inspected My Take-Home Interview Project. It Was a Whole Operation

https://citizendot.github.io/articles/fake-job-interview-git-hook-malware/
265•CITIZENDOT•5h ago•70 comments

Back to Kagi

https://blog.melashri.net/micro/back-to-kagi/
200•speckx•12h ago•160 comments

Museum of the Human Web

https://museum.parallel.ai/introduction?era=modern
18•ohjeez•1w ago•3 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/