Македонска GNU/Linux планета

22 февруари 2018

Сподели знаење

Rust meetup. № 1 на програмски четвртоци (22.02 во 19ч.)

Вечер во 19:00 во Кика. Не знам што ќе збориме, немам ни време за пост.



Би сакале да направиме неколку настани поврзани со Rust во хаклаб. Овој прв настан би бил да видиме кој сѐ ќе биде заинтересиран и да направиме некој груб план што би се правело.

Следните четвртоци ќе продолжиме со нешто поконкретно.

од wHOevERest (noreply@blogger.com) на 22 февруари 2018, 12:46

17 февруари 2018

Сподели знаење

Where Typesystems End, Proofs Begin // недела 18-ти фев.

Во недела, од 18:00 во (новиот) хаклаб ќе зборуваме за type системи, рецимо Haskell, Typescript, Rust... PHP :D... ќе видиме кои се лимитите на најригорозните системи на типови и која е сигурноста што ја нудат јазици како Idris или полуавтоматски докажувачи на докази како Coq.

Повелете во Хаклаб. Донесете пиво и монади.


од wHOevERest (noreply@blogger.com) на 17 февруари 2018, 14:41