frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

A 3rd World Embedded Engineer Responds to "RISC-V They Should Have Known Better"

https://rvembedded.com/blog_post/12/
306•Narishma•6h ago•162 comments

Claude: System Prompts

https://platform.claude.com/docs/en/release-notes/system-prompts
486•tosh•10h ago•211 comments

Protobuf has LSP support. You're welcome

https://buf.build/blog/protobuf-lsp
94•theanonymousone•4h ago•60 comments

SIMD in the 90s: Programming Intel's Pentium MMX

https://pikuma.com/blog/programming-intel-pentium-mmx-simd
51•ibobev•3d ago•21 comments

A quick look at zero-knowledge proofs

https://bernsteinbear.com/blog/zkp/
19•evakhoury•2d ago•0 comments

Anthropic's 'Watermark' Text Adulteration in Claude Is a Perversion of Writing

https://daringfireball.net/2026/08/anthropics_watermark_text_adulteration_in_claude_is_a_perversi...
74•ropbear•1h ago•51 comments

Low-Tech Ceramic Water Filter

https://wiki.lowtechlab.org/wiki/Filtre_%C3%A0_eau_c%C3%A9ramique/en
63•Bluestein•5d ago•17 comments

Models Are Getting Dumber on Purpose

https://w4g1.dev/blog/models-are-getting-dumber-on-purpose
218•hruvhwe•4h ago•130 comments

The AI Credit Resale Economy

https://vectoral.com/blog/who-are-the-token-brokers
209•mlenhard•8h ago•80 comments

Stripe Clinches over $7B Deal to Buy AI Firm OpenRouter

https://www.bloomberg.com/news/articles/2026-08-16/stripe-nears-deal-to-buy-ai-firm-openrouter-fo...
110•zacharyozer•2h ago•77 comments

MathCode, Mathematical Coding Agent

https://math-ai-org.github.io/mathcode/
49•homarp•5h ago•13 comments

The Case Against Formal Verification, 50 Years Later

https://ivan-gavran.github.io/0-social-processes-paper
67•ghuntley•2h ago•57 comments

Nvidia dramatically reduces amount of OpenAI infra financing it may guarantee

https://www.reuters.com/business/nvidia-scales-back-250-billion-openai-data-center-guarantee-wsj-...
57•root-parent•2h ago•5 comments

Plastic mechanical computer from 1963: The Digi-Comp 1 [video]

https://www.youtube.com/watch?v=-y8bGBE71yw
43•tobr•1d ago•10 comments

Clamiga: Common Lisp for the Amiga

https://nnamgreb.de/blog/Clamiga+-+Common+Lisp+for+the+Amiga
73•emptybits•3d ago•7 comments

Anton Chekhov played at love most of his life

https://commonreader.wustl.edu/winning-and-losing-at-the-great-game-of-intimacy/
54•lermontov•1d ago•10 comments

Firefox for iOS now has a native adblocker

https://support.mozilla.org/en-US/kb/block-ads-firefox-ios
499•pentagrama•10h ago•207 comments

2,085 Tests, and None of Them Opens the Front Door

https://i.brandanthonymcdonald.com/what-my-tests-do-not-cover
3•aweful•3d ago•2 comments

St Lucie Nuclear Reactor Unit 1 manually shutdown, 3 control rods drop into core

https://www.wptv.com/news/treasure-coast/region-st-lucie-county/saint-lucie-nuclear-power-plant-u...
146•toomuchtodo•8h ago•105 comments

Tell HN: Cloudflare silently injects its analytics when you switch nameservers

224•stagas•5h ago•57 comments

Before Rightmove, there was the Cosmorama

https://www.ianvisits.co.uk/articles/before-rightmove-there-was-the-cosmorama-londons-forgotten-p...
22•brod_ie•5d ago•3 comments

Asus Bike Booster

https://www.asus.com/accessories/bike-booster/asus-oxiis/oxiis-intelligent-bike-booster/
603•wiradikusuma•4d ago•423 comments

A True Telnet BBS on a Casio Calculator

https://ei3lh.eu/2026/08/16/a-true-telnet-bbs-on-a-casio-calculator/
80•austinallegro•11h ago•9 comments

A SAT Attack on Tarski's High School Algebra Problem

https://arxiv.org/abs/2608.08421
80•matt_d•4d ago•32 comments

Tasklet (YC P26) Is Hiring a Head of Design Engineering

https://tasklet.ai/careers/head-of-design-engineering
1•mayop100•9h ago

Chestnut – eGPU dock with open-source firmware

https://hwbusters.com/news/comma-ai-egpu-dock-runs-open-source-firmware-249-bare-799-with-an-rx-9...
128•txrx0000•3d ago•35 comments

Stop Turning every purchase into a tip request

https://www.foxnews.com/opinion/america-needs-stop-turning-every-purchase-uncomfortable-tip-request
32•gist•1h ago•26 comments

Does anyone run Postgres without PgBouncer?

https://brandur.org/fragments/postgres-without-pgbouncer
136•abelanger•4d ago•85 comments

Archie G. Norcross' Maine Forest Fire Maps (1918–22)

https://publicdomainreview.org/collection/maine-forest-fire-maps/
24•samclemens•4d ago•3 comments

NIH is ending a key grant for budding clinical researchers

https://www.science.org/content/article/nih-ending-key-grant-budding-clinical-researchers
127•brandonb•7h ago•65 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/