typer uma

@typer_uma

🌈 🏴‍☠️ working on: verifying with Agda type systems for the pi calculus for personal shit:

Glasgow
umazalakain.info
Vrijeme pridruživanja: srpanj 2019.
24 fotografije ili videozapisa Fotografije i videozapisi

Tweetovi

Blokirali ste korisnika/cu @typer_uma

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

  1. proslijedio/la je Tweet
    prije 5 sati

    New report from : people seeking help for addiction, disability, and poverty on council websites are profiled by private companies in the UK.

    7 replies 127 proslijeđenih tweetova 120 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  2. proslijedio/la je Tweet
    prije 7 sati

    A quarter of Brits are the most tedious kind of xenophobe.

    A quarter of Brits (26%) - and 41% Leave voters - say they're bothered when they hear those from a non-English speaking country talking to each other in their own language whilst in the UK
    522 proslijeđena tweeta 2.533 korisnika označavaju da im se sviđa
    Poništi
  3. proslijedio/la je Tweet
    prije 4 sata

    my main browser profile has JS disabled, and while I knew of the hack of using an invisible checkbox and a css :checked selector, I couldn't believe that $newspage would resort to such a hack for the 0.1% weirdos like me turns out there's <details/>

    1 reply 5 proslijeđenih tweetova 11 korisnika označava da im se sviđa
    Poništi
  4. prije 4 sata

    literally hacking through your problems

    1 reply 1 proslijeđeni tweet 2 korisnika označavaju da im se sviđa
    Poništi
  5. proslijedio/la je Tweet
    8. sij

    I'm organising the Agda Implementors' Meeting XXXI in Edinburgh, 1-7 April 2020! These meetings are for ANYONE interested in Agda to join, regardless of your proficiency! We'll be there to help get you started contributing!

    14 proslijeđenih tweetova 25 korisnika označava da im se sviđa
    Poništi
  6. 3. velj

    Shortage of doctors, shortage of psychiatrists (necessary for gatekeeping), shortage of counsellors, shortage of medicines, GPs and surgeons that refuse care. The joys.

    4 korisnika označavaju da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  7. 3. velj

    Trans healthcare in the UK, where shortages are the only things that are not in shortage

    1 reply 7 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  8. proslijedio/la je Tweet
    3. velj

    from giving a great talk on adding cycles to linear logic. We're now all working together on their logical characterisation and behavioural theory with . In the picture, Ornela recaps some of the history of the area.

    1 reply 4 proslijeđena tweeta 9 korisnika označava da im se sviđa
    Poništi
  9. proslijedio/la je Tweet
    2. velj

    Nix tip: Working with spotty internet connection? Pass the "--fallback" flag to nix-build, nix-env, nix-shell, etc. to have nix build from source when downloading fails. Working on the plane with no internet? Use: --option substituters "" to disable cache downloading altogether

    9 proslijeđenih tweetova 34 korisnika označavaju da im se sviđa
    Poništi
  10. proslijedio/la je Tweet
    2. velj

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

    355 replies 12.397 proslijeđenih tweetova 37.809 korisnika označava da im se sviđa
    Poništi
  11. proslijedio/la je Tweet
    1. velj
    Odgovor korisniku/ci

    Them: why aren’t you married? Me: I’m overqualified

    29 replies 391 proslijeđeni tweet 4.575 korisnika označava da im se sviđa
    Poništi
  12. proslijedio/la je Tweet
    30. sij

    Yesterday we came together for the set up at The Briggait. ‘Perceptions.’ will be on from today 15:00 to 21:00 until Sunday. We hope you will like the story ! @ The Briggait

    1 proslijeđeni tweet
    Poništi
  13. proslijedio/la je Tweet
    31. sij

    Trans people have a suicide culture. A bad one. This is a thread about transgender suicide culture and how we talk about those of us who choose to die. As with "trauma culture" in Holocaust studies, suicide culture means a culture infested with suicidality, not endorsing it.

    13 replies 416 proslijeđenih tweetova 1.713 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  14. proslijedio/la je Tweet
    31. sij

    Never forget that the UK is leaving the worlds biggest trading bloc and peace project because Bob and Sue don’t like hearing foreign accents in their local Waitrose.

    1.075 replies 14.073 proslijeđena tweeta 68.468 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  15. proslijedio/la je Tweet
    1. velj

    I really cannot express fully how much pure math is not a science. I literally know nothing about science at all tbh.

    30 replies 35 proslijeđenih tweetova 283 korisnika označavaju da im se sviđa
    Poništi
  16. 1. velj

    Being misgendered by drunk people makes me question whether everyone else is gendering me correctly just to appease me in a patronising way

    1 reply 4 korisnika označavaju da im se sviđa
    Poništi
  17. proslijedio/la je Tweet
    30. sij
    Odgovor korisniku/ci

    I'd much rather show them this tbh

    Prikaži ovu nit
    1 proslijeđeni tweet 5 korisnika označava da im se sviđa
    Poništi
  18. proslijedio/la je Tweet
    29. sij

    "A Type and Scope Safe Universe of Syntaxes with Binding: Their Semantics and Proofs" has been accepted for publication at JFP!

    13 proslijeđenih tweetova 73 korisnika označavaju da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  19. proslijedio/la je Tweet
    29. sij

    One of the reasons I really hate the discourse around grade inflation, is I read work from my students and sometimes just amazed at the work and thought they put into what is only one assessment on one module in their degrees.

    5 replies 6 proslijeđenih tweetova 61 korisnik označava da mu se sviđa
    Poništi
  20. proslijedio/la je Tweet
    29. sij

    MP who voted against same-sex marriage elected to be parliament’s new LGBT and equalities chief Welcome to Boris Johnson’s “golden age”

    230 replies 2.090 proslijeđenih tweetova 2.813 korisnika označava da im se sviđa
    Poništi

@typer_uma 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:

    ·