Tweetovi
- Tweetovi, trenutna stranica.
- Tweetovi i odgovori
- Medijski sadržaj
Blokirali ste korisnika/cu @p_morphism
Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @p_morphism
-
классические "Алгебраические системы" Мальцева - замечтаться можно
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
"Над книгою надо мечтать". Ю. М. Лотман теперь я понял, как надо ботать универсальную алгебру
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
"Со мной бы такого не было", - меланхолично вздохнули Agda и Idris.https://twitter.com/EgorBo/status/1213821580364652544 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Rogozin Danya proslijedio/la je Tweet
GSoC 2019: Проверка графов на двудольность и трансформеры монадhttps://habr.com/ru/company/hsespb/blog/486130/ …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Rogozin Danya proslijedio/la je Tweet
Обожаю заставлять молодёжь работать вместо себя. Вот, привлёк
@int_index к чтению лекций в своём курсе по компилятору GHC: https://compsciclub.ru/courses/Introduction-to-GHC/2020-spring/classes/ …. Приглашаю всех любителей языков программирования и компиляторов 4–5 и 11–12 апреля! Вход свободный. Видео будет, но оффлайн веселее!Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Rogozin Danya proslijedio/la je Tweet
Hello all! Welcome to Coq's official Twitter! We will share exciting news and events related to Coq; see https://github.com/coq/coq for the proper channels for bug reports or technical discussion. This account is community-managed by
@ejgallego,@falsenov, and@Zimm_i48. Have fun!Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Rogozin Danya proslijedio/la je Tweet
Agda is a dependently typed programming language and theorem prover. Learn more about it together with
@p_morphism:https://serokell.io/blog/agda-in-nutshell …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Rogozin Danya proslijedio/la je Tweet
We have started an interview series featuring companies that use Haskell in their everyday life. Read our first interview with
@AsheshAmbasta, the co-founder & CTO of CentralApp:https://serokell.io/blog/haskell-in-production-centralapp?utm_source=twitter&utm_medium=social&utm_campaign=hipc …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
Rogozin Danya proslijedio/la je Tweet
The guide is in progress, but you can get early access. Show you're interested in it - and I'll notify you when its first version is published. https://leanpub.com/slideswithlatex/ …
#slideswithlatexPrikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Rogozin Danya proslijedio/la je Tweet
In the second part of his modal logic series,
@p_morphism shows how modal logic is connected with topology, foundations of mathematics, and computer science: https://serokell.io/blog/rapid-introduction-to-modal-logic-2?utm_source=twitter&utm_medium=social&utm_campaign=ml2 …pic.twitter.com/tqdDLhzK0x
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Rogozin Danya proslijedio/la je Tweet
So what exactly is functional programming? In our latest blog post, we give a brief introduction and look at some of the most popular FP languages:https://serokell.io/blog/introduction-to-functional-programming …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Rogozin Danya proslijedio/la je Tweet
“I chose functional programming and the most “functional” of all the languages – Haskell. It seriously changed my life.” Rinat Styrungis on physics, teaching and Haskell:https://serokell.io/blog/physics-history-haskell-interview?utm_source=twitter&utm_medium=social&utm_campaign=rinat_interview_post …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Концерты Моррисси и Blur - лучшие новогодние концерты, да.
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Только что узнал, и я очень разочарованhttps://www.bbc.com/russian/features-43442807 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Rogozin Danya proslijedio/la je Tweet
It’s more or less the end of 2019, and we have compiled some Haskell highlights from the past year: releases, books, talks, and blog posts. Check out our list and see if we haven’t missed anything important. ;)https://serokell.io/blog/haskell-highlights-2019?utm_source=twitter&utm_medium=social&utm_campaign=haskell_highlights_initial_post …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Rogozin Danya proslijedio/la je Tweet
Do you believe in breakthroughs? Please share mine and
@AlzResearchUK’s message of hope this Christmas time.#SantaForgotpic.twitter.com/52QFmtunv0Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
А 27 на матфаке Вышки расскажу вводную лекцию про канонические расширения дистрибутивных решеток с модальными операторами (это означает, что мне надо наконец понять, что это за canonical extensions такие)
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
Čini se da učitavanje traje već neko vrijeme.
Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.