HN Explorer

tbt

↗ HN profile [ 105 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Introduction to radix (best cognate-tree grower, pre-α, dormant) (tsvibt.blogspot.com)
    2 points 1
  2. Forum Poweruser Forum (tsvibt.blogspot.com)
    1 points 0
  3. The Bughouse Effect (lesswrong.com)
    1 points 0
  4. Show HN: Theoriz3r, minimal proof of concept exploratory theorem prover (github.com)

    theoriz3r is a wrapper for Z3 in python. The idea is to use Z3's model checking to do "exploratory theorem proving": an interaction style where the computer curates a giant list of automatically generated questions by…

    3 points 0
  5. Show HN: Multi-Dimensional Spreadsheets in Vim (github.com)
    2 points 1