Jun. 20th, 2017

* * *

Jun. 20th, 2017 09:23 am
bamalip: (Default)
Во что может превратиться ваша квартира без отдельного помещения для майнинга:

* * *

Jun. 20th, 2017 07:57 pm
bamalip: (Default)
david-christiansen дает советы для команды lean по поводу введения макросов:
https://github.com/leanprover/lean/issues/1674

Profile

bamalip: (Default)
шерстяной ленин

July 2017

S M T W T F S
       1
2 3 4 56 7 8
9 1011 12 13 14 15
161718 19 2021 22
23242526272829
3031     

Most Popular Tags

Page Summary

Style Credit

Expand Cut Tags

No cut tags
Page generated Jul. 23rd, 2017 04:34 am
Powered by Dreamwidth Studios