Rob Stewart

@robstewartUK

Assistant Professor at Heriot-Watt University, Edinburgh. Computer science: parallel functional languages, HPC, embedded systems, FPGAs, program verification.

Edinburgh, UK
macs.hw.ac.uk/~rs46/
Vrijeme pridruživanja: travanj 2009.
382 fotografije ili videozapisa Fotografije i videozapisi

Tweetovi

Blokirali ste korisnika/cu @robstewartUK

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

  1. proslijedio/la je Tweet
    prije 12 sati

    Gentle reminder to make sure that your pub record is up to date...

    17 proslijeđenih tweetova 38 korisnika označava da im se sviđa
    Poništi
  2. prije 22 sata

    I don't understand America.

    Google's December FEC filing is up. Google made a $1500 political donation to Mitch McConnell on December 20
    Prikaži ovu nit
    1 reply
    Poništi
  3. proslijedio/la je Tweet
    1. velj

    99 smartphones are transported in a handcart to generate virtual traffic jam in Google Maps. Through this activity, it is possible to turn a green street red which has an impact in the physical world by navigating cars on another route!

    379 replies 15.036 proslijeđenih tweetova 33.780 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  4. 1. velj

    gitlab-haskell: a Haskell library for the GitLab API. A short blog highlighting some of the API functions:

    2 proslijeđena tweeta 1 korisnik označava da mu se sviđa
    Poništi
  5. 1. velj

    Ormolu by is great, and the Emacs wrapper works well. Format Haskell code every file save with 1 "true" format style, never having to: git commit -m "format code" (add-hook 'haskell-mode-hook 'ormolu-format-on-save-mode)

    1 reply 3 proslijeđena tweeta 5 korisnika označava da im se sviđa
    Poništi
  6. proslijedio/la je Tweet
    31. sij

    Can someone organize the hackathon in so I can hack and have drinks with ?

    2 proslijeđena tweeta 16 korisnika označava da im se sviđa
    Poništi
  7. proslijedio/la je Tweet
    30. sij

    The GAP Days Spring 2020 have now got a program and more info! Come and register to help us modernise the infrastructure.

    6 proslijeđenih tweetova 2 korisnika označavaju da im se sviđa
    Poništi
  8. proslijedio/la je Tweet
    29. sij

    Huge thanks to and all of the contributors to the Haskell IDE Engine project. The stability of the project is great! It is delightful to use it!

    1 reply 3 proslijeđena tweeta 9 korisnika označava da im se sviđa
    Poništi
  9. proslijedio/la je Tweet
    28. sij

    Eh??!! The drive would cost £60. A return flight from London would cost £150. And yet the most carbon-efficient way to travel costs this... No wonder we’re up s*** creek without a paddle. With a hole in the boat. Without a life vest. In our pants. Discuss.

    285 replies 891 proslijeđeni tweet 3.321 korisnik označava da mu se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  10. 29. sij

    "If you’re going to base your fashion choices on what the staff at Urban Outfitters were wearing, there's a place created especially for you. It's called Brewdog."

    Banter? I intend to make a countrywide ban on these fashion trends the central policy in my campaign for public office
    Poništi
  11. proslijedio/la je Tweet
    27. sij

    This is rare. Competing projects usually end up at each other's throats. Seeing the two major efforts to get IDE tooling (ie LSP backends for ) decide to work together and merge is something special. Using *ghcide* the last few months has been awesome. Can't wait!

    Haskell-ide-engine and Ghcide teams are joining forces to work on a single Haskell IDE. See for details. With , and many contributors from both sides.
    19 proslijeđenih tweetova 65 korisnika označava da im se sviđa
    Poništi
  12. proslijedio/la je Tweet
    22. sij

    one time i was my college’s mascot for a basketball game. emphasis on one time

    2.817 replies 131.526 proslijeđenih tweetova 754.327 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  13. 23. sij

    How feasible would it be for to support glow text effects, similar to the glow effect in the VSCode SynthWave theme?

    Poništi
  14. proslijedio/la je Tweet
    21. sij

    Reminder: the next Branch Social Meeting will be at Henry Hall's Carrier's Quarters, Leith, on Saturday, 25 January at 2:30pm.

    2 proslijeđena tweeta
    Poništi
  15. proslijedio/la je Tweet
    18. sij

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

    17 replies 20 proslijeđenih tweetova 316 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  16. proslijedio/la je Tweet
    15. sij

    Check out my latest article: Discrete Mathematics, Data Structures and Algorithms - A Teacher/Learner's Blog via

    2 proslijeđena tweeta 4 korisnika označavaju da im se sviđa
    Poništi
  17. proslijedio/la je Tweet
    15. sij

    We've extended the ProWeb20 (colocated w/ ) deadline to 22nd January. Doing Programming Languages / Software Engineering research relating to the web? Fancy a trip to Porto? Consider submitting!

    1 reply 11 proslijeđenih tweetova 7 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  18. proslijedio/la je Tweet
    13. sij

    Working in a blazing fast ghcide with dot syntax from record-dot-preprocessor makes it almost hard to believe this is Haskell. I feel like when I first encountered IntelliJ fifteen years ago. Thanks , and everyone else.

    7 proslijeđenih tweetova 49 korisnika označava da im se sviđa
    Poništi
  19. proslijedio/la je Tweet
    13. sij

    Have you ever used eDSLs in Haskell to generate code? If so, you are familiar about writing *redundant* strings to hint variables names to the code generation engine (see pic) You don’t need to do that anymore! Check out our GHC plugin BinderAnn—to appear at TFP 2020! 📝

    6 replies 12 proslijeđenih tweetova 51 korisnik označava da mu se sviđa
    Poništi
  20. proslijedio/la je Tweet
    13. sij

    New early access paper: "BigraphTalk: verified design of IoT applications ". IEEE Journal of IoT, 2020. Archibald, B. (), Shieh, M.-Z., Hu, Y.-H., Sevegnani, M. (), and Lin, Y.-B.

    1 reply 8 proslijeđenih tweetova 16 korisnika označava da im se sviđa
    Poništi

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

    ·