Sebastian Ullrich

@derKha

interactive theorem proving ∩ program verification ∩ cat gifs. Doing a CS PhD at KIT so that I get paid for contributing to the Lean theorem prover [he/him]

Vrijeme pridruživanja: srpanj 2009.

Tweetovi

Blokirali ste korisnika/cu @derKha

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

  1. Prikvačeni tweet
    13. lip 2018.

    The compiler warnings about me have been greatly exaggerated

    Poništi
  2. 2. velj

    Also, very satisfying date to give a talk

    Prikaži ovu nit
    Poništi
  3. 2. velj
    Prikaži ovu nit
    Poništi
  4. 2. velj

    My crazy, half-finished attempt to embed a Controlled Natural Language into Lean 4 I demoed today

    Prikaži ovu nit
    Poništi
  5. 31. sij

    Bonn. Can't read that name without thinking back to my childhood when it used to be the seat of government and the first word spoken in basically every newscast.

    Poništi
  6. 30. sij

    That level of bullet list nesting is automatically ironic, right?

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

    Trying to pin down what makes Lean Lean... more or less objectively

    Prikaži ovu nit
    Poništi
  8. 28. sij

    About the reverse direction:

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

    Ronald Lampitt (thanks to )

    Prikaži ovu nit
    Poništi
  11. 21. sij

    My roommate just pointed out to me that the Wizard cards actually cover more than 360°, which explains why the lady in #2 is in such a hurry

    Prikaži ovu nit
    Poništi
  12. 21. sij

    blessed/cursed/blursed

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

    almost as good, if not better

    Prikaži ovu nit
    Poništi
  15. 16. sij

    Still have no idea how nested quasiquotations should behave

    Poništi
  16. proslijedio/la je Tweet
    14. sij
    Poništi
  17. 5. sij

    Btw, that's 30s out of a total layover of 1:50h in Newark. Still better than last time where the gate had been long closed!

    Prikaži ovu nit
    Poništi
  18. 5. sij

    On the other hand, there's nothing quite like seeing a sign "Moon 1/2 mile" to know you'll arrive in Pittsburgh soon. And that airport!

    Prikaži ovu nit
    Poništi
  19. 5. sij

    Gotta love taking a connecting flight inside the US. "We know you love the security check, so let's do it twice in the same journey!"

    Prikaži ovu nit
    Poništi
  20. 5. sij

    taking the "returning ESTA" queue at immigration: -5min Secondary Immigration Screening for no reason: +15min +feeling like a criminal bag check at security for no reason: +10min running through the entire terminal to the very last gate: -5min time left for boarding: 30s

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

    Enough people asked about Coq vs Lean and setoids vs quotients that I tried to summarize what I know:

    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:

    ·