Historic algorithms help unlock shortest-path problem breakthrough (cacm.acm.org) | HN Screenshots

YHacker Newsscreenshots

Screenshot of cacm.acm.org: Historic algorithms help unlock shortest-path problem breakthrough

First screen, captured 3 years ago.

Looks similar

Screenshot of cacm.acm.org: Faster Integer Programming

Faster Integer Programming (cacm.acm.org)

146 points by pseudolus 2 years ago | 39 comments

Screenshot of cacm.acm.org: Do All Problems Have Technical Fixes?

Do All Problems Have Technical Fixes?(cacm.acm.org)

69 points by zdw 2 years ago | 70 comments

Screenshot of vals.ai: A Faster Shortest Path Algorithm

A Faster Shortest Path Algorithm (vals.ai)

29 points by leumon 1 month ago | 6 comments

Vals AI blog post describing how ten Claude Opus 5.5 agents found and formally verified in Lean a faster shortest-path algorithm called C-HD.

claude ai-agents shortest-path lean

Screenshot of dl.acm.org: Programming Techniques: Regular expression search algorithm (1968)

Programming Techniques: Regular expression search algorithm (1968)(dl.acm.org)

21 points by userbinator 3 years ago | 1 comments

Screenshot of cacm.acm.org: Low-Code Programming Models

Low-Code Programming Models (cacm.acm.org)

113 points by mitchbob 3 years ago | 67 comments

Screenshot of cacm.acm.org: A Brief History of Blockchain Interoperability

A Brief History of Blockchain Interoperability (cacm.acm.org)

34 points by pseudolus 2 years ago | 13 comments