Archive
Sequences
About
Search
Log In
Questions
Events
Shortform
Alignment Forum
AF Comments
Home
Featured
All
Tags
Recent
Comments
RSS
jamesf
Karma:
350
All
Posts
Comments
New
Top
Old
Introducing Familiar, a quantified reasoning assistant (feedback sought!)
jamesf
24 Jul 2013 2:36 UTC
24
points
40
comments
2
min read
LW
link
Back to top