Robert Krook @Rewbert
PhD-student at Chalmers University, in the FP-group. Main advisor: Koen Claessen Co advisor: John Hughes Co advisor: Joel Svensson https://t.co/sbwlxU3jm3 Gothenburg, Sweden Joined October 2011-
Tweets450
-
Followers173
-
Following192
-
Likes835
Lennart Augustsson presenting our paper at Haskell Symposium 2026 :) youtube.com/watch?v=hO4nAr…
0
1
2
126
2
View Details
Distributed (Micro)Haskell! krook.dev/posts/cmh/post…
Robert Krook retweeted
Lennart Augustsson and Robert Krook presentation very soon on Haskell Symposium! youtube.com/live/1z9EB7PUK… #Haskell
Here is a link to our paper: krook.dev/papers/cloudHa… Lennart will present it at the Haskell Symposium in Indianapolis!
Happy to report that a paper that @Augustsson and I wrote for the Haskell Symposium '26 was accepted! Since the submission deadline, the paper has been extended with yet more interesting examples, such as a network of nodes distributed on MCUs.
@tritlo I wonder who this cautious individual could be
@owickstrom I got some deployment errors for no apparent reason, but just clicking the rerun all jobs thing seemingly made it work.
Robert Krook retweeted
Our functional pearl got accepted! Free autocomplete for all!
How I feel when when my advisors are talking about my research
Robert Krook retweeted
has security gone too far?
I heat up my swedish-made bolognese in the work lunchroom. The (5) Italian colleagues approve. I pull out a bottle of ketchup. They go silent. I top off my food with this prima condiment. The Italians renounce our friendship. I eat my delicious lunch.
@tritlo "I'm not superstitious, but maybe a little stitious" - Michael Scott
@sve10362122 @effectfully Yes, I've thought loads of this and have done some work in relation to this :) nothing published yet though, and it is unlikely that I'll have enough time to finish that before I defend. Let me know if you want to discuss it.
@satnam6502 @tritlo @sve10362122 Had a wonderful time :)
Not enough movies end with a redneck ramning his fighter jet into an alien spaceship
@sve10362122 @tritlo Thanks :) I had a great time. There's a stream on ACM SIGPLANs YT if you want to watch it.
Archaic SE @ArchaicSE
11 Followers 155 Following
göksu kaval @goksukv
201 Followers 260 Following ODTÜ EE gazisi. Şu anda Chalmers’ ta Mikroteknoloji ve Nanobilim alanında doktora yapıyorum. Müzik, Resim ve Doğa yürüyüşlerine ilgiliyim.
FTS @fishtreesugar
15 Followers 489 Following
Alecs, B.P.Ed. @KleeneAlgebra
273 Followers 247 Following Currently working on trying to get a PhD somehow
Alex Koshelkov @AKoshelkov
12K Followers 9K Following Founder of @Crytivo - Indie Game Developer and Publisher. Creator of @TheUniversim and @Autonomicagame
One Happy Fellow @onehappyfellow
3K Followers 859 Following head of @typememetics ⊢ best-selling type-safe rapper ⊢ known to write OCaml from time to time ⊢ raising a small human ⊢ https://t.co/wrbSZODDq3
Graham Hutton @haskellhutt
9K Followers 704 Following Professor at @UoNComputerSci 💻 Haskeller https://t.co/4wGcVx49vZ 📓 YouTuber https://t.co/qBpJclVeDl🎙 Food Nerd 🍽 Glaswegian 🏴
luisa cicolini @luuisella
16 Followers 192 Following CSE @polimi grad // currently @Cambridge_Uni // creativity enthusiast
Shagirthe @ShagirthefW4si
24 Followers 573 Following
Mahboobe Haddadi @mahboobehads
0 Followers 183 Following
Alcides Fonseca @alcides
2K Followers 3K Following AI Safety Researcher. Blogs at https://t.co/lW4RVHkaHe
Masahiro Sakai @masahiro_sakai
2K Followers 2K Following Engineer @NoeonAI ← Engineer @PreferredNet ← Research Scientist @東芝.『抽象によるソフトウェア設計』『型システム入門』共訳者, Haskeller, https://t.co/v00oxn8aAC
Pepe @PepePedroJa
9 Followers 226 Following
Andrew K. Hirsch @andrewkhirsch
579 Followers 920 Following Assistant professor at University at Buffalo. Previously MPI-SWS and Cornell. Programming languages, security, concurrency.
Fabrizio Montesi ⬣ ... @famontesi
682 Followers 491 Following Formal Methods at the Scale the World Needs | Lead Maintainer of CSLib (Lean) and Jolie Lang. | #ChoreographicProgramming #FormalMethods #Microservices
Tsung-Ju Chiang @tsungjuc
77 Followers 196 Following Studying programming languages. Mastodon: @[email protected]
Paweł Zelmański @pzelmanski
58 Followers 84 Following F# gt C#, learning Haskell. 1.5x developer. Blogging helps me to organise my thoughts.
Katya Voloshina @ekat_voloshina
58 Followers 272 Following PhD Candidate in Computer Science at @goteborgsuni & @chalmersuniv | interested in multilingual, multimodal or neurosymbolic NLP, linguistics, cognitive science
ರಾ 🟨🟥 @fernwah
13 Followers 431 Following
name cannot be blank @nihil2501
175 Followers 4K Following
Rahul @_rahulgoraniya_
61 Followers 1K Following BSc in CS @unibirmingham | Hardness of Approximation, Parameterized Complexity & Graph Algorithms | Seeking PhD opportunities
bsky.app/profile/zee.... @zeeshanlakhani
2K Followers 4K Following eng @oxidecomputer | @papers_we_love/pwlconf co-founder/org. | @SCSatCMU PhD in PLT trial & erroring. Find me here instead: 🦋 https://t.co/hzRtv3yUNJ
nhatanh @alittletyper
227 Followers 2K Following
KC Sivaramakrishnan @kc_srk
6K Followers 4K Following Profing @iitmadras. Running @fp_launchpad. CTO @tarides_. Trustee https://t.co/WE1No5QqOA.
George Granberry @JudgeJerj
14 Followers 87 Following American PhD candidate living in Sweden currently researching the intersection between Formal Methods, IDEs, and LLMs at Chalmers University of Technology
José A. Alonso @Jose_A_Alonso
5K Followers 3K Following Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
chloe @chloe22557
36 Followers 80 Following Life isn't about finding yourself it's about CREATING yourself.
Sam Westrick @shwestrick
1K Followers 601 Following assistant prof @NYU_Courant CS :: PL :: parallel computing :: music :: lead dev of the MaPLe compiler https://t.co/6jBOSBGv9C :: https://t.co/WLZqdK5BRC
Nadia/Надя/ना... @NadiaYChambers
819 Followers 3K Following clima, pandemia y extremismo de derecha eng:C1 esp:B1 deu:A2 epo:A1 tok:A1 https://t.co/sNPahZVcze https://t.co/JEDhVtYawx http://tribel
Luca @1306lou
88 Followers 334 Following CS Postdoc @tu_wien 💻 • From L’Aquila 🇮🇹 • Opinions my own • ❤️, 🔄 ≠ endorsement • Are birds free from the chains of the skyway?
Derek Parfait @haus_cole
537 Followers 2K Following Trying to figure things out about how best we can live together
sabree λ ☕ → �... @HeavyPackets
2K Followers 2K Following ♥️ Security + Privacy, PL, Formal Methods, DX, Rust 🦀, Lean, F* 🏳🌈 {⊥/⊥}
Kal @kaladinstormble
188 Followers 2K Following https://t.co/b9YUGeyAd3 Auto follow any sci-fi fan. BLM. Grace Tame is a living legend.
neuroevolutus @neuroevolutus
20 Followers 3K Following
bluemussels @bluemussels8
0 Followers 293 Following
Harshit Garg @harshitgarg22
52 Followers 323 Following Incoming CS PhD @Northeastern | Currently Research Fellow @Microsoft | Systems / PL / AI
Mourjo Sen (মোর... @mourjo_sen
455 Followers 2K Following ✍️https://t.co/xzolHYaWnT 👨🏫 mentor at @Springboard, @mentorcruise 💻 dev @bookingcom 💼 previously @stripe @gojektech, @helpshift 🇫🇷 MS @inria
Rickard Nilsson @rickynils
310 Followers 203 Following Founder of https://t.co/GYBvnRgEfn - Nix Builds as a Service
Oskar Wickström @owickstrom
6K Followers 793 Following Software engineer in rural exile, working on Bombadil at @antithesishq. Generative testing, web, graphics, and systems programming. Also Bach and mandolin.
クマムシ.exe @SugarHigh_bin
379 Followers 6K Following
One Happy Fellow @onehappyfellow
3K Followers 859 Following head of @typememetics ⊢ best-selling type-safe rapper ⊢ known to write OCaml from time to time ⊢ raising a small human ⊢ https://t.co/wrbSZODDq3
Alcides Fonseca @alcides
2K Followers 3K Following AI Safety Researcher. Blogs at https://t.co/lW4RVHkaHe
Pepe @PepePedroJa
9 Followers 226 Following
Andrew K. Hirsch @andrewkhirsch
579 Followers 920 Following Assistant professor at University at Buffalo. Previously MPI-SWS and Cornell. Programming languages, security, concurrency.
Fabrizio Montesi ⬣ ... @famontesi
682 Followers 491 Following Formal Methods at the Scale the World Needs | Lead Maintainer of CSLib (Lean) and Jolie Lang. | #ChoreographicProgramming #FormalMethods #Microservices
Tom Schrijvers @schrijvers_tom
451 Followers 119 Following Prof. in Programming Languages at KU Leuven, author of "Soar with Haskell"
Serokell @serokell
7K Followers 5K Following The most bizarre company with brave ideas of functional programming application. #DAML #Haskell #Nix #Elixir #Rust #Agda #ML #AI
Stephanie Weirich @fancytypes
3K Followers 349 Following
jaspervdj (@functiona... @jaspervdj
3K Followers 369 Following Leftist, haskell stuff, and I care a lot about skateboarding and photography. Involved with @DigitalAsset, @haskellfound, @ZuriHac.
Andres Löh @kosmikus
3K Followers 468 Following I am a partner and Haskell Consultant at Well-Typed LLP. http://t.co/cc1cbLgax5
Paweł Zelmański @pzelmanski
58 Followers 84 Following F# gt C#, learning Haskell. 1.5x developer. Blogging helps me to organise my thoughts.
Katya Voloshina @ekat_voloshina
58 Followers 272 Following PhD Candidate in Computer Science at @goteborgsuni & @chalmersuniv | interested in multilingual, multimodal or neurosymbolic NLP, linguistics, cognitive science
Ranjit Jhala @RanjitJhala
3K Followers 601 Following curmudgeon; https://t.co/TPNX9uaFAO; https://t.co/mRwZgjF0TX
name cannot be blank @nihil2501
175 Followers 4K Following
Tweag by Modus Create @tweagio
7K Followers 327 Following Improving the craft of software engineering.
George Granberry @JudgeJerj
14 Followers 87 Following American PhD candidate living in Sweden currently researching the intersection between Formal Methods, IDEs, and LLMs at Chalmers University of Technology
Paul F. Dietz @PaulFDietz
349 Followers 658 Following Common Lisp, testing, algorithms. paul.f.dietz at gmail dot com / pfdietz at github
Alperen Keleş @Keleesssss
9K Followers 2K Following METU CENG 21' | PhD @umdcs | Research Scientist @datadoghq | Writing at https://t.co/O7d6OIVbg4 | Testing compilers, type systems, databases...
Luca @1306lou
88 Followers 334 Following CS Postdoc @tu_wien 💻 • From L’Aquila 🇮🇹 • Opinions my own • ❤️, 🔄 ≠ endorsement • Are birds free from the chains of the skyway?
Michael Peyton-Lebed ... @mpeytonjones
2K Followers 759 Following thread the needle, find the path 🔸10% Pledge #132 with @GivingWhatWeCan
joomy @joomy
4K Followers 984 Following researcher @Bloomberg. 📜 somehow a computer doctor. tweets about formal verification, compilers, types, metaprogramming, linguistics. 🇹🇷
Ignacio Ballesteros @iBallesteros_G
197 Followers 2K Following Me pillas con la bio en construcción. Vuelva usted mañana. bsky: @ignacioballesteros.es 🦋
Apoorv @fxdpntthm
1K Followers 139 Following Grad student. PL, types, semantics, logic, SIGPLAN audio-video/virtualization. Also on @[email protected]
Edward Kmett @kmett
17K Followers 810 Following Founder/Chief Scientist @Positron_AI Haskell, category theory, AI, and safety. https://t.co/OduL9QvPz7 https://t.co/XwbnuaOUzq https://t.co/wYaTDISbEB
José Manuel Calderó... @josecalderon
2K Followers 864 Following Director @HaskellFound. Formerly faculty @umdcs and @galois. Compilers and all that Jazz. I can also be found @jmct.bsky.social I miss Yorkshire
gabby @GabriellaG439
16K Followers 79 Following Author of https://t.co/KlpbciE0Hl, @dhall_lang, and https://t.co/YzieN4kyo2 I'm a midwife to the hidden beauty in everything she/her 🏳️⚧️
Ahrefs @ahrefs
173K Followers 145 Following The marketing platform for discoverability in search, AI, and the web. Explore your brand 👉 https://t.co/hEQ5B6OgR5
PL Papers Minus Conte... @PLMinusContext
2K Followers 0 Following All tweets verbatim from PL or PL-adjacent research papers • main: @lindsey • eldritch aesthetic
Joachim Breitner @nomeata
3K Followers 1 Following Has a thing for abstraction. Haskeller, Computer Scientist. Dances tango, swing and blues. Stand-up comedian and paraglider. 🦣 https://t.co/9Sjz02h8dL
PLRG :: Bristol @PLRG_bristol
123 Followers 125 Following This is the twitter of the Programming Languages Research Group at the University of Bristol. https://t.co/TXmuMW96It
Ernest Ng @ngernest2
503 Followers 3K Following PL/Systems PhD student @Cornell_CS, pipe organist | he/him
Sam Lindley @reifyreflect
639 Followers 277 Following
Ohad Kammar @aleph_kappa
493 Followers 350 Following
Will Hawkins @hawkinsw
1K Followers 3K Following he/him/his. Trying to do the right thing in spite of my obvious limitations.
Department of Condens... @CondMatfyz
9K Followers 37 Following Department 🏬 of @matfyz ⚛️ faculty of @CharlesUniPRG // official profile
Sangeeta Chowdhary @schowdhary02
706 Followers 706 Following Researcher @AMD. Ph.D. @Rutgers. Compilers and Runtimes for accelerators.
web3 is going just gr... @web3isgreat
117K Followers 1 Following tracking only some of the many disasters happening in crypto, defi, NFTs, and other blockchain-based projects since 2021 • created by @molly0xfff
wasabi @wasabi__315
304 Followers 578 Following :: (PhD Student at ScienceTokyo, traP, Haskell, Agda, OCaml)
You might like
Leo Lampropoulos
@LeoLambro
1K Followers
Alejandro Russo
@poke48k
579 Followers
Matti Palli
@tritlo
4K Followers
David Young
@roboguy20
632 Followers
Aaron Eline
@aaroneline
303 Followers
sidhant
@s1db_
322 Followers
