James Wood

@laMudri

PhD student in Strathclyde's MSP group. Mostly paranoid void retweets, though. Banner from .

UTC+0
personal.cis.strath.ac.uk/james.wood.100/
Vrijeme pridruživanja: siječanj 2011.
104 fotografije ili videozapisa Fotografije i videozapisi

Tweetovi

Blokirali ste korisnika/cu @laMudri

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

  1. Prikvačeni tweet
    30. lip 2018.

    Linear lambda memes for context constrained teens

    12 korisnika označava da im se sviđa
    Poništi
  2. proslijedio/la je Tweet
    prije 22 sata

    tricot's New Album "Makkuro" release tour "Massiro" live tickets are available for International Customers !! Please check the ticket site.And, Buy Now!!! [PIA（Tickets for International Customers）]

    1 reply 10 proslijeđenih tweetova 149 korisnika označava da im se sviđa
    Poništi
  3. proslijedio/la je Tweet
    1. velj

    Here's an erroneous opinion: that mathematicians should spend time formalising undergraduate math. That's like telling computer scientists to improve Excel spreadsheets. Instead, we should make it easy to formalise math, so that undergraduates can formalise undergraduate math.

    7 replies 7 proslijeđenih tweetova 75 korisnika označava da im se sviđa
    Poništi
  4. 1. velj

    I insist on the acronym “TwL” because I like the way it kerns.

    Poništi
  5. 30. sij

    A pedestrian bridge into the bowels of the Scottish motorway system

    1 reply 5 korisnika označava da im se sviđa
    Poništi
  6. proslijedio/la je Tweet
    30. sij

    We are building a Haskell team at in London. I am especially interested in exploring probabilistic programming. DM me if you are interested.

    9 proslijeđenih tweetova 25 korisnika označava da im se sviđa
    Poništi
  7. 28. sij

    Stalling in my correspondence games while Josekipedia is down

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

    Slides for “Resource Constrained Programming with Full Dependent Types” a talk I gave yesterday at IRIF on polytime programming in dependent type theory.

    2 proslijeđena tweeta 15 korisnika označava da im se sviđa
    Poništi
  9. proslijedio/la je Tweet
    26. sij

    Consensus has as much application in science as anywhere else. Science is a social activity. No discoveries have had any effect except in social and political contexts. Galileo, Mendel, Darwin, Einstein all sought to establish a new consensus.

    Consensus is a word with no application in science. It is a social/political word. Nearly all discoveries are made by individuals. Galileo, Mendel, Darwin, Einstein all fought against a false consensus, sometimes until their death. “Climate Crisis” is a fake consensus.
    14 replies 42 proslijeđena tweeta 229 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  10. proslijedio/la je Tweet
    26. sij

    Train tracks on a train on train tracks.

    1 reply 1 proslijeđeni tweet 7 korisnika označava da im se sviđa
    Poništi
  11. proslijedio/la je Tweet
    24. sij

    羊文学、2月リリースの新機軸のEP『ざわめき』から「人間だった」を先行デジタル配信&MVを公開！ さらに完売した01/31 リキッドルームでのツアーファイナルをLINE LIVE＆らYouTube liveで生配信が決定！ チケットを買い逃した方もぜひお見逃しなく！ 羊文学”人間だった“

    1 reply 259 proslijeđenih tweetova 1.069 korisnika označava da im se sviđa
    Poništi
  12. proslijedio/la je Tweet
    23. sij

    MELT-BANANA is touring in USA from May 30th to June 12th! For more information -> Check out!! 🤘🏻🚀

    14 replies 22 proslijeđena tweeta 97 korisnika označava da im se sviđa
    Poništi
  13. proslijedio/la je Tweet
    22. sij

    This is joyous. It's but an anecdote for what happens when mathematics is disaligned from privilege. But it's joyous.

    1 reply 1 proslijeđeni tweet 11 korisnika označava da im se sviđa
    Poništi
  14. proslijedio/la je Tweet
    22. sij

    Which is larger: the linguistic distance between English and Chinese, or Python and Agda?

    1 proslijeđeni tweet
    Poništi
  15. 22. sij

    I drew a diagram.

    1 reply 11 korisnika označava da im se sviđa
    Poništi
  16. proslijedio/la je Tweet
    22. sij

    Personal announcement I've been offered & accepted a permanent position - as a lecturer in the Computer and Information Sciences department of the University of Strathclyde, Glasgow (ie. the same department as a bunch of cool people like etc etc)

    51 reply 11 proslijeđenih tweetova 499 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  17. 21. sij

    When you go bidirectional, there's no going back.

    4 korisnika označavaju da im se sviđa
    Poništi
  18. 21. sij

    trending just in time for the first CS410 lecture

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

    Still one of my favorite sub-heads.

    80 replies 1.155 proslijeđenih tweetova 7.458 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  20. 20. sij

    With Fred out of the office, where do I ask quick questions about HoTT Book topics? The IRC channel is empty, HoTT-amateurs seems pretty dead, and the main HoTT list is mostly announcements and metatheory.

    1 reply 7 korisnika označava da im se sviđa
    Poništi
  21. proslijedio/la je Tweet
    20. sij

    Thank you for cover story, Nice interview! Thank you for talking about our tour:)

    3 proslijeđena tweeta 26 korisnika označava da im se sviđa
    Poništi

@laMudri još nije objavio nijedan Tweet.

Č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:

    ·