- 1st
- 03:21 pm
lucky accidents
- 1 comment
- 5th
- 12:26 pm
Fredkin speaking at CMU
06:42 pmargumentative structures project
- 6th
- 09:41 pm
SigBovik
- 7th
- 03:29 pm
Y Combinator
- 3 comments
05:51 pmLeitgeb
- 1 comment
Tags:
- 8th
- 01:17 am
Statistical Debugging paper
11:48 pmI am no longer a dogmatic formalization-ist
- 3 comments
Tags:
- 11th
- 04:58 am
is extroversion a signal of satisfaction in life?
- 4 comments
- 13th
- 08:37 pm
Nina Paley and VHMENT
- 3 comments
10:01 pmlogic for answering combinatorics questions / double-counting proofs
- 11 comments
- 15th
- 09:08 pm
logic things in my wiki
11:34 pmmy mind is not absent: it's busy!
- 11 comments
- 16th
- 01:23 am
discovering the human body
- 1 comment
- 17th
- 06:09 pm
idea: finding experts locally
- 3 comments
Tags:
08:12 pmepistemic logic meets cogsci
- 23rd
- 01:21 am
intellectual stimulation
- 25th
- 01:35 pm
the Up series
- 1 comment
- 28th
- 09:46 pm
event calculus; tense and aspect
- 31st
- 01:08 am
Ken Forbus on virtual worlds
09:15 pmdigitizing a cassette tape