Recreation of the 1956 IPL-I version of the Logic Theorist theorem prover (github.com) | HN Screenshots

YHacker Newsscreenshots

Screenshot of github.com: Recreation of the 1956 IPL-I version of the Logic Theorist theorem prover

First screen, captured 5 months ago.

Looks similar

Screenshot of github.com: Reverse Engineering the Duco Connectivity Board

Reverse Engineering the Duco Connectivity Board (github.com)

25 points by kokx 1 year ago | 2 comments

Screenshot of github.com: JesseSort: A novel sorting algorithm that is faster than Python's default sort.

JesseSort: A novel sorting algorithm that is faster than Python's default sort.(github.com)

70 points by amichail 1 year ago | 41 comments

Screenshot of github.com: A web-based RDP client built with Go WebAssembly and grdp

A web-based RDP client built with Go WebAssembly and grdp (github.com)

117 points by mariuz 6 months ago | 45 comments

Screenshot of github.com: Sutton and Barto book implementation

Sutton and Barto book implementation (github.com)

71 points by ivanbelenky 1 year ago | 9 comments

Screenshot of github.com: Jeeves. Reasoning improves Jev-like decision models

Jeeves. Reasoning improves Jev-like decision models (github.com)

232 points by nicowaltz 27 days ago | 89 comments

GitHub repository from PostHog for Jeeves, a project showing that reasoning improves Jev-like decision models.

posthog reasoning-models decision-models machine-learning

Screenshot of github.com: Same model, same Q4_K_M label: 5.02, 5.07 and 5.27 bits per weight

Same model, same Q4_K_M label: 5.02, 5.07 and 5.27 bits per weight (github.com)

9 points by logickkk1 3 months ago | 2 comments