Hacker GitHub

← All repos

jeffshrager/IPL-V

View on GitHub ↗ ★ 13 TeX archived

4 mentions on Hacker News by 2 people: 1 story, 3 comments · first 2025-04-28 · latest 2026-03-09

Mentions per year 4 mentions · busiest year 2026 (3)
20082026
AllStoriesComments NewestTopOldest
  1. The header URL got trashed use: https://github.com/jeffshrager/IPL-V/
    comment by abrax3141 · 2026-03-09 · in Logic Theorist Reanimated in IPL-V
  2. BTW, squashed the bug, and now it's producing complete and correct results! https://github.com/jeffshrager/IPL-V/blob/master/major_resul... (Well, there's a minor printout issue, but the proofs are working correctly!)
    comment by abrax3141 · 2026-03-09 · in Logic Theorist Reanimated in IPL-V
  3. The linked github repo for an easier-to-skim start https://github.com/jeffshrager/IPL-V
    comment by pvg · 2025-04-28 · in Reanimation of the original Logic Theorist, the first AI, in IPL-V [video]