SearcheeBot

Telegram-каналлар оламидаги сизнинг йўлбошчингиз.

Telegram Analytics

TGStat хизмати янгиликларидан бохабар бўлиш учун обуна бўл!

TGAlertsBot

Каналингиз репостлари ва эсловлари ҳақида хабар беради.

TGStat Bot

Telegram'дан чиқмай туриб каналлар статистикасини олиш

Statistika Saralanganlar

PONV Daily

Kanal geosi va tili: ko‘rsatilmagan, ko‘rsatilmagan

Toifa: ko‘rsatilmagan

Best crap from the dumpster

Связанные каналы | Похожие каналы

Kanal geosi va tili

ko‘rsatilmagan, ko‘rsatilmagan

Toifa

ko‘rsatilmagan

Statistika

Postlar filtri

O‘chirilganlarni yashirish

Repostlarni yashirish

PONV Daily

27 May 2019, 08:34

https://kubuszok.com/2019/io-monad-which-why-and-how/

IO monad: which, why and how

In many discussions about FP - especially about purely functional programming - there are talks about IO monad, IO type and so on. Its users’ argument on how it is better than your standard imperative approach, how it helps reason, encapsulate side-effects and design more elegant programs. On the ot...

135 0 0

PONV Daily

26 May 2019, 13:23

звук к презентации Олега https://twitter.com/ScalalazPodcast/status/1132380949407309824

Scalalaz Podcast

📰 Breaking news !!! обнаружена аудио запись доклада @Odomontois https://t.co/XOD05mgkKk 📰 https://t.co/BYOf5NBZIx

156 0 0

PONV Daily

26 May 2019, 13:20

Oleg ℕizhnik {t ∈ O[ff]} dan repost

https://slides.com/olegnizhnik/arrsymonf

A presentation created with Slides.

181 0 0

PONV Daily

26 May 2019, 12:54

Oleg ℕizhnik {t ∈ O[ff]} dan repost

тока другими словами

152 0 0

PONV Daily

26 May 2019, 12:54

Oleg ℕizhnik {t ∈ O[ff]} dan repost

с объектами - типами

147 0 0

PONV Daily

26 May 2019, 12:54

Oleg ℕizhnik {t ∈ O[ff]} dan repost

моноидальная категория

147 0 0

PONV Daily

26 May 2019, 12:54

Oleg ℕizhnik {t ∈ O[ff]} dan repost

И garrows

148 0 0

PONV Daily

26 May 2019, 12:54

Oleg ℕizhnik {t ∈ O[ff]} dan repost

MoL-2015-28.text.pdf

- From Moon+ Reader Pro v5.0.1

150 0 0

PONV Daily

26 May 2019, 12:54

Oleg ℕizhnik {t ∈ O[ff]} dan repost

Если в хардкорную часть, то это

150 0 0

PONV Daily

26 May 2019, 12:54

Oleg ℕizhnik {t ∈ O[ff]} dan repost

haskell.org/arrows

150 0 0

PONV Daily

26 May 2019, 12:54

Aλeksei Tereχin dan repost

Какие надо читать папиры?

152 0 0

PONV Daily

26 May 2019, 12:54

Aλeksei Tereχin dan repost

Я хочу контрибьютить в волгу

156 0 0

PONV Daily

26 May 2019, 12:54

#arrows #volga #future

Монады не нужны. Функции не функции.

https://github.com/Odomontois/volga

Odomontois/volga

Contribute to Odomontois/volga development by creating an account on GitHub.

156 0 0

PONV Daily

25 May 2019, 22:15

Anton Trunov dan repost

не знаю
кстати, ребята завели форум https://forum.kocherga.club

Центр рациональности

174 0 0

PONV Daily

25 May 2019, 22:13

Anton Trunov dan repost

я, кстати, еще в марте завел русскоязычный раздел на офиц. коковском форуме — https://coq.discourse.group/c/coq-in-russian

Latest [ru] Coq на русском topics - Coq

Добро пожаловать на подфорум “Coq на русском языке”!

177 0 0

PONV Daily

25 May 2019, 21:27

Alex Gryzlov dan repost

https://github.com/jozefg/blott
http://www.jonmsterling.com/pdfs/modal-mltt.pdf

jozefg/blott

An experimental type checker for a modal dependent type theory. - jozefg/blott

177 0 0

PONV Daily

25 May 2019, 20:08

https://github.com/princeton-vl/CoqGym

princeton-vl/CoqGym

A Learning Environment for Theorem Proving with the Coq proof assistant - princeton-vl/CoqGym

181 0 0

PONV Daily

22 May 2019, 17:27

http://math.andrej.com/2019/05/08/a-course-on-homotopy-type-theory/

317 0 0

PONV Daily

22 May 2019, 09:43

Sergey Kucherenko dan repost

заботой https://kubuszok.com/compiled/kinds-of-types-in-scala/

Kinds of types in Scala

Personally just a

367 0 0

PONV Daily

18 May 2019, 17:37

λoλcat dan repost

https://twitter.com/flaviowbrasil/status/1129409746685972480?s=19

Flavio W. Brasil

Implementing concurrency primitives on top of STM is recipe for bad performance and retry storms. John is a great dev but this is BS https://t.co/bZyNyJpun9

442 0 0

20 ta oxirgi post ko‘rsatilgan.

220

obunachilar

Kanal statistikasi