frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

VoidZero Is Joining Cloudflare

https://blog.cloudflare.com/voidzero-joins-cloudflare/
266•coloneltcb•2h ago•146 comments

Ian's Secure Shoelace Knot

https://www.fieggen.com/shoelace/secureknot.htm
193•mooreds•4h ago•61 comments

They’re made out of weights

https://maxleiter.com/blog/weights
1083•MaxLeiter•16h ago•453 comments

KVarN: Native vLLM KV-cache quantization back end by Huawei

https://github.com/huawei-csl/KVarN
9•theanonymousone•36m ago•0 comments

In a first, wind and solar generated more power than gas globally in April 2026

https://electrek.co/2026/05/20/in-a-first-wind-solar-generated-more-power-than-gas-globally-april...
116•speckx•1h ago•98 comments

Gaussian Point Splatting

https://momentsingraphics.de/Siggraph2026.html
117•ibobev•5h ago•40 comments

U.S. Army Corps of Engineers Bay Model

https://en.wikipedia.org/wiki/U.S._Army_Corps_of_Engineers_Bay_Model
110•tosh•1d ago•28 comments

French-Iranian author Marjane Satrapi, author of 'Persepolis', dies at 56

https://www.france24.com/en/culture/20260604-french-iranian-author-marjane-satrapi-author-of-pers...
240•fidotron•4h ago•65 comments

Elixir v1.20: Now a gradually typed language

https://elixir-lang.org/blog/2026/06/03/elixir-v1-20-0-released/
891•cloud8421•20h ago•352 comments

Gemma 4 12B: A unified, encoder-free multimodal model

https://blog.google/innovation-and-ai/technology/developers-tools/introducing-gemma-4-12b/
951•rvz•23h ago•357 comments

3D-printed book turns its own G-code into raised lettering

https://www.designboom.com/design/3d-printed-book-manual-darius-ou-benson-chong/
11•surprisetalk•2d ago•6 comments

Show HN: Prela – Purely Algebraic Relation Combinators

https://github.com/remysucre/prela
20•remywang•3d ago•1 comments

Several Injured in Boeing 787 Nose-Gear Collapse in Frankfurt

https://www.reuters.com/business/aerospace-defense/lufthansa-787-jet-suffers-front-wheel-collapse...
17•karakoram•16m ago•1 comments

AccessOwl (YC S22) is hiring an AI TypeScript Engineer to connect 300 SaaS tools

https://www.ycombinator.com/companies/accessowl/jobs/hfWAhVp-ai-enabled-senior-software-engineer-...
1•mathiasn•3h ago

I built a vulnerable app and spent $1,500 seeing if LLMs could hack it

https://kasra.blog/blog/i-spent-1500-seeing-if-llms-could-hack-my-app/
319•jc4p•14h ago•166 comments

Artificial intelligence is not conscious

https://www.theatlantic.com/philosophy/2026/06/no-artificial-intelligence-is-not-conscious/687378/
602•lordleft•22h ago•987 comments

Under Notre Dame, a 'dig of the century' unearths 1,700 years of history

https://apnews.com/article/notre-dame-dig-treasures-paris-archaeology-roman-dae41f792c1402faf32a8...
117•cobbzilla•2d ago•30 comments

UK media fails to disclose defence sector links in nearly 60% of cases

https://aoav.org.uk/2026/military-experts-or-arms-industry-insiders-uk-media-fails-to-disclose-de...
324•XzetaU8•7h ago•189 comments

I was recently diagnosed with anti-NMDA receptor encephalitis

https://burntsushi.net/encephalitis/
690•Tomte•1d ago•214 comments

The ways we contain Claude across products

https://www.anthropic.com/engineering/how-we-contain-claude
182•jbredeche•15h ago•80 comments

Uber's $1,500/month AI limit is a useful signal for AI tool pricing

https://simonwillison.net/2026/Jun/3/uber-caps-usage/
558•pdyc•1d ago•683 comments

thunderbolt-ibverbs: We have InfiniBand at home

https://blog.hellas.ai/blog/thunderbolt-ibverbs/
88•zdw•2d ago•5 comments

Failing grades soar with AI usage, dwindling math skills in Berkeley CS classes

https://www.dailycal.org/news/campus/academics/failing-grades-soar-as-professors-see-greater-ai-u...
552•littlexsparkee•15h ago•509 comments

Learn SQL Once, Use It for 30 Years

https://fagnerbrack.com/learn-sql-once-use-it-for-30-years-9aceb0bdee03
190•karakoram•3d ago•139 comments

Kiki – a tiny homepage construction kit with a small footprint

https://tomotama.com/kiki
78•tobr•3d ago•48 comments

DaVinci Resolve 21

https://www.blackmagicdesign.com/products/davinciresolve/whatsnew
507•pentagrama•1d ago•228 comments

Claude Code and Codex Can Have Real-Time Conversation via Git

https://medium.com/@Koukyosyumei/claude-code-and-codex-can-have-real-time-conversation-via-git-f9...
84•syumei•4d ago•65 comments

ESP32-S31

https://www.espressif.com/en/products/socs/esp32-s31
339•volemo•23h ago•181 comments

A Post-Quantum Future for Let's Encrypt

https://letsencrypt.org/2026/06/03/pq-certs
297•SGran•1d ago•153 comments

When su replaced login for becoming another Unix login

https://utcc.utoronto.ca/~cks/space/blog/unix/SuAsLoginReplacement
48•ankitg12•4h ago•11 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/