Frank Emrich

25 posts

Frank Emrich

Frank Emrich

@fermarnichk

PhD student @ University of Edinburgh

Edinburgh, Scotland Katılım Ocak 2017
77 Takip Edilen40 Takipçiler
Frank Emrich
Frank Emrich@fermarnichk·
step 1: rename company step 2: replace executive team with speaking cubes??
Frank Emrich tweet media
English
1
0
2
0
Frank Emrich
Frank Emrich@fermarnichk·
Amazon knows that what I need in my life is 2kg of peanut butter
Frank Emrich tweet media
English
1
1
1
0
Frank Emrich
Frank Emrich@fermarnichk·
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
0
1
2
0
Frank Emrich
Frank Emrich@fermarnichk·
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
0
0
2
0
Frank Emrich
Frank Emrich@fermarnichk·
@jmaskell I just went "but who is the Malcolm Tucker equivalent?" and then immediately "ohhhhh :("
English
0
0
1
0
Frank Emrich
Frank Emrich@fermarnichk·
@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
1
0
2
0
Simon Fowler
Simon Fowler@Simon_JF·
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
1
0
0
0
Frank Emrich
Frank Emrich@fermarnichk·
Just finished 3 great months hacking higher-kinded types into @HackLang. Hope I fixed more than I broke 🤔
English
1
1
13
0
Simon Fowler
Simon Fowler@Simon_JF·
@dhillerstrom Farewell Mr Daniel! (although let's face it, I'll be back for the odd Friday lunch ;))
English
2
0
0
0
Simon Fowler
Simon Fowler@Simon_JF·
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!
Simon Fowler tweet mediaSimon Fowler tweet media
English
4
1
18
0
Frank Emrich
Frank Emrich@fermarnichk·
235 people watching my PLDI talk about FreezeML on Youtube right now. Is this what fame feels like?
English
1
1
45
0
Simon Fowler
Simon Fowler@Simon_JF·
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
16
5
95
0
Frank Emrich
Frank Emrich@fermarnichk·
Grant proposal: Use AI to sprinkle just the right amount of \vspace{...} on my slides to make them look good
English
0
0
0
0
Frank Emrich
Frank Emrich@fermarnichk·
@buggymcbugfix the up and down arrow? isn't that pretty common for bidirectional systems?
English
0
0
1
0
Frank Emrich
Frank Emrich@fermarnichk·
@buggymcbugfix If they complain you should insist that the money is your bug bounty ;)
English
0
0
3
0