awalterschulze

@awalterschulze

Programmer: Fixing my math education one gif at a time. Opinions are my own.

London, UK
Vrijeme pridruživanja: srpanj 2019.

Tweetovi

Blokirali ste korisnika/cu @awalterschulze

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

  1. 2. lis 2019.

    I just *discovered* that Philip Wadler practices his talks in Comedy Clubs. This video predates his talk at Strangeloop and Lambda Days.

    Poništi
  2. 14. kol 2019.
    Poništi
  3. 9. kol 2019.

    I just read Programming Rust: Rust finds a sweet spot between C++ and Haskell, by having zero cost abstractions. A bit unfair though: Unsafe mode is provided for C++ lovers, but Category mode is not there for Haskell. So it is not all sunshine and Functors

    Poništi
  4. 7. kol 2019.

    What a treat. A self deprecating blog post of mine, trended on HackerNews at number 12 Thank you for your karma.

    Poništi
  5. 2. kol 2019.

    Excited about learning Coq, starting this Autumn.

    Poništi
  6. 30. srp 2019.
    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:

    ·