Frank Emrich
25 posts
Frank Emrich
@fermarnichk
PhD student @ University of Edinburgh
Edinburgh, Scotland Katılım Ocak 2017
77 Takip Edilen40 Takipçiler
step 1: rename company
step 2: replace executive team with speaking cubes??
English
Amazon knows that what I need in my life is 2kg of peanut butter
English
Fun fact: Keeping the same wifi router when moving from Germany to the UK means that any laptop trying to use wifi to determine its location gets terribly confused about which country I'm in.
This concludes the mystery series "why does Windows keep picking the wrong time zone?"
English
I complained to my ISP about my bandwidth and ping occasionally becoming really bad. They said they identified the problem and promised a fix.
A few days have passed and now it's always consistently bad. Thanks! 🙏
English
@jmaskell I just went "but who is the Malcolm Tucker equivalent?" and then immediately "ohhhhh :("
English
We're living in an episode of The Thick of It.
Max Roser@MaxCRoser
In the UK the number of cases rose rapidly. But the public – and authorities – are only learning this now because these cases were only published now as a backlog. The reason was apparently that the database is managed in Excel and the number of columns had reached the maximum.
English
@Simon_JF you will definitely win extra points during Zoom calls if other people grab their cat from under the table but you have your pet rhino storm into the room!
English
I thought rhinos were extinct until I saw one in a zoo when I was about 12. My mind was *blown*.
I still absolutely love rhinos.
English
2020 is a pain. September has felt like it's lasted several years.
Have a baby rhino!
Reuters@Reuters
An eastern black baby rhinoceros, born in Cincinnati Zoo on Aug. 21 will be named on Oct. 1 in a virtual baby shower competition 🦏
English
Just finished 3 great months hacking higher-kinded types into @HackLang. Hope I fixed more than I broke 🤔
English
@Simon_JF @dhillerstrom yes please! It will be strange not to have you around :(
English
@dhillerstrom Farewell Mr Daniel! (although let's face it, I'll be back for the odd Friday lunch ;))
English
Today, I head over to Edinburgh to clear out my office. It feels like a very eerie side quest.
First up: GLQ. It's changed a lot since I was last here!
English
235 people watching my PLDI talk about FreezeML on Youtube right now. Is this what fame feels like?
English
@fermarnichk frozen variables would be something you could toggle extrasyntactically. would definitely consider adding to Hazel.
English
@Simon_JF @GlasgowCS Congratulations! :) Hope to see you around in Edinburgh every now and then
English
Now that all is signed and official, I'm happy to announce that I'll be joining @GlasgowCS as an RA in September to work on session types for distribution-friendly programming models. Looking forward to it!
English
@digital_monad @smdiehl A list of all open issues will be read out during the funeral
English
Pretty bleak new Github feature.😬
help.github.com/en/github/sett…
English
Grant proposal: Use AI to sprinkle just the right amount of \vspace{...} on my slides to make them look good
English
@buggymcbugfix the up and down arrow? isn't that pretty common for bidirectional systems?
English
@buggymcbugfix If they complain you should insist that the money is your bug bounty ;)
English