Simon Thompson

@thompson_si

Functional programmer in Haskell and Erlang, researcher and teacher of computer science at University of Kent.

Canterbury, Kent, UK
Vrijeme pridruživanja: svibanj 2011.

Tweetovi

Blokirali ste korisnika/cu @thompson_si

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

  1. proslijedio/la je Tweet
    2. velj

    They could not wait one single working day after departure to blame EU for the future Not one single working day Not one

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

    (The bug report pertained to some non-POSIX calls that wouldn't compile on Android. The latest version does indeed compile on Android, which isn't at all bad for a programming language implementation dating back to the early 80s.)

    Prikaži ovu nit
    Poništi
  3. proslijedio/la je Tweet
    30. sij

    In my team at GitHub, we'd like to study examples of "nefarious commits" in open source, which introduce a bug on purpose. Can you point me at such commits? Could it have been detected by analysing the committer's behaviour as well as the code change itself?

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

    Sociologists were so preoccupied with griping about economists that most didn’t even notice that the primary institutions of contemporary social interaction and meaning-making are now controlled by computer scientists.

    Prikaži ovu nit
    Poništi
  5. proslijedio/la je Tweet
    30. sij

    My tweets since 2017 in favour of a UK-EU Association Agreement, including on how the transition arrangements can morph into this easily

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

    Academic Papers can provide insights & push our thought boundaries. They are one of the many tools in our proverbial toolbelt. What are some that have inspired you? We've got a few too!

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

    See Joanna Sharrad's talk "Delta Debugging Type Errors in Real-World Programs". Learn about her team's tool for applying an algorithm segmenting a program before the delta debugging algorithm is applied & a framework for evaluating type error debuggers

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

    See Péter Bereczky presenting his team's research as part of at . Learn all about "A Proof Assistant Based Formalisation of Core "

    Poništi
  9. proslijedio/la je Tweet
    28. sij

    32 human Haskell devs and 1 pigeon dev working on Ghcide and HIE met in Bristol recently to join forces for a better Haskell IDE. Including our very own . IDEs get us excited so if you're the same type of human/pigeon read more in the link.

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

    Preston Bus Station: Pie and Blow Dry — Craig Atkinson

    Poništi
  12. proslijedio/la je Tweet
    27. sij

    Cisco is shipping *2 million devices* **per year** with in them, thanks to its use of ConfD and NSO. Simon Unge will be at to explain just what ConfD and NSO are, and how Erlang is used within them! Get your tickets now!

    Poništi
  13. proslijedio/la je Tweet
    27. sij

    Vineyards surround the Moselle River in the Trier-Saarburg district of Germany. The region is recognized for its production of Ries...See more here: ///

    Poništi
  14. proslijedio/la je Tweet

    The best alternative designs for the commemorative Brexit 50p coin

    Poništi
  15. proslijedio/la je Tweet

    This week I will be tweeting about my mother’s release from Belsen, 75 years ago.

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

    Thanks to all the authors, and the reviewers for the effort put into this! Each paper went through at least two rounds of reviews, and they are now being prepared for publication. Final versions are going to be online soon as .

    Poništi
  17. proslijedio/la je Tweet
    22. sij

    I couldn't be sharing the stage with a better partner! We're gonna rock your BEAMs!

    Poništi
  18. proslijedio/la je Tweet
    22. sij

    At 499 people supporting me on Patreon, I’m 1 off a massive milestone. Who will make it 500? 500 supporters will bring in around 50% of my target income. (FYI my target is slightly more than an academic and a lot less than a professional programmer).

    Poništi
  19. proslijedio/la je Tweet

    Got the paperwork yesterday, so: happy to announce that I'll be spending the next 3 years working full time on Idris with !

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

    I did a thing. Had two printers going at the same time. Now it’s time for a drink.

    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:

    ·