#formal-specification on Hacker News

2 stories tagged formal-specification, newest first.

Screenshot of dank.systems: Why I'm still bearish on LLMs after Navier-Stokes

Why I'm still bearish on LLMs after Navier-Stokes (dank.systems)

426 points by jaykru 1 month ago | 552 comments

Personal blog essay by Jay Kruer arguing LLMs remain overhyped despite headline results like Navier-Stokes, citing poor generalization, reward hacking, and specification costs.

llms ai-skepticism reward-hacking formal-specification

Screenshot of juxt.pro: We found an undocumented bug in the Apollo 11 guidance computer code

We found an undocumented bug in the Apollo 11 guidance computer code (juxt.pro)

394 points by henrygarner 6 months ago | 187 comments

JUXT blog post by CTO Henry Garner describing how writing a specification uncovered an undocumented bug in the Apollo 11 guidance computer code.

apollo-guidance-computer apollo-11 formal-specification software-bugs

#formal-specification on Hacker News

Why I'm still bearish on LLMs after Navier-Stokes(dank.systems)

We found an undocumented bug in the Apollo 11 guidance computer code(juxt.pro)

Why I'm still bearish on LLMs after Navier-Stokes (dank.systems)

We found an undocumented bug in the Apollo 11 guidance computer code (juxt.pro)