Tweetovi

Blokirali ste korisnika/cu @me_coot

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

  1. Prikvačeni tweet
    1. ožu 2019.

    My next blog post about equivalence between monoidal and applicative functors: -theory

    Poništi
  2. 25. sij

    [ann] I wrote a zsh completion for cabal command which discovers cabal components and pkg specs.

    Poništi
  3. 10. sij

    Simplicity should be an appreciated value. And we should spend time to simplify our code-bases, ideas, etc. It doesn't necessarily mean it's a simple process, but very rewording. One of the tools discovered by many scientists is to play with ideas.

    Poništi
  4. proslijedio/la je Tweet
    6. sij

    Topos theory is a somewhat scary branch of category theory, as witnessed by Johnstone's 1284-page-but-still-unfinished book. I'm teaching a 10-lecture course on topos theory, mainly to learn the subject. Here are my notes for the first class.

    Poništi
  5. proslijedio/la je Tweet
    31. pro 2019.

    Happy New Year Haskellers!

    Poništi
  6. proslijedio/la je Tweet

    🗓️A calendar is more than just a tool. It’s a record of the moments that make up your life. 🎈Today, we're happy to announce the launch of beta for all paid users. ProtonCalendar keeps your events private and secure. 🥳Learn more here:

    Poništi
  7. 30. pro 2019.
    Poništi
  8. 26. pro 2019.

    I moved from to and I miss the well designed tools. apt*/dpkg lacks the simplicity and clarity of emerge and equery user interface. Organising packages into categories is also really good design choice.

    Poništi
  9. proslijedio/la je Tweet
    22. pro 2019.

    I've completed "Slam Shuffle" - Day 22 - Advent of Code 2019 :D wrote a long-form reflection on using Group Theory and Abstractions as to guide yourself to the answer. It's more about the journey than the implementation :)

    Prikaži ovu nit
    Poništi
  10. 16. pro 2019.
    Poništi
  11. proslijedio/la je Tweet
    16. pro 2019.

    Nearly there now. Final Daedalus integrations and network testing are going as anticipated and our engineers are making good progress. We’re targeting later tonight for the new wallet release. One last push... 🤞

    Poništi
  12. 16. pro 2019.

    I like to write clean code :)

    Poništi
  13. proslijedio/la je Tweet
    13. pro 2019.

    Monadic Party 2020 website is up! CFP and scholarship applications are open :) See you in June

    Poništi
  14. proslijedio/la je Tweet
    7. pro 2019.

    Interested in setting up a Cardano Shelley stakepool? We'll soon start rolling out delegation and rewards on the Incentivized testnet. So it's the perfect time to check out our testnet site, designed to help potential operators get up and running

    Poništi
  15. proslijedio/la je Tweet
    2. pro 2019.
    Poništi
  16. proslijedio/la je Tweet
    3. pro 2019.

    Please always watch out for scams within the Cardano ecosystem, especially with the roll out of the Shelley Incentivized testnet. Anybody claiming to be a stake pool and requesting a transfer of ada is a scam. To delegate your stake, you will never need to send anyone your ada.

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

    You have a pack of 52 playing cards. • Shuffle the cards. • Pick a card at random. • Note what it is. • Return it to the deck. • If you’ve now seen every card, you’re done. • Otherwise, repeat. What is the expected number of cards picked, rounded to the nearest integer?

    Prikaži ovu nit
    Poništi
  18. proslijedio/la je Tweet
    27. stu 2019.

    We wrote a paper about our experiences writing Cardano in Haskell with a formal methods approach. It will be one of the most interesting reads once publicly released

    Poništi
  19. proslijedio/la je Tweet
    17. stu 2019.

    Have you ever gone looking for a Haskell library and not found one that suits your needs? What was it, and how was support for it lacking in the ecosystem?

    Poništi
  20. 10. stu 2019.

    What is Computer Science tool for bibtex entries like:

    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:

    ·