Tweetovi

Blokirali ste korisnika/cu @mietek

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

  1. Prikvačeni tweet
    14. ruj 2019.

    Agda the Hen (Hönan Agda): my design for the Agda logo competition.

    Prikaži ovu nit
    Poništi
  2. proslijedio/la je Tweet
    prije 5 sati

    Normalisation, how to do it fast for the untyped lambda-calculus by means of evaluation, and why we care (together with some of the required type theory/PLT background): first of a series, hopefully. Feel free to yell at me in replies about mistakes etc!

    Prikaži ovu nit
    Poništi
  3. proslijedio/la je Tweet

    Why everyone should be guaranteed a basic income:

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

    A common misconception. You need to chant "Yoneda" 3 times in your bathroom mirror at midnight, and you'll be embedded fully and faithfully into your category of presheaves.

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

    Danish fishermen Brexit humor: Fisherman 1: I caught a UK shrimp today. Fisherman 2: How do you know it’s from the UK? Fisherman 1: When I emptied the net it rose up and said “I’m a lobster.”

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

    Hey and , we just made Big Ben bong for you😉. Sound on.

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

    99 smartphones are transported in a handcart to generate virtual traffic jam in Google Maps. Through this activity, it is possible to turn a green street red which has an impact in the physical world by navigating cars on another route!

    Prikaži ovu nit
    Poništi
  8. proslijedio/la je Tweet
    2. velj

    Performance artist generates virtual traffic jams in Google Maps by pulling a wagon full of smartphones

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

    Completeness theorems for first-order logic analysed in constructive type theory. ~ Yannick Forster, Dominik Kirst, Dominik Wehr.

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

    Do you have an older Macintosh running 10.8 Mountain Lion, 10.9 Mavericks, 10.10 Yosemite, or 10.11 El Capitan? Could I talk you into running Teensyduino 1.50 and let me which of those old systems do or don't work? Here's the download:

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

    Pacman and the Moon Credit: ESO, Eric Lagadec

    Poništi
  12. 1. velj

    Looking forward to the next 700 Mediocre blog posts on Explainable Machine Learning (XML), Understandable Machine Learning (UML), Highly Transparent Machine Learning (HTML), and Very Reliable Machine Learning (VRML).

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

    It would be cool if mathematicians decided it's more important for maths to be solid rather than original; if combing through the archives and properly proving theorems became fashionable.

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

    "So I have decided to stop attempting to generate new mathematics, and concentrate instead on carefully checking “known” mathematics on a computer."

    Poništi
  15. 1. velj

    “Riddled with obvious contradictions” applies to more than one aspect of UK policy.

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

    Graded monads and parameterised monads both generalise monads to indexed forms, but with different kinds of indexing. , Phil Wadler, and I show that they can both be subsumed by a particular class of lax functors (with a little extra structure)

    Prikaži ovu nit
    Poništi
  17. proslijedio/la je Tweet
    1. velj
    Odgovor korisniku/ci

    "The government took away my family's monopoly" is not the searing indictment of communism you think it is

    Poništi
  18. 1. velj

    git commit --amen

    Poništi
  19. proslijedio/la je Tweet
    Poništi
  20. proslijedio/la je Tweet
    30. sij

    When you book flights to a JavaScript conference

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

    A message to Europe, this morning on the White Cliffs of Dover. Sound on.

    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:

    ·