Tweetovi
- Tweetovi, trenutna stranica.
- Tweetovi i odgovori
- Medijski sadržaj
Blokirali ste korisnika/cu @sjoerd_visscher
Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @sjoerd_visscher
-
Prikvačeni tweet
Every once in a while I revisit
@tatsuyahagino's thesis "A Categorical Programming Language". I'm pretty happy with the translation to#haskell this time: https://gist.github.com/sjoerdvisscher/3101791 …pic.twitter.com/fAKm2SuJxC
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Sjoerd 슕 Visscher proslijedio/la je Tweet
I'd like to make the ACT community aware of this paper: "Scientific modelling with coalgebra-algebra homomorphisms" by Baltasar Trancón y Widemann and Michael Hauhs https://arxiv.org/abs/1506.07290 I read this in 2015, should read it again. Unfortunately Baltasar quit academia soon afterpic.twitter.com/8w07WQtGEP
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Oh, it’s just a bug, now it does show the note as written in black…
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
I made a note with pen on my iPad in dark mode, now I can’t read it in light mode, since it was drawn in white…
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Sjoerd 슕 Visscher proslijedio/la je Tweet
Do you need to be a mathematician to learn
#categorytheory? No. But signing up to http://training.statebox.org does help speed up the process.#fp#softwarepic.twitter.com/SOwNfgy66i
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Has anyone ever tried to use https://en.wikipedia.org/wiki/Logarithmic_differentiation … in an implementation of automatic differentiation?
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Sjoerd 슕 Visscher proslijedio/la je Tweet
Abstraction is the new gold! A short introduction to why category theory might be relevant to you. https://buff.ly/38fVANd pic.twitter.com/St5T7gWnt0
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Sjoerd 슕 Visscher proslijedio/la je Tweet
In an effort to spread categorical thinking, Statebox is organising a
#categorytheory course in March in#Berlin. Interested? Sign up here
https://training.statebox.org/ Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Weird. There are a thousand accounts on this list and he has 16 of these?pic.twitter.com/7Ny6W7exwG
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Sjoerd 슕 Visscher proslijedio/la je Tweet
Math is amazing, there’s no side effects or build tools
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Sjoerd 슕 Visscher proslijedio/la je Tweet
this is the most fun thing i have seen on the web in a while remember when the web seemed like it was full of fun things like this? and maybe it still is but we've just been too inundated by all the more hellish aspects to enjoy it sigh anyway...https://neal.fun/deep-sea/
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Sjoerd 슕 Visscher proslijedio/la je Tweet
I don't think "fancy Haskell" is what makes it hard for beginners to get up to speed, but rather a lack of focus on good domain modeling and design. Teaching advanced features is possible and good, but all the fancy types in the world won't save you from bad planning/design.
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Sjoerd 슕 Visscher proslijedio/la je TweetHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
So it’s not terribly exciting in this setting. Maybe more so in a depentently typed setting?
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Since all adjunction in Hask are isomorphic to the ((,) a) |- ((->) a) one, the extra flexibilty you get compared to Mu and Nu from recursion-schemes is an extra parameter for each constructor resp. deconstructor which you have access to in the fold resp unfold.
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
It's my
#Twitterversary! I have been on Twitter for 13 years, since 8 Dec 2006 (via@twi_age).Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Sjoerd 슕 Visscher proslijedio/la je Tweet
Development update: The
@statebox string diagrams editor now supports magical rainbow unicornspic.twitter.com/YkNnysVd4R
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Born in:
Live in:
First country I travelled to:
Last country I travelled to:
Country I miss the most:
Next country I will travel to:
T.b.d.https://twitter.com/andre_videla/status/1201478255372623873 …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Sjoerd 슕 Visscher proslijedio/la je Tweet
Het normaliseren van extreem rechts begint bij het geven aan zuurstof aan steeds dezelfde complotdenkers, schedelmeters of abjecte racisten onder het mom van kritische journalistiek. Het probleem is dat men er vanuit gaan dat deze mensen handelen vanuit ethische betrokkenheid.
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Sjoerd 슕 Visscher proslijedio/la je Tweet
Does someone know if pre-bicategories are a thing? (bicategories without identities)?
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.

First country I travelled to:
Last country I travelled to:
Next country I will travel to: