Dominic Orchard
@dorchardComputer science academic at University of Kent (@UniKentComp) & co-director of the Institute of Computing for Climate Science @Cambridge_ICCS (@Cambridge_Uni)
Similar User
@icfp_conference
@HerrDreyer
@haskellhutt
@jeremysiek
@rg9119
@aleph_kappa
@kosmikus
@jer_gib
@Augustsson
@lambdabetaeta
@reifyreflect
@schrijvers_tom
@SystemFOmega
@danghica
@andreymokhov
You can find me over at the other place now bsky.app/profile/dorcha…
Could interactive proof assistants for PLT be more interactive? If you are at #splash2024 @splashcon, join my PhD student Jan at #hatra (11:00, Pacific B) and tell us what you think! Abstract: arxiv.org/abs/2409.13872
I made special mention of thanks to @dorchard and @Augustsson who both helped me a lot with dependently-typed programming in Haskell and with Lennart's wonderful orthotope library for multidimensional arrays inspired by APL. hackage.haskell.org/package/orthot…
Our Summer School recordings are now Live! Videos from our lectures and educational sessions can be found on our YouTube youtube.com/watch?v=56DPV_…
Britain is about to switch off its last coal power station. MyGridGB has been tracking coal use for 10 years now. From supplying 40% of our electricity when I started my PhD to today… it’s been quite the journey. So, bye bye King Coal. It’s time for renewables now
ECOOP 2024 is in full swing in Vienna. Check out the awesome set of papers selected by the amazing 2024 PC, co-chaired with @guidosalva ! Published Diamond Open Access: drops.dagstuhl.de/entities/docum…
Hi! I am looking for job opportunities around programming languages and their tooling, as I just submitted my PhD thesis on optimizing dynamic languages. Please get in touch if you know of a position or if you are hiring! More about me @ sophie-kaleba.github.io
Anyone at @icfp_conference looking for a postdoc in the UK, I am hiring for two positions, one on PL for climate modelling (youtube.com/watch?v=dJ6I2N…, jobs.kent.ac.uk/Vacancy.aspx?r…) and a 1-year position on graded types for probabilistic programming (soon announced). Come talk to me!
Interested in doing a postdoc with me on programming languages, tools, and systems for climate science at the University of Kent? See this video for more info, context, and ideas. Closes Sept 9th 2024 (details here jobs.kent.ac.uk/Vacancy.aspx?r……) youtu.be/dJ6I2NO_VeU
The latest episode of the Interlude is out! Listen to @dorchard as he tells us all about Granule and collaborating with scientists to improve the languages they work with. haskell.foundation/podcast/54/
United States Trends
- 1. Tyson 533 B posts
- 2. Karoline Leavitt 17,9 B posts
- 3. #wompwomp 6.967 posts
- 4. Syracuse 22,4 B posts
- 5. Paige 7.893 posts
- 6. Pence 62,2 B posts
- 7. Kiyan 26,8 B posts
- 8. Kash 108 B posts
- 9. The FBI 274 B posts
- 10. Debbie 35,9 B posts
- 11. Jarry N/A
- 12. Whoopi 118 B posts
- 13. #LetsBONK 16,7 B posts
- 14. #TOKKIVSWORLD 1.848 posts
- 15. Dora 24,8 B posts
- 16. Villanova 1.857 posts
- 17. White House Press Secretary 21,8 B posts
- 18. Ace Bailey N/A
- 19. Kyle Neptune N/A
- 20. Bucks County 98,8 B posts
Who to follow
-
ICFP Conference
@icfp_conference -
Derek Dreyer
@HerrDreyer -
Graham Hutton
@haskellhutt -
Jeremy Siek
@jeremysiek -
Ron Garcia
@rg9119 -
Ohad Kammar
@aleph_kappa -
Andres Löh
@kosmikus -
Jeremy Gibbons
@jer_gib -
Lennart Augustsson
@Augustsson -
Alex Kavvos
@lambdabetaeta -
Sam Lindley
@reifyreflect -
Tom Schrijvers
@schrijvers_tom -
Nick Benton
@SystemFOmega -
〚Dan R. Ghica〛
@danghica -
Andrey Mokhov
@andreymokhov
Something went wrong.
Something went wrong.