среда, 21 октября 2020 г.
λ-Files: Writer comonad in Coq
λ-Files: Writer comonad in Coq: In the last post , we reviewed Writer comonad in Haskell. In this post we will implement it in Coq. Since monads are not the part of standa...
среда, 10 июня 2020 г.
Блог Артема Агеева: Docker, Radarr и Jackett, или качаем торренты прав...
Блог Артема Агеева: Docker, Radarr и Jackett, или качаем торренты прав...: В итоге, конечно, стримминг таки добьёт торренты. И если в доХДшном мире это, по сути, уже свершилось, то HD/4k/8k контент пока ещё держится...
суббота, 28 марта 2020 г.
troy's unix space: Intro SmartOS Setup pt 1
troy's unix space: Intro SmartOS Setup pt 1: For a while now, I've wanted to check out Joyent's SmartOS but until recently, simply didn't have the time. This series of p...
вторник, 10 марта 2020 г.
Advanced REST client application: Join Advanced REST client beta program
Advanced REST client application: Join Advanced REST client beta program: Hi developers, In the coming weeks I’m planning to release a new version of the app. I would appreciate your input on the changes I’ve ma...
понедельник, 9 марта 2020 г.
Бумага стерпитъ: Plan 9 (Inferno) на Ubuntu 11.10
Бумага стерпитъ: Plan 9 (Inferno) на Ubuntu 11.10: Linux amiga 3.0.0-17-generic-pae i686 Единственное Ubuntu-зависимое место - подготовка среды.
Подписаться на:
Сообщения (Atom)