Tweetovi

Blokirali ste korisnika/cu @p_morphism

Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @p_morphism

  1. prije 3 sata

    классические "Алгебраические системы" Мальцева - замечтаться можно

    Prikaži ovu nit
    Poništi
  2. prije 3 sata

    "Над книгою надо мечтать". Ю. М. Лотман теперь я понял, как надо ботать универсальную алгебру

    Prikaži ovu nit
    Poništi
  3. prije 4 sata

    Очень любопытно via

    Prikaži ovu nit
    Poništi
  4. prije 13 sati

    "Со мной бы такого не было", - меланхолично вздохнули Agda и Idris.

    Poništi
  5. proslijedio/la je Tweet
    1. velj

    GSoC 2019: Проверка графов на двудольность и трансформеры монад

    Poništi
  6. proslijedio/la je Tweet

    Обожаю заставлять молодёжь работать вместо себя. Вот, привлёк к чтению лекций в своём курсе по компилятору GHC: . Приглашаю всех любителей языков программирования и компиляторов 4–5 и 11–12 апреля! Вход свободный. Видео будет, но оффлайн веселее!

    Poništi
  7. proslijedio/la je Tweet
    27. sij

    Hello all! Welcome to Coq's official Twitter! We will share exciting news and events related to Coq; see for the proper channels for bug reports or technical discussion. This account is community-managed by , , and . Have fun!

    Poništi
  8. proslijedio/la je Tweet
    27. sij

    Agda is a dependently typed programming language and theorem prover. Learn more about it together with :

    Poništi
  9. proslijedio/la je Tweet
    24. sij

    We have started an interview series featuring companies that use Haskell in their everyday life. Read our first interview with , the co-founder & CTO of CentralApp:

    Poništi
  10. 23. sij

    Когда ищешь лекции по выводу типов

    Poništi
  11. 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.

    Prikaži ovu nit
    Poništi
  12. proslijedio/la je Tweet
    16. sij

    In the second part of his modal logic series, shows how modal logic is connected with topology, foundations of mathematics, and computer science:

    Poništi
  13. proslijedio/la je Tweet
    8. sij

    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:

    Poništi
  14. proslijedio/la je Tweet
    2. sij

    “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:

    Poništi
  15. 31. pro 2019.

    Концерты Моррисси и Blur - лучшие новогодние концерты, да.

    Poništi
  16. 28. pro 2019.

    Только что узнал, и я очень разочарован

    Poništi
  17. proslijedio/la je Tweet
    27. pro 2019.

    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. ;)

    Poništi
  18. proslijedio/la je Tweet

    Do you believe in breakthroughs? Please share mine and ’s message of hope this Christmas time.

    Poništi
  19. 23. pro 2019.

    А 27 на матфаке Вышки расскажу вводную лекцию про канонические расширения дистрибутивных решеток с модальными операторами (это означает, что мне надо наконец понять, что это за canonical extensions такие)

    Prikaži ovu nit
    Poništi
  20. 23. pro 2019.

    Под конец года еще выступлю

    Prikaži ovu nit
    Poniš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.

    Možda bi vam se svidjelo i ovo:

    ·