frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Formalizing Fermat's Last Theorem

https://www.anthropic.com/research/formalizing-fermats-last-theorem
43•jlebar•19m ago•9 comments

Discovery of a new OpenAI agent message board

https://collusion.wiki/
1117•moultano•7h ago•880 comments

Show HN: Open-Source eInk Bike Computer

https://opentrailpaper.com
94•stingrae•1h ago•28 comments

Shutting down our public encrypted DNS

https://mullvad.net/en/blog/shutting-down-our-public-encrypted-dns-servers-and-sponsoring-quad9-i...
14•mywacaday•11m ago•0 comments

Project HydraFusion: Frontier quality via multi-model orchestration

https://github.blog/ai-and-ml/github-copilot/project-hydrafusion-frontier-quality-via-multi-model...
38•qainsights•2h ago•14 comments

The Rust React Compiler is now native in Vite

https://blog.master.dev/react-now-rusted-all-the-way-out/
14•acusti•1h ago•1 comments

GPT-6 Astra

https://openai.com/index/gpt-6-astra/
2104•kibae•1d ago•1911 comments

IBM Bob

https://bob.ibm.com/
149•artpar•6h ago•182 comments

Nobody Is Saying Why OpenAI and Anthropic Had Outages

https://www.wired.com/story/nobody-is-saying-why-openai-and-anthropic-had-outages-today/
114•jslakro•1h ago•79 comments

Solving the Jane Street reverse engineering challenge

https://jestoph.com/2026/09/04/jane-street-challenge.html
324•anitil•8h ago•76 comments

Adult Film Producer Unmasks Prolific 'John DOE' Torrent Pirate as Meta Executive

https://torrentfreak.com/adult-film-producer-unmasks-prolific-john-doe-torrent-pirate-as-meta-exe...
111•speckx•2h ago•53 comments

deSEC – Free Secure DNS

https://desec.io/
41•gurjeet•3h ago•20 comments

People that worked on the same idea for decades

https://nityasnotes.com/writing/decades/
14•sebg•1d ago•6 comments

Show HN: TERMy – A fast terminal assistant that does not use LLMs

https://github.com/gioblu/NPC-Forge/blob/main/docs/development.md
28•gioscarab•9h ago•10 comments

The Two Abstractions of System Design: Hide or Reduce

http://muratbuffalo.blogspot.com/2026/05/the-two-abstractions-of-system-design.html
85•ubolonton_•2d ago•9 comments

Arrested for a Late Manuscript: Seicho Matsumoto's 'Tokyo Express'

https://www.millersbookreview.com/p/arrested-for-a-late-manuscript-seicho-matsumoto-tokyo-express
8•benbreen•23h ago•1 comments

Elevator of the Year Winner Modernization of the Metropolis Trust Building

https://www.starelevator.com/projects/star-elevator-modernization-of-the-metropolis-trust-building
123•palashawas•3d ago•45 comments

Getting Started with AT Protocol

https://bnb.im/posts/atproto-essential-resources/
48•evakhoury•2d ago•15 comments

SubImage (YC W25) Is Hiring a Founding Engineer in SF

https://www.ycombinator.com/companies/subimage/jobs/NCTFgKK-founding-engineer
1•alexchantavy•7h ago

Qwen 3.8 27B available on Cerebras at 1500 tokens/s

https://inference-docs.cerebras.ai/models/overview
667•altertable•1d ago•220 comments

Google AI Mode shows same products 21.6% more expensive than traditional search

https://productrise.app/blog/google-ai-mode-prefers-more-expensive-products
326•DeepLogin•7h ago•62 comments

Hayes AT command set

https://en.wikipedia.org/wiki/Hayes_AT_command_set
13•0xbadcafebee•1h ago•1 comments

Georgi Gerganov on llama.cpp/ggml future after Nvidia acquisition of HuggingFace

https://twitter.com/ggerganov/status/2095897173376618881
37•theanonymousone•1h ago•9 comments

Stop Thinking of LLMs as Next-Token Predictors

https://gmcgoldr.github.io/2026/09/04/llm-next-token-predictors.html
4•garrinm•1h ago•0 comments

Restoring 5 GHz Wi-Fi on an LG C5 by changing its webOS region

https://github.com/hawshemi/lg-c5-webos25-region-change
44•hawshemi•6h ago•57 comments

Corporate America is getting hooked on open-source AI

https://www.nytimes.com/2026/09/04/technology/open-source-ai-anthropic-openai.html
178•aaraujo002•3h ago•159 comments

The largest electric aircraft just flew [video]

https://www.youtube.com/watch?v=nM86DBOqgPM
444•feb•2d ago•330 comments

How Fairphone built the Fairphone Gen 6+

https://arstechnica.com/gadgets/2026/09/nearly-impossible-how-fairphone-built-the-ethical-repaira...
163•CrypticShift•6h ago•137 comments

US Military disables ad trackers on troops' phones

https://www.theguardian.com/us-news/2026/sep/04/military-disables-phone-ad-trackers
133•tencentshill•5h ago•70 comments

A Switch-Level Simulation Model for Integrated Logic Circuits (1981) [pdf]

https://www.cs.cmu.edu/~bryant/pubdir/MIT-LCS-TR-259.pdf
9•gregsadetsky•2d 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/