kristl8r

@kristl8r

bookmarks as retweets for to read later - now that we have bicycles for the mind where will we point them?

Iceland
Vrijeme pridruživanja: prosinac 2019.

Tweetovi

Blokirali ste korisnika/cu @kristl8r

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

  1. prije 20 sati

    — "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…"

    Poništi
  2. proslijedio/la je Tweet
    3. velj

    used dhall to throw together a simple personal dashboard for me to monitor all my projects :) inspired by a tweet by

    Prikaži ovu nit
    Poništi
  3. prije 23 sata
    Poništi
  4. 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.

    Prikaži ovu nit
    Poništi
  5. proslijedio/la je Tweet
    1. velj

    I must highlight this great post about covariance and contravariance, and not just for . 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,etc

    Poništi
  6. proslijedio/la je Tweet
    2. velj

    fromNat :: (forall n. SNat n -> r) -> Nat -> r

    Poništi
  7. proslijedio/la je Tweet
    2. velj
    Odgovor korisnicima i sljedećem broju korisnika:

    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:

    Poništi
  8. proslijedio/la je Tweet
    31. sij

    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)

    Poništi
  9. proslijedio/la je Tweet
    1. velj

    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.

    Poništi
  10. proslijedio/la je Tweet
    31. sij
    Odgovor korisniku/ci

    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!

    Poništi
  11. proslijedio/la je Tweet
    31. sij

    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!

    Prikaži ovu nit
    Poništi
  12. proslijedio/la je Tweet
    31. sij

    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.

    Poništi
  13. proslijedio/la je Tweet
    31. sij

    In case you don’t know Olga Alexandrovna Ladyzhenskaya (1922-2004) (or even if you do know) take a look at this extraordinary biography 👉🏼 ../5

    Prikaži ovu nit
    Poništi
  14. proslijedio/la je Tweet
    31. sij

    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 nit
    Poništi
  15. proslijedio/la je Tweet
    31. sij

    "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"

    Poništi
  16. proslijedio/la je Tweet
    31. sij

    New from the MIT category seminar: David Jaz Myers, a general definition of open dynamical system.

    Poništi
  17. proslijedio/la je Tweet
    29. sij

    Imperative programming is about *doing*. Functional programming is about *being*. Pattern matching is about *seeing*.

    Prikaži ovu nit
    Poništi
  18. proslijedio/la je Tweet
    29. sij

    Haskell lecture 1/11 - what is FP, and where did it come from?

    Poništi
  19. proslijedio/la je Tweet
    31. sij

    Brendan talking about lax monoidal and applicative functors, profunctors, presheaves, and the Yoneda lemma.

    Poništi
  20. proslijedio/la je Tweet
    31. sij

    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:

    Prikaži ovu nit
    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:

    ·