https://news.ycombinator.com/item?id=25123138
TLA⁺ (вернее, TLAPS) и Lean, кажется, опасносте.
УНЯНЯ. У нас есть немножечко инфы
об этом пользователе. Мы знаем, что он понаписал,
порекомендовал и даже и то и другое сразу.
А ещё у нас есть RSS.
Цоперайт © 2010-2016 @stiletto.