Solving the Dog-Bunny Puzzle with Program Verification Technology

Lobsters·16 points·jkoppel·about 4 years ago·pathsensitive.com

As a high schooler in the 70’s, my father enjoyed playing the Star Trek game written for the Sigma 7 mainframe. You play as the Enterprise ...

Read the full article at pathsensitive.com →

#solving #puzzle #dog #technology #program #verification #bunny #dog bunny

Related stories

Show HN: Canary (YC) – Independent verification for AI coderuncanary.ai
Hacker News · 7 points · 6 days ago
Show HN: All/Some – A free logic puzzle game about set relationshipsallsome.app
Hacker News · 1 points · 4 days ago
Show HN: 12 Puzzle – a sliding puzzle on the hyperbolic planemametter.itch.io
Hacker News · 1 points · 5 days ago
Solving a corn puzzle with CP-SATthill.me
Hacker News · 30 points · 3 days ago
Discord age verification rolls out today with changes spurred by user backlasharstechnica.com
Ars Technica · 0 points · 7 days ago
Android Developer Verification vs. Play Console Verification: Sept 30 Deadlinesubmitsafe.app
Hacker News · 1 points · 7 days ago

Related topics

puzzle25 turned27 formalmethods18 verification24 code368 basic20 hardening4 brain37 twitter8