Edwin Brady

@edwinbrady

CompSci Lecturer. Go player. Programming language researcher. Idris hacker. Denies knowledge of Whitespace. He/him.

St Andrews
eb.host.cs.st-andrews.ac.uk
Vrijeme pridruživanja: studeni 2008.
744 fotografije ili videozapisa Fotografije i videozapisi

Tweetovi

Blokirali ste korisnika/cu @edwinbrady

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

  1. prije 7 sati

    I thought it'd be fun to learn a bit of Gaelic. Glad to see the important vocabulary is coming in early.

    1 reply 1 proslijeđeni tweet 14 korisnika označava da im se sviđa
    Poništi
  2. proslijedio/la je Tweet
    8. sij

    I'm organising the Agda Implementors' Meeting XXXI in Edinburgh, 1-7 April 2020! These meetings are for ANYONE interested in Agda to join, regardless of your proficiency! We'll be there to help get you started contributing!

    14 proslijeđenih tweetova 24 korisnika označavaju da im se sviđa
    Poništi
  3. prije 16 sati

    Also, I'm not sure I've ever had a student who's admitted to liking football before.

    2 korisnika označavaju da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  4. prije 16 sati

    Football fans complain about VAR, but I've just used it to explain how Haskell indentation works, so obviously I'm now all for it.

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

    A lot of tweets about miss that 02 February 2020 is a palindrome in USA, UK and ISO formats; it is a palindrome day of the year (33) and there are a palindrome of days left in the year (333). This will never happen again. More details here:

    135 replies 6.227 proslijeđenih tweetova 11.316 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  6. 2. velj

    You can get 50% off Type Driven Development with Idris today at , as well as some nice Haskell books And since it's Groundhog Day you can buy them over and over again! Yay!

    1 reply 14 proslijeđenih tweetova 24 korisnika označavaju da im se sviđa
    Poništi
  7. 1. velj

    This is still disappointingly slow though. It would help if I knew how to write a decent run time system...

    10 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  8. 1. velj

    Still reasonably confident that Idris 2 is going to be quite a bit faster than Idris 1...

    Idris 1, checking Core.Context in 50s
    Idris 2, checking Core.Context in 15s
    6 replies 6 proslijeđenih tweetova 94 korisnika označavaju da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  9. 31. sij

    I've just been doing some live Haskell hacking in class. I only got the : and :: the wrong way around EVERY SINGLE TIME.

    5 replies 2 proslijeđena tweeta 94 korisnika označavaju da im se sviđa
    Poništi
  10. proslijedio/la je Tweet
    30. sij

    Our team at is hiring engineers and researchers in PL, compilers, systems etc. Come work with us on challenging problems and help shape the next generation of AI infrastructure!

    7 replies 27 proslijeđenih tweetova 90 korisnika označava da im se sviđa
    Poništi
  11. 30. sij

    Finally, here we go

    1 reply 9 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  12. 30. sij

    Still not learning any phrases I'm ever going to use in practice

    1 reply 8 proslijeđenih tweetova 70 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  13. proslijedio/la je Tweet
    30. sij
    Odgovor korisnicima

    so roslyn's architecture says 'what if we designed compilers to be good at the incremental steps, rather than the full work', from the start. this has deep implications on how the compiler's internal architecture actually works

    6 proslijeđenih tweetova 22 korisnika označavaju da im se sviđa
    Poništi
  14. 30. sij

    I am still doing it wrong of course. Just in new and creative ways. I'm sure there's worse ways to spend a career.

    1 proslijeđeni tweet 15 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  15. proslijedio/la je Tweet
    30. sij

    “Why didn’t you build the compiler like Roslyn from the start” betrays this understanding; specific architectural decisions make no sense when your main focus is demonstrating viability in the first place.

    6 proslijeđenih tweetova 50 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  16. 30. sij

    My experience of hacking on Idris 2 is that I'd have done it this way in the first place if only I'd tried writing a language like that before. Who would have thought it etc etc!

    “Why didn’t you build the compiler like Roslyn from the start” betrays this understanding; specific architectural decisions make no sense when your main focus is demonstrating viability in the first place.
    Prikaži ovu nit
    3 proslijeđena tweeta 32 korisnika označavaju da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  17. proslijedio/la je Tweet
    30. sij

    Bowlers taking hat-trick on first-class debut with the 3rd victim also being on debut: VB Ranjane Maharashtra v Saurashtra Khadakvasla 1956 (Victim V Jadeja) RR Yadav Madhya Pradesh v Uttar Pradesh Indore 2020 (Victim S Rizvi)

    11 proslijeđenih tweetova 52 korisnika označavaju da im se sviđa
    Poništi
  18. 30. sij

    Cricket has the best niche statistics. Another recent favourite of mine was "players getting out for their age on their birthday".

    Bowlers taking hat-trick on first-class debut with the 3rd victim also being on debut: VB Ranjane Maharashtra v Saurashtra Khadakvasla 1956 (Victim V Jadeja) RR Yadav Madhya Pradesh v Uttar Pradesh Indore 2020 (Victim S Rizvi)
    2 korisnika označavaju da im se sviđa
    Poništi
  19. proslijedio/la je Tweet
    29. sij

    "A Type and Scope Safe Universe of Syntaxes with Binding: Their Semantics and Proofs" has been accepted for publication at JFP!

    13 proslijeđenih tweetova 73 korisnika označavaju da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  20. 27. sij

    Incidentally, if anyone finds it hilarious that I have a project starting on April 1st: don't worry, so do I.

    6 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi

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

    ·