Tweetovi
- Tweetovi, trenutna stranica.
- Tweetovi i odgovori
- Medijski sadržaj
Blokirali ste korisnika/cu @kristl8r
Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @kristl8r
-
https://statebox.org/news/2019/efgrant/ … — "Announcement We are delighted to announce that our project has been selected as a Grantee for Wave 6 of the Ethereum Foundation Grants Program!

Zero-knowledge Proofs and Category Theory
Over the next six months Statebox will be investigatin…"Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
kristl8r proslijedio/la je Tweet
used dhall to throw together a simple personal dashboard for me to monitor all my
#Haskell#OSS projects :) https://github.com/mstksg/dashboard … inspired by a tweet by@taylorfausakPrikaži ovu nitHvala. 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
-
kristl8r proslijedio/la je Tweet
He was in fact the first African American to earn a PhD in *any* subject from an American university, one of the first ten people of any race to earn a PhD in physics from an American university, and one of the first Americans to earn a PhD in any subject in the US.https://twitter.com/nsbpinc/status/1223652412877082624 …
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
kristl8r proslijedio/la je Tweet
I must highlight this great post about covariance and contravariance, and not just for
#haskell. The fact that co/contravariance have an even/odd parity structure (where odd*odd = even, etc) is key to many confusions Ive had in the past in math/physics,etchttps://www.fpcomplete.com/blog/2016/11/covariance-contravariance …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
kristl8r proslijedio/la je Tweet
fromNat :: (forall n. SNat n -> r) -> Nat -> rhttps://gist.github.com/monadplus/5671d468dc9421aabd7c89c625a64702 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
kristl8r proslijedio/la je Tweet
The challenge is to define which results are _interesting_ to humans. A computer could potentially generate a deluge of extremely boring results. Stanislaw Lem wrote an amusing story about that:https://dallingtonsmithdita14.wordpress.com/2014/10/26/a-demon-of-the-second-kind-stanislaw-lems-take-on-information-theory/ …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
kristl8r proslijedio/la je Tweet
The superior man, while his parents are alive, reverently nourishes them; when they are dead, he reverently sacrifices to them; his chief thought is how to the end of life not to disgrace them. (BR XXI 1.5)
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
kristl8r proslijedio/la je Tweet
If you were inside an orbiting space station that rotated to keep one face towards the body it orbited, some free falling objects would execute elliptical motion around the centre of the station. https://www.gregegan.net/INCANDESCENCE/Orbits/Orbits.html …pic.twitter.com/rjPYErFBfe
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
kristl8r proslijedio/la je Tweet
We have some fun Haskell positions at Klarna, if you are willing to relocate. Sweden can't be that colder than Alaska :) Get in touch if you'd like more info!
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
kristl8r proslijedio/la je Tweet
My student Denis wrote a formal semantics for the French tax code, complete with Coq proof of soundness and SMT queries to uncover unfair tax hikes. PL for fiscal justice! https://blog.merigoux.ovh/en/2019/12/20/taxes-formal-proofs.html …
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
kristl8r proslijedio/la je Tweet
We have reached the terminal object in the category of lectures in the series "Programming with Categories." Here, I'm talking about my favorite topic--profunctors, ends, and coends.https://www.youtube.com/watch?v=UpLKmy5j6-U …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
kristl8r proslijedio/la je Tweet
In case you don’t know Olga Alexandrovna Ladyzhenskaya (1922-2004) (or even if you do know) take a look at this extraordinary biography
http://mathshistory.st-andrews.ac.uk/Biographies/Ladyzhenskaya.html … ../5Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
kristl8r proslijedio/la je Tweet
A new prize, the Ladyzhenskaya medal in mathematical physics, has been announced by the National Committee of Mathematicians of Russia, St Petersburg State University, and, for the inaugural prize, the Organizing Committee of the ICM. /1
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
kristl8r proslijedio/la je Tweet
"does anyone have a mirror for SPJ's intro to lenses? I remember watching it some time ago and it was one of the clearest intros I've seen"https://www.reddit.com/r/haskell/comments/ei5kek/monthly_hask_anything_january_2020/ffu4qcp/ …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
kristl8r proslijedio/la je Tweet
New from the MIT category seminar: David Jaz Myers, a general definition of open dynamical system.https://youtu.be/8T-Km3taNko
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
kristl8r proslijedio/la je Tweet
Imperative programming is about *doing*. Functional programming is about *being*. Pattern matching is about *seeing*.
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
kristl8r proslijedio/la je Tweet
Haskell lecture 1/11 - what is FP, and where did it come from? http://www.cs.nott.ac.uk/~pszgmh/ch1.pdf
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
kristl8r proslijedio/la je Tweet
Brendan talking about lax monoidal and applicative functors, profunctors, presheaves, and the Yoneda lemma.https://www.youtube.com/watch?v=P2uxVQSHIjQ …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
kristl8r proslijedio/la je Tweet
It's taken a while, as he decided to make it compatible with 64-bit systems before releasing it, but, as I hinted at Code Mesh, David Turner has now released the Miranda programming language under a BSD licence: http://miranda.org.uk/
Prikaži ovu nitHvala. 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.
