Tweetovi
- Tweetovi, trenutna stranica.
- Tweetovi i odgovori
- Medijski sadržaj
Blokirali ste korisnika/cu @FunctorFact
Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @FunctorFact
-
Prikvačeni tweet
"The essential virtue of category theory is as a discipline for making definitions, the programmer’s main task in life." -- D. E. Rydeheard
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
'Programming languages teach you not to want what they don't provide.' -- Paul Graham
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
'I've decided that the Yoneda lemma is the hardest trivial thing in mathematics.' --
@sigfpe http://blog.sigfpe.com/2006/11/yoneda-lemma.html?m=1 …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
In the category of Abelian groups, direct sum is both a product and a coproduct.
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Functor Fact proslijedio/la je Tweet
Locating performance bottlenecks in large Haskell codebases. ~ Juan Raphael Diaz Simões. https://www.tweag.io/posts/2020-01-30-haskell-profiling.html …
#Haskell#FunctionalProgrammingHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Where the names of the Schönfinkel combinators I, K, S, T, and Z come from https://www.johndcook.com/blog/2014/02/06/schonfinkel-combinators/ …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Category Theory for the Java Programmerhttps://reperiendi.wordpress.com/2007/11/03/category-theory-for-the-java-programmer/ …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
'Sheaf theory is the subject in which you do topology horizontally and algebra vertically.' -- M. Auslander
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Deconstructing functional programming https://www.infoq.com/presentations/functional-pros-cons … Presentation by
@Gilad_BrachaHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
The State Monad: A Tutorial for the Confused? http://brandon.si/code/the-state-monad-a-tutorial-for-the-confused/ …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Currying in calculus, PDEs, programming, and categories https://www.johndcook.com/blog/2018/08/11/currying/ …pic.twitter.com/yG9OPsnykR
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
-
Idris: a general purpose pure functional programming language with dependent types. http://www.idris-lang.org/
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
How category theory is applied https://www.johndcook.com/blog/2019/04/29/how-category-theory-is-applied/ …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
The idea of subobject classifiers is to generalize indicator functions and use this to define something analogous to subsets in categories besides Set.
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Functor Fact proslijedio/la je Tweet
Big congratulations to Emily Riehl of Johns Hopkins.https://hub.jhu.edu/2020/01/16/emily-riehl-mathematics-frontier-award-999-em1-art1-dtd-news/?fbclid=IwAR2-6fzaJMOs_hOsNgCNOnV1yR5P8mrZrsC572V16jIieh4-pu8byEgVpwE …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Aspects of categorical recursion theory https://arxiv.org/abs/2001.05778
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
The programming language name Caml was originally an acronym for 'categorical abstract machine language.'
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Origins of category theory terms http://www.johndcook.com/blog/2014/07/31/category-theory-terms/ …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
re: one-to-one and onto vs injective an surjective It's nice when theorems that rhyme mathematically also rhyme verbally.https://twitter.com/AlgebraFact/status/1217567922429800448 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
"The Yoda embedding, contravariant it is." -- Mike Stay
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.