🔥The 9th Round of Easy Loan, Earn $40 Reward is in progress❗️ ⏰ Promotion Period: January 15th - Feburary 15th, 2025 👉 Register now and check more details at gate.io/campaigns/358

ドラマに夢中になりました 🎵 最終回が楽しみすぎます 🤩

Today we're publishing a detailed technical writeup of FORCEDENTRY, the zero-click iMessage exploit linked by Citizen Lab to the exploitation of journalists, activists and dissidents around the world. googleprojectzero.blogspot.com/2021/12/a-deep…

Are free monads like free speech, free candy, or both? 🧐 To find out the answer, read our latest blog article: serokell.io/blog/introduct…

Congratulations to Prof. Dongarra! I feel honored to have met him at the ASC student supercomputer challenge.

I’ve just finished the two-week fruitful study tour at OPLSS, which is also my first journey to the US. I highly recommend anyone interested in programming languages to attend OPLSS in next years!

So excited that our paper “Compositional Embeddings of Domain-Specific Languages” is accepted to OOPSLA’22! Our artifact is available at plground.org. Thanks to research intern Utkarsh Dhandhania and my advisor Bruno Oliveira!

If there are chances in the future, I’ll definitely choose Air New Zealand again: free inflight Wi-Fi and the cozy Skycouch™ (though the length is more suitable for a hobbit to sleep)

Amber code is cancelled just after banning me from restaurants for the whole three days... Now I only hope the current ‘5+3’ quarantine rule in China can be eased as soon as possible.

Did you know that Standard Chartered has over 6 million lines of code written in their own dialect of Haskell? 🤯 In our latest article, we interview José Pedro Magalhães about Haskell at Standard Chartered and the benefits of Haskell in banking. Read on our blog: serokell.io/blog/haskell-i…

I’m honored to start my internship today with Hongbo Zhang in IDEA, Shenzhen. From the office I can even see Hong Kong (rural area).

I'm excited to announce a new "prefaculty" position working with the type systems team at Jane Street on the OCaml compiler! Please retweet! janestreet.com/join-jane-stre…

Finished my very first trip to Europe, or more specifically, Italy and the two microstates enclaved by Italy, San Marino and Vatican City. I spent one week in Bertinoro attending PLISS’23 and one more week for tourism; both are amazing! The picture is the Alps through a porthole.

It was great visiting Bruno Oliveira's HKU PL Group yesterday! Also a nice opportunity for our students to interact cse.hkust.edu.hk/~parreaux/even…

I’m super happy to share that I won the first prize and audience awards in the student research competition at APLAS 2024. This is the first APLAS physically in Asia after COVID-19. Thanks to the conference organizers who made the wonderful conference possible!

Happy Year of the Dragon!

Had a great time meeting Youyou Cong, Max ⌈, pca006132, and ƒosfor during FLOPS’24 in Kumamoto last week! Also had a happy tour to Aso and Fukuoka with Luyu Cheng @HKUST and slanterns!

Yaozhu Sun presenting Imperative Compositional Programming: Type Sound Distributive Intersection Subtyping with References via Bidirectional Typing

Serokell's GHC team published a task breakdown for Dependent Types in Haskell, covering both planned changes and the recent history of related work (2018–2024). Check it out: ghc.serokell.io/dh

Finally I defended my PhD thesis today! My sincere gratitude is due to my supervisor Bruno Oliveira! Also thanks my labmates for the past five years!

I’m very honored to have joined the National Institute of Informatics since last week, working with Taro Sekiyama on typing-related topics including algebraic effects. NII is so centrally located that I can see the roof of Nippon Budokan!