Tweetovi
- Tweetovi, trenutna stranica.
- Tweetovi i odgovori
- Medijski sadržaj
Blokirali ste korisnika/cu @me_coot
Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @me_coot
-
Prikvačeni tweet
My next blog post about equivalence between monoidal and applicative functors: https://coot.me/posts/monoidal-functors.html …
#haskell#purescript#category-theoryHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
[ann] I wrote a zsh completion for cabal command which discovers cabal components and pkg specs.https://github.com/coot/zsh-cabal
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
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.
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Marcin Szamotulski proslijedio/la je Tweet
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.https://johncarlosbaez.wordpress.com/2020/01/05/topos-theory-part-1/ …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Marcin Szamotulski proslijedio/la je TweetHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
Marcin Szamotulski 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 #ProtonCalendar beta for all paid users. ProtonCalendar keeps your events private and secure.
Learn more here: https://protonmail.com/blog/protoncalendar-beta-announcement/ …https://twitter.com/ProtonCalendar/status/1211652145990246404 …
0:19Hvala. 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
-
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
Marcin Szamotulski proslijedio/la je Tweet
I've completed "Slam Shuffle" - Day 22 - Advent of Code 2019 :D
#AdventOfCode wrote a long-form reflection on using Group Theory and#Haskell Abstractions as to guide yourself to the answer. It's more about the journey than the implementation :)https://github.com/mstksg/advent-of-code-2019/blob/master/reflections.md#day-22 …Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
One of my favourite Firefox extensions:https://addons.mozilla.org/firefox/addon/multi-account-containers/?utm_source=mac-addon …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Marcin Szamotulski proslijedio/la je Tweet
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...
#CardanoCommunityHvala. 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
-
Marcin Szamotulski proslijedio/la je Tweet
Monadic Party 2020 website is up! https://monadic.party CFP and scholarship applications are open :) See you in June
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Marcin Szamotulski proslijedio/la je Tweet
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 https://buff.ly/33tVa2U pic.twitter.com/I5N9UsMG0G
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Marcin Szamotulski proslijedio/la je TweetHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
Marcin Szamotulski proslijedio/la je Tweet
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.
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Marcin Szamotulski proslijedio/la je Tweet
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 nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Marcin Szamotulski proslijedio/la je Tweet
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 releasedpic.twitter.com/hzdyikZVBz
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Marcin Szamotulski proslijedio/la je Tweet
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?
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
What is Computer Science tool for bibtex entries like: https://mathscinet.ams.org/mathscinet-mref
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.
