2011 Archives

Browse by date
October 2011 (2)
July 2011 (1)
June 2011 (2)
May 2011 (3)
March 2011 (1)
January 2011 (2)

Browse by entry
2011/10 - $abc$ triples
2011/10 - bug stories
2011/07 - Почивка
2011/06 - Division by zero (Ted Chiang)
2011/06 - Coq nonsense
2011/05 - GET /bog HTTP/1.1" 404 281 "
2011/05 - Devolution
2011/05 - proving _anything_ in the Coq proof assistant (in addition to code execution). ``coqchk'' passes too
2011/03 - nuclear plants reach software quality levels
2011/01 - Вероятности
2011/01 - За много години!
/\