PhD-student at Chalmers University, in the FP-group. Main advisor: Koen Claessen Co advisor: John Hughes Co advisor: Joel Svensson https://xitter.cf/t.co/sbwlxU3jm3
Gothenburg, Sweden
Joined October 2011
- Tweets450
- Following192
- Followers174
- Likes835
Robert Krook retweeted
Lennart Augustsson and Robert Krook presentation very soon on Haskell Symposium!
youtube.com/live/1z9EB7PUKJc…
#Haskell
Robert Krook retweeted
Very nice paper on compilation for #ChoreographicProgramming in #Haskell using the HasChor DSL and rewriting rules. Brings 'choreographic programming as a library' one step nearer to dedicated choreographic programming languages like Choral!
krook.dev/papers/partitionin…
HT @lindsey
Robert Krook retweeted
Thank you Wired! 🫡🫡🫡
It's spooky. It's esoteric. It's also the key to understanding the rise and relevance of functional programming. wired.trib.al/qNfcKv9
Robert Krook retweeted
Stephen Edwards talking about the sparse synchronous model:
youtu.be/zE6_AffSuHs?feature…
Robert Krook retweeted
An opportunity to work and research with us! Five PhD positions in Chalmers University of Technology in the wonderful Gothenburg!
Particularly, notice my project "Correct By Design for Cyber Physical Systems". Have a look!
linkedin.com/jobs/view/38339…
Robert Krook retweeted
My CSI: Haskell paper finally got accepted to IFL! I should really write the GHC proposal ASAP.
Robert Krook retweeted
Abi presenting our work HasTEE, our DSL to program trusted execution environments at the HASKELL Symposium @icfp_conference
He mentioned SGX, IFC, Gramine, Federated Learning, and even showed Assembly in the same talk!
The paper dl.acm.org/doi/10.1145/36090…
Robert Krook retweeted
I'll admit to scratching my head a bit as to what the VESC people were smoking when they integrated a Lisp interpreter in a motor controller, but it's an incredible productivity boost.
Having a REPL and hot reload and real-time graphs of whatever variables you want is huge!
Robert Krook retweeted
He simply has never considered a second person.
You’re unable to view this Post because this account owner limits who can view their Posts. Learn more
Robert Krook retweeted
We are hiring!
Two fully-funded PhD positions in Assured Autonomous Systems @chalmersuniv. For more information see the link below:
chalmers.se/en/about-chalmer…
Robert Krook retweeted
Four Computer Science and Engineering dept PhD students announced at #chalmers and #gothenburgUniversity. Pick the topic that interests you and the best four PhD students will be picked by the department. web103.reachmee.com/ext/I005…
Robert Krook retweeted
Samma regering som i valrörelsen lovade att högkostnadskydd på elen skulle vara på plats bara månader efter valet uppmanar nu sina invånare att spara pengar inför kommande vinter. Det är magstarkt.
Robert Krook retweeted
@elilobov graduating as a Ph.D.! Congratulations! It has been an honor to work with you! @matteo_maffei @michaelghay
