Bob Atkey

@bentnib

fixme : (A → A) → A

Edinburgh, UK
bentnib.org
Vrijeme pridruživanja: listopad 2010.

Medijski sadržaj

  1. 11. stu 2019.

    If either everyone drinks or someone doesn't, then there is a person such that, if they drink, then everyone drinks.

    5 replies 4 proslijeđena tweeta 43 korisnika označavaju da im se sviđa
  2. 8. stu 2019.

    But they're waving so invitingly!

    1 reply 6 korisnika označava da im se sviđa
  3. 8. stu 2019.

    Got the moon on my side

    1 reply 1 proslijeđeni tweet 5 korisnika označava da im se sviđa
  4. 7. stu 2019.

    Proof editor now shows you the proof tree you're building as you type proof commands

    5 replies 63 proslijeđena tweeta 208 korisnika označava da im se sviđa
  5. 26. ruj 2019.

    I complained, and now I've got this massive hall to sing the praises of Haskell in.

    7 replies 2 proslijeđena tweeta 31 korisnik označava da mu se sviđa
  6. 16. ruj 2019.

    Some way to an interactive proof editor for focused natural deduction.

    8 replies 44 proslijeđena tweeta 221 korisnik označava da mu se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
  7. 6. ruj 2019.

    Blank Matryoshka dolls

    2 proslijeđena tweeta 8 korisnika označava da im se sviđa
  8. 23. kol 2019.

    On a train to Brussels that is literally tied up in red tape.

    7 korisnika označava da im se sviđa
  9. 18. tra 2019.
    Odgovor korisnicima

    See this talk (from ten years ago!) at 4:00-5:00.

    1 reply
  10. 14. ožu 2019.

    SQL Injections.

    12 korisnika označava da im se sviđa
  11. 15. velj 2019.

    It's a bollard It's a bollard It's a bollard It's a bollard It's a monoid It's a monoid It's a monoid It's a bollard It's a monoid It's a monoid

    3 korisnika označavaju da im se sviđa
  12. 12. lis 2018.

    Corrupting the youth

    1 proslijeđeni tweet 28 korisnika označava da im se sviđa
  13. 5. ruj 2018.

    I try to learn Idris, but am thwarted

    3 proslijeđena tweeta 17 korisnika označava da im se sviđa
  14. 6. srp 2018.

    At the project review meeting...

    4 korisnika označavaju da im se sviđa
  15. 18. ožu 2018.

    Watching BBC Micro Live 2 hours of live TV about computers from 1983. Basically nothing has changed...

    1 reply 1 korisnik označava da mu se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
  16. 26. ruj 2017.
    Odgovor korisniku/ci

    Lol

    1 reply 3 korisnika označavaju da im se sviđa
  17. 21. ruj 2017.

    Apparently my 5 pence pieces are "problem coins".

    7 korisnika označava da im se sviđa
  18. 6. ruj 2017.

    An implementation of Observational Type Theory:

    5 proslijeđenih tweetova 31 korisnik označava da mu se sviđa
  19. 5. ruj 2017.

    Part of an implementation of the integers as a quotient of pairs of naturals.

    1 reply 1 proslijeđeni tweet 8 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
  20. 5. ruj 2017.

    Preview of an implementation of Observational Type Theory ( ). Hofmann's counterexample computing.

    6 proslijeđenih tweetova 25 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit

@bentnib još nije poslao/la nijedan tweet s fotografijama ili videozapisima.

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

    ·