@patrikja.bsky.social
Prof. of Computer Science @ Chalmers | Haskell + Agda | From DSLs & parametricity to climate policy modeling | Bridging big ideas with formal details.
Reposted
Excited to have a layover in Istanbul—my first visit. Have a great sense of the city map in my head. Minor detail: it's from ~500CE, hope not much has changed. Like, how's the chariot traffic these days between the Forum of Theodosius and the Boukoleon?
October 9, 2025 at 7:08 PM
Excited to have a layover in Istanbul—my first visit. Have a great sense of the city map in my head. Minor detail: it's from ~500CE, hope not much has changed. Like, how's the chariot traffic these days between the Forum of Theodosius and the Boukoleon?
Reposted
Okay, today is physics #NobelPrize day, so there's just enough time for another instalment of...
PHYSICS NOBEL PRIZES YOU’VE NEVER HEARD OF – PART 2
In 1912, a Swedish inventor called Gustaf Dalén beat Albert Einstein and Max Planck (inter alia) to the biggest prize in physics. How? Well...🧵🧪⚛️
PHYSICS NOBEL PRIZES YOU’VE NEVER HEARD OF – PART 2
In 1912, a Swedish inventor called Gustaf Dalén beat Albert Einstein and Max Planck (inter alia) to the biggest prize in physics. How? Well...🧵🧪⚛️
October 7, 2025 at 8:22 AM
Okay, today is physics #NobelPrize day, so there's just enough time for another instalment of...
PHYSICS NOBEL PRIZES YOU’VE NEVER HEARD OF – PART 2
In 1912, a Swedish inventor called Gustaf Dalén beat Albert Einstein and Max Planck (inter alia) to the biggest prize in physics. How? Well...🧵🧪⚛️
PHYSICS NOBEL PRIZES YOU’VE NEVER HEARD OF – PART 2
In 1912, a Swedish inventor called Gustaf Dalén beat Albert Einstein and Max Planck (inter alia) to the biggest prize in physics. How? Well...🧵🧪⚛️
Reposted
At the Zuri store to pick up a new dress and spotted this one called "Geared Up" in the window, which I think would be perfect for engineers, scientists, professors, and any aspiring Miss Frizzle. www.shopzuri.com/products/gea...
October 2, 2025 at 9:48 PM
At the Zuri store to pick up a new dress and spotted this one called "Geared Up" in the window, which I think would be perfect for engineers, scientists, professors, and any aspiring Miss Frizzle. www.shopzuri.com/products/gea...
Reposted
After a long summer break, we're finally back for a new episode of the #Haskell #Unfolder: Edsko and I are going to talk about safe coercions, newtype vs data, roles and more ... Today, 2025-10-01, 1830 UTC on YouTube: www.youtube.com/watch?v=NC0w...
Safe coercions (Haskell Unfolder #48)
YouTube video by Well-Typed
www.youtube.com
October 1, 2025 at 8:48 AM
After a long summer break, we're finally back for a new episode of the #Haskell #Unfolder: Edsko and I are going to talk about safe coercions, newtype vs data, roles and more ... Today, 2025-10-01, 1830 UTC on YouTube: www.youtube.com/watch?v=NC0w...
Reposted
I've just attended this workshop in honour of Peter Dybjer retirement:
https://www.chalmers.se/en/current/calendar/cse-workshop-in-honor-of-prof-peter-dybjer/
It was really nice, with lots of research friends attending, and rather well planned by Ana Bove.
Flying back home tomorrow.
https://www.chalmers.se/en/current/calendar/cse-workshop-in-honor-of-prof-peter-dybjer/
It was really nice, with lots of research friends attending, and rather well planned by Ana Bove.
Flying back home tomorrow.
Workshop in Honor of Peter Dybjer
www.chalmers.se
October 1, 2025 at 9:28 PM
I've just attended this workshop in honour of Peter Dybjer retirement:
https://www.chalmers.se/en/current/calendar/cse-workshop-in-honor-of-prof-peter-dybjer/
It was really nice, with lots of research friends attending, and rather well planned by Ana Bove.
Flying back home tomorrow.
https://www.chalmers.se/en/current/calendar/cse-workshop-in-honor-of-prof-peter-dybjer/
It was really nice, with lots of research friends attending, and rather well planned by Ana Bove.
Flying back home tomorrow.
Reposted
OOPSLA 2026 deadline is just a week away! Can you please help us get the word out by sharing? Thanks!
2026.splashcon.org/track/oopsla...
2026.splashcon.org/track/oopsla...
SPLASH 2026 - OOPSLA - SPLASH 2026
Welcome to the website of the SPLASH 2026 conference. We are working hard to fill the website with all related information. Please check back soon!
In the meantime, please consider this overview of th...
2026.splashcon.org
October 2, 2025 at 1:16 PM
OOPSLA 2026 deadline is just a week away! Can you please help us get the word out by sharing? Thanks!
2026.splashcon.org/track/oopsla...
2026.splashcon.org/track/oopsla...
New here 👋 I’m Patrik Jansson, Prof. of Computer Science at Chalmers.
Research: #Haskell, #Agda, DSLs, parametricity, parsing, polytypic programming — and applying functional programming to climate impact research.
Blog: patrikja.owlstown.net
Mastodon: @[email protected]
Research: #Haskell, #Agda, DSLs, parametricity, parsing, polytypic programming — and applying functional programming to climate impact research.
Blog: patrikja.owlstown.net
Mastodon: @[email protected]
Patrik Jansson
Patrik Jansson (PhD, Chalmers 2000), Professor of Computer Science since 2011 at Chalmers U. of Tech. and Gothenburg U. in Sweden. His main research areas ar...
patrikja.owlstown.net
October 2, 2025 at 11:39 AM
New here 👋 I’m Patrik Jansson, Prof. of Computer Science at Chalmers.
Research: #Haskell, #Agda, DSLs, parametricity, parsing, polytypic programming — and applying functional programming to climate impact research.
Blog: patrikja.owlstown.net
Mastodon: @[email protected]
Research: #Haskell, #Agda, DSLs, parametricity, parsing, polytypic programming — and applying functional programming to climate impact research.
Blog: patrikja.owlstown.net
Mastodon: @[email protected]