asta

@astahfrom

What might have been is an abstraction. PhD student formalising logic in Isabelle. she/her.

DTU
Vrijeme pridruživanja: ožujak 2010.
113 fotografija ili videozapisa Fotografije i videozapisi

Tweetovi

Blokirali ste korisnika/cu @astahfrom

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

  1. Prikvačeni tweet
    25. sij

    If we're mutuals and you want to chat, you're welcome to slide into my DMs anytime. Struggling, want to vent, share something, ask me a question, whatever. Please feel free! I can't promise I won't be asleep but I will get back to you.

    2 korisnika označavaju da im se sviđa
    Poništi
  2. prije 1 sat

    Dress very femme and feel like you can't pull it off or dress less femme and feel like you're not putting in enough effort.

    Selfie.
    1 reply 1 korisnik označava da mu se sviđa
    Poništi
  3. proslijedio/la je Tweet
    prije 22 sata

    You’re coming from a place of immense privilege when you say things like “bernie or bust.” There are children in cages at the border. Pete Buttigieg, in collaboration with Amazon, has vowed to get those cages equipped with Alexa as soon as he gets into office

    47 replies 1.546 proslijeđenih tweetova 15.268 korisnika označava da im se sviđa
    Poništi
  4. 5. velj

    heavyrock

    this amazon review of a tungsten cube is killing me
    1 korisnik označava da mu se sviđa
    Poništi
  5. proslijedio/la je Tweet
    4. velj

    this amazon review of a tungsten cube is killing me

    65 replies 2.484 proslijeđena tweeta 6.087 korisnika označava da im se sviđa
    Poništi
  6. proslijedio/la je Tweet
    5. velj

    Agda: `Goal: false ≡ true` Me: Oh no.... Agda: `Context: x : false ≡ true` Me: Phew!

    8 proslijeđenih tweetova 55 korisnika označava da im se sviđa
    Poništi
  7. proslijedio/la je Tweet
    5. velj

    perfect confluence on facebook

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

    HOW IS TIME

    1 proslijeđeni tweet 28 korisnika označava da im se sviđa
    Poništi
  9. 4. velj

    (Looking high-key queer hasn't caused me any issues either, but I typically present pretty casually. Jeans.)

    1 korisnik označava da mu se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  10. 4. velj

    From the perspective of not at all hoping to pass, looking low-key queer around here is kinda easy. Some people look at me funny, or at least look twice, but most people seem to be more chill around me. I get a lot of smiles.

    2 korisnika označavaju da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  11. proslijedio/la je Tweet
    3. velj

    ELIZA could do the same, or better, in a tiny fraction of the cost. Over 50 years ago! Yet an example of how is being oversold. is not the solution to all your problems! Proper engineering is: thinks first about requirements and design options!

    Wow: Google's "Meena" chatbot was trained on a full TPUv3 pod (2048 TPU cores) for **30 full days** - That's more than $1,400,000 of compute time to train this chatbot model. (! 100+ petaflops of sustained compute !)
    13 replies 154 proslijeđena tweeta 438 korisnika označava da im se sviđa
    Poništi
  12. proslijedio/la je Tweet
    4. velj

    I like The Witcher. I do not like The Witcher. I do not understand The Witcher. Never has a show of such indeterminate quality weighed so heavy on my feelings. It is the Marquis de Sade doing a Kermit voice, and neither you nor the Marquis know if that's just how he talks or not.

    14 replies 18 proslijeđenih tweetova 144 korisnika označavaju da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  13. 4. velj

    This looks like a poll to me online but not in the iOS app. Software...

    Do you envision words when you hear them? See their spelling. Perhaps names in particular. Do you have an easier time if you know whether you're talking to "Judy" or "Judi"?
    Poništi
  14. 4. velj

    Do you envision words when you hear them? See their spelling. Perhaps names in particular. Do you have an easier time if you know whether you're talking to "Judy" or "Judi"?

    Poništi
  15. 4. velj

    Holden: "You're going to negotiate with a girl"
    Holden: "who thinks she's a space station?"
    1 reply
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  16. 4. velj

    the explnse

    1 reply
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  17. 4. velj

    Still from The Expanse. Miller getting up: "I'm gonna take my pet nuke for a walk."
    1 reply
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  18. 4. velj

    Sometimes you see people going

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

    Bless the student who corrected another one on my name. And the one who just went "that's almost like my name!" after hearing mine.

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

    I wonder how often I'm actually read as trans (reverse-passing privilege??). Guy today asked me whether my manicure was inspired by a musician or magician or something.

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

    1 reply 15 proslijeđenih tweetova 23 korisnika označavaju da im se sviđa
    Poništi

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

    ·