Manuel Eberl

@pruvisto

CS PhD student @ TU München, swinging a sledgehammer in the proof mines. Feminist. Esperantist. Mediocre accordion player. Worst Marth in South Germany.

Munich, Bavaria / Esperantujo
Vrijeme pridruživanja: prosinac 2012.

Tweetovi

Blokirali ste korisnika/cu @pruvisto

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

  1. Prikvačeni tweet
    23. sij 2018.

    Okay, fine, I'll also try out this Curious Cat thing. Mostly because /I'm/ curious what (if anything) I get asked:

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

    You call yourself a "gamer?" Then, tell me, which elements of a structure do you main in Ehrenfeucht-Fraïsse?

    Poništi
  3. proslijedio/la je Tweet
    1. velj
    Poništi
  4. proslijedio/la je Tweet
    31. sij

    *whispers* nothing good can come from any politics built on English, British *or* European identity or citizenship. We live in a time of murderous, raced borders and death-worlds. Nothing but the dismantling of these violent nationalisms will suffice.

    Poništi
  5. 1. velj
    Poništi
  6. 31. sij

    I'm currently at Peter Koepke's retirement colloquium in Bonn. Being surrounded by so many ‘proper’ mathematicians always makes me, with all of my proof assistant stuff, feel like a mere child doodling with crayons.

    Poništi
  7. proslijedio/la je Tweet
    30. sij

    "The automobile has dissolved the living tissue of the city. Its appetite for space is absolutely insatiable; moving & parked, it devours urban land, leaving buildings as mere islands of habitable space in a sea of dangerous & ugly traffic." —James Marston Fitch, NY Times, 1960.

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

    Look at this amazing amount of Schmäh.

    Poništi
  9. 30. sij

    Fired up my video editor. Here's an improved and extended version of that video. Now with more soft mews!

    Prikaži ovu nit
    Poništi
  10. 30. sij

    😺✏ — Uuh, if you say so. I'll take it as a compliment, he's pretty good-looking. I don't think I'd ever heard of him before.

    Poništi
  11. 30. sij

    😺✏ — Tobias Nipkow. His ‘Concrete Semantics’ lecture introduced me to interactive theorem proving back in 2011, and I was so fascinated by it that that's what I've been doing ever since. Before that, I had pl…

    Poništi
  12. 30. sij

    😺✏ — Hmm, I don't quite remember. I've had so many different playthroughs, especially of ME2. I definitely remember romancing Liara in ME1, Kelly Chambers (to the extent possible) and Garrus in ME2…

    Poništi
  13. 30. sij
    Prikaži ovu nit
    Poništi
  14. 30. sij

    It looks like I'm slowly turning into ...

    Prikaži ovu nit
    Poništi
  15. proslijedio/la je Tweet
    27. sij

    this might be my favorite error message ever the SHADE

    Prikaži ovu nit
    Poništi
  16. proslijedio/la je Tweet
    24. sij

    Me, and intellectual: Field. Sheaf, stalk, germ

    Prikaži ovu nit
    Poništi
  17. proslijedio/la je Tweet
    23. sij

    /via Science Diagrams That Look Like Shitposts

    Poništi
  18. proslijedio/la je Tweet
    24. sij
    Odgovor korisniku/ci

    gonna use the chance to thank myself for being the best melee player in germany

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

    dk rap to relax/study to

    Prikaži ovu nit
    Poništi
  20. proslijedio/la je Tweet
    22. sij

    Eine erste Reflexion zur heutigen Versammlung zu und an der Uni München Es sind trotz aller Hürden, wie abgesperrten Türen und blockierten Notausgängen 100 Leute in die Versammlung gekommen 1/x

    Prikaži ovu nit
    Poništi
  21. proslijedio/la je Tweet
    22. sij

    Me: I'm sure this lemma holds! Isabelle:

    Still from Mindhunter. Tench to Holden: "But it's not about what we believe, it's about what we can prove."
    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:

    ·