from Hacker News

keenerd

joined 3/2/09, 12:06 PM has 1972 karma

• Solving Battleships with SAT

  by keenerd on 2/24/18, 4:31 AM, with 0 comments

• The HP-35 Design: A Case Study in Innovation (2011) [pdf]

  by keenerd on 11/26/17, 4:25 PM, with 15 comments