YHacker Newsscreenshots

galois.com on Hacker News

5 stories on the front page, newest first. Scroll down to watch the site change over time.

Screenshot pending…

Specifications Don't Exist (2025)(galois.com)

51 points by surprisetalk 2 months ago | 10 comments

Screenshot of galois.com: Automated Lean Proofs for Every Type

Automated Lean Proofs for Every Type (galois.com)

28 points by surprisetalk 1 year ago | 1 comments

Screenshot of galois.com: Claude can sometimes prove it

Claude can sometimes prove it (galois.com)

198 points by lairv 1 year ago | 60 comments

Screenshot of galois.com: What works (and doesn't) selling formal methods

What works (and doesn't) selling formal methods (galois.com)

110 points by azhenley 1 year ago | 53 comments

Screenshot of galois.com: Grease: An Open-Source Tool for Uncovering Hidden Vulnerabilities in Binary Code

Grease: An Open-Source Tool for Uncovering Hidden Vulnerabilities in Binary Code (galois.com)

100 points by thinkmoore 1 year ago | 10 comments