Douglas Lenat's Automated Mathematician Source Code (github.com) | HN Screenshots

YHacker Newsscreenshots

Screenshot of github.com: Douglas Lenat's Automated Mathematician Source Code

First screen, captured 7 months ago.

Looks similar

Screenshot of github.com: Show HN: Deff – Side-by-side Git diff review in your terminal

Show HN: Deff – Side-by-side Git diff review in your terminal (github.com)

106 points by flamestro 8 months ago | 59 comments

Screenshot of github.com: Flameshow: A terminal flamegraph viewer

Flameshow: A terminal flamegraph viewer (github.com)

68 points by todsacerdoti 3 years ago | 14 comments

Screenshot of github.com: A C library offering generic, contiguous dynamic arrays with O(1) amortized push

A C library offering generic, contiguous dynamic arrays with O(1) amortized push (github.com)

16 points by Lucas_Marchetti 1 year ago | 0 comments

Screenshot of github.com: Whitesmiths C compiler: One of the earliest commercial C compilers available

Whitesmiths C compiler: One of the earliest commercial C compilers available (github.com)

110 points by todsacerdoti 1 year ago | 32 comments

Screenshot of github.com: Hermann Grassmann and the nature of abstractions

Hermann Grassmann and the nature of abstractions (github.com)

84 points by eigenvalue 2 years ago | 32 comments

Screenshot of github.com: Verifiable science on modified PCR machine

Verifiable science on modified PCR machine (github.com)

45 points by kotaKat 1 year ago | 15 comments