Jeremy Gibbons (@jer_gib) 's Twitter Profile
Jeremy Gibbons

@jer_gib

Christian, functional programmer, bass player, increasingly absent-minded prof. Also @[email protected]

ID: 2777974996

linkhttp://www.cs.ox.ac.uk/people/jeremy.gibbons/ calendar_today20-09-2014 16:31:00

4,4K Tweet

2,2K Takipçi

263 Takip Edilen

Lambda Days (@lambdadays) 's Twitter Profile Photo

🎥 A tribute to a legend. Go down memory lane with John Hughes , Simon Thompson , Lennart Augustsson , and Jeremy Gibbons as they remember David Turner—an advocate for functional programming and a kind soul. His impact is immeasurable. #LambdaDays #FP #Miranda youtu.be/ZeEj1icGfVg

Yashar Ali 🐘 (@yashar) 's Twitter Profile Photo

In an extraordinary display of public support, heads of state, heads of government, and foreign ministers from all over Europe and Canada are posting in support of Ukraine in response to the Oval Office meeting with Trump, Zelenskyy, and Vance.

In an extraordinary display of public support, heads of state, heads of government, and foreign ministers from all over Europe and Canada are posting in support of Ukraine in response to the Oval Office meeting with Trump, Zelenskyy, and Vance.
Tomas Petricek (find me on BlueSky) (@tomaspetricek) 's Twitter Profile Photo

Looking forward to the ‹Programming› 2025 keynotes! Keeping with the tradition, we're bringing together thought-provoking ideas from architecture with in-depth technical content. Join us 2-6 June 2025 in Prague & ‹Programming› 2025 Registration: 2025.programming-conference.org

Looking forward to the ‹Programming› 2025 keynotes!

Keeping with the tradition, we're bringing together thought-provoking ideas from architecture with in-depth technical content.

Join us 2-6 June 2025 in Prague &amp; <a href="/programmingconf/">‹Programming› 2025</a>   
Registration: 2025.programming-conference.org
Tomas Petricek (find me on BlueSky) (@tomaspetricek) 's Twitter Profile Photo

Don't miss the early registration deadline for ‹Programming› 2025. Check out the technical papers, awesome keynotes and MoreVMs workshop talks & keynotes to see what you'd be missing! 2025.programming-conference.org

Bodleian Libraries (@bodleianlibs) 's Twitter Profile Photo

1/2 Earlier this year we were thrilled to acquire a previously unknown manuscript which once belonged to Duke Humfrey. One of the many exciting things about this manuscript is that it was illuminated by the mysterious Cholet Master. #MedievalMonday #CholetMaster.

1/2 Earlier this year we were thrilled to acquire a previously unknown manuscript which once belonged to Duke Humfrey. 

One of the many exciting things about this manuscript is that it was illuminated by the mysterious Cholet Master. 

#MedievalMonday #CholetMaster.
Jeremy Gibbons (@jer_gib) 's Twitter Profile Photo

Ichiro Hasuo announces open positions at asst & assoc prof level (but not tenured) at NII in Tokyo. In case there are any refugees out there looking for at least temporary respite... lists.seas.upenn.edu/pipermail/type…

Yaron (Ron) Minsky (@yminsky) 's Twitter Profile Photo

I was recently reminded of this old post, highlighting how broken IEEE NaNs are. Really, ML and its descendents had the right idea here, and everything else is kinda broken. blog.janestreet.com/making-somethi…

Oxford Mathematics (@oxunimaths) 's Twitter Profile Photo

Oxford Mathematician & computer scientist Ursula Martin appointed Dame Commander of the Order of the British Empire (DBE) for services to Science & Education in King's Birthday Honours. Ursula Martin led the first studies of Ada Lovelace's mathematics. maths.ox.ac.uk/node/71878

Oxford Mathematician &amp; computer scientist Ursula Martin appointed Dame Commander of the Order of the British Empire (DBE) for services to Science &amp; Education in King's Birthday Honours.

<a href="/UHMMOxford/">Ursula Martin</a> led the first studies of Ada Lovelace's mathematics.

maths.ox.ac.uk/node/71878