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?
09.10.2025 19:08 — 👍 19 🔁 2 💬 3 📌 0
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...🧵🧪⚛️
07.10.2025 08:22 — 👍 57 🔁 23 💬 2 📌 3
Zuri store window in NYC with a dress featuring different sized gears.
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...
02.10.2025 21:48 — 👍 235 🔁 28 💬 16 📌 4
YouTube video by Well-Typed
Safe coercions (Haskell Unfolder #48)
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...
01.10.2025 08:48 — 👍 6 🔁 2 💬 0 📌 0
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...
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: @patrikja@functional.cafe
02.10.2025 11:39 — 👍 1 🔁 0 💬 0 📌 0
Professor of Software technology for learning and teaching, Utrecht University
Functional programmer, community builder, professor of CS, emerita, keen to get more women into CS and tech, lecturer, photographer, baker, table tennis player
Partner and Haskell Consultant at Well-Typed LLP. Board member of the Haskell Foundation. Co-host of the Haskell Interlude and the Haskell Unfolder.
Posts mostly about Haskell, and occasionally about books, video games, and other things that interest me.
Brown Computer Science / Brown University || BootstrapWorld || Pyret || Racket
I'm unreasonably fascinated by, delighted by, and excited about #compsci #education #cycling #cricket and the general human experience.
Disclaimer: My opinions are not my own. They're beamed to me by aliens.
host/producer of Not Brahms and Liszt on WMBR Cambridge ● research professor at Boston University Computer Science
On Mastodon as @fullyabstract@fosstodon.org
Follow me via @ap.brid.gy as @fullyabstract.fosstodon.org.ap.brid.gy
Compiler engineer moonlighting as a type theorist. Member of the Agda team.
Once Jesper Cockx but now running Agda instead. Assistant professor @DelftPL@AkademieNL.social. I've taken the 🔸10% Pledge (#2542) to donate to effective […]
[bridged from https://agda.club/users/jesper on the fediverse by https://fed.brid.gy/ ]
official Bluesky account (check username👆)
Bugs, feature requests, feedback: support@bsky.app
