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

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

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


ват д'хак?

Хаклабот КИКА е место за споделување и стекнување знаење, место каде се собираат луѓе заинтересирани за технологија, слободен софтвер и слободна култура. Секој може да изработува најразлични проекти сам, или заедно со некој од присутните. Хаклаби има секаде во светот КИКА е еден од нив. Продолжи со читање...

Приклучи се!

Хаклабот е јавен и отворен простор и е добредојден секој кој сака да се приклучи во тековните активности или да предложи нови. Едноставно дојди во некој од редовните термини.

На интернет може да се приклучиш на IRC каналот #lugola, на поштенската листа или на wiki-то за слободен софтвер.

Каде?