@noelwelsh.bsky.social
Thanks for some help from @jonoabroad.bsky.social, Doodle now supports tags and attributes in SVG drawings! A few examples here in the documentation:
www.creativescala.org/doodle/svg/t...
www.creativescala.org/doodle/svg/t...
Tagging Pictures
docs
www.creativescala.org
January 19, 2026 at 5:29 PM
Thanks for some help from @jonoabroad.bsky.social, Doodle now supports tags and attributes in SVG drawings! A few examples here in the documentation:
www.creativescala.org/doodle/svg/t...
www.creativescala.org/doodle/svg/t...
Reposted
January 19, 2026 at 4:51 PM
Reposted
COW TOOLS COW TOOLS COW TOOLS
Back-scratching bovine leads scientists to reassess intelligence of cows
Brown Swiss in Austria has been discovered using tools in multiple ways – something only ever seen in humans and chimpanzees
www.theguardian.com
January 19, 2026 at 4:06 PM
COW TOOLS COW TOOLS COW TOOLS
Reposted
Yesterday Evening, I gave a talk about using #Haskell for #3DPrinting at the London #Scala User Group
@londonscala.bsky.social
https://
doscienceto.it/cad-talk-scala/
@londonscala.bsky.social
https://
doscienceto.it/cad-talk-scala/
How I Use Haskell for 3D Printing
doscienceto.it
January 15, 2026 at 1:51 PM
Yesterday Evening, I gave a talk about using #Haskell for #3DPrinting at the London #Scala User Group
@londonscala.bsky.social
https://
doscienceto.it/cad-talk-scala/
@londonscala.bsky.social
https://
doscienceto.it/cad-talk-scala/
Finished the chapter on types in the book! This was a fun one. Got to revisit the @lexi-lambda.bsky.social classic "Parse, don't validate" and waffle a bit about extensional versus intensional view points. This duality comes up surprisingly often! It's the same thing as FP (data) vs OO (codata).
January 7, 2026 at 9:44 AM
Finished the chapter on types in the book! This was a fun one. Got to revisit the @lexi-lambda.bsky.social classic "Parse, don't validate" and waffle a bit about extensional versus intensional view points. This duality comes up surprisingly often! It's the same thing as FP (data) vs OO (codata).
Reposted
Early Christmas present from me if you're reading this and you're a:
- Senior web developer
- In London
- Really into books and libraries
- Looking for work rn
I am excited to inform you that the British Library is hiring a new head of web development
ce0752li.webitrent.c...
- Senior web developer
- In London
- Really into books and libraries
- Looking for work rn
I am excited to inform you that the British Library is hiring a new head of web development
ce0752li.webitrent.c...
December 24, 2025 at 11:31 AM
Early Christmas present from me if you're reading this and you're a:
- Senior web developer
- In London
- Really into books and libraries
- Looking for work rn
I am excited to inform you that the British Library is hiring a new head of web development
ce0752li.webitrent.c...
- Senior web developer
- In London
- Really into books and libraries
- Looking for work rn
I am excited to inform you that the British Library is hiring a new head of web development
ce0752li.webitrent.c...
This is how you nerd!
With what the kids would call "Big Maths Teacher Energy", I've been designing and #3dprinting tree ornaments based on the "Regular Polyhedral Compounds", (designed in #Haskell using Waterfall-CAD)
www.doscienceto.it/blog/waterfa...
www.doscienceto.it/blog/waterfa...
December 17, 2025 at 4:53 PM
This is how you nerd!
@kubukoz.mstdn.party.ap.brid.gy made this very nice video about the web framework I've been working on in my spare time:
youtu.be/lY88Z1JnUpI
You should check it out! (The framework itself is at www.creativescala.org/krop/)
youtu.be/lY88Z1JnUpI
You should check it out! (The framework itself is at www.creativescala.org/krop/)
Make delightful web apps with Scala and Krop!
YouTube video by Jakub Kozłowski
youtu.be
December 16, 2025 at 4:01 PM
@kubukoz.mstdn.party.ap.brid.gy made this very nice video about the web framework I've been working on in my spare time:
youtu.be/lY88Z1JnUpI
You should check it out! (The framework itself is at www.creativescala.org/krop/)
youtu.be/lY88Z1JnUpI
You should check it out! (The framework itself is at www.creativescala.org/krop/)
Reposted
🧪 Streaming can feel intimidating until you see it broken down clearly. This talk takes a deep dive into fs2 with a focus on real usage.
Here’s "Taking the plunge: a deep dive into streaming with fs2" by Zainab Ali
Here’s "Taking the plunge: a deep dive into streaming with fs2" by Zainab Ali
Zainab Ali: Taking the plunge - a deep dive into streaming with fs2 [Scala Days 2025]
We often think of streaming as a niche concern: something that occurs in large scale data-intensive systems, or event driven architectures. But streams are a lot more versatile than you might suspect. In fact, they form the cornerstone of almost every useful Scala application.
In this talk, we’ll n
www.youtube.com
December 16, 2025 at 3:00 PM
🧪 Streaming can feel intimidating until you see it broken down clearly. This talk takes a deep dive into fs2 with a focus on real usage.
Here’s "Taking the plunge: a deep dive into streaming with fs2" by Zainab Ali
Here’s "Taking the plunge: a deep dive into streaming with fs2" by Zainab Ali
Reposted
The festive season is upon us and we have something special... a Christmas social event on Dec 12th (Fri) at the Science Museum!! 🎄
Come for some drinks (free entry, sign up required) or Power Up and enjoy a night of fun retro games 🎮🤖 (£20).
Details below 🧵
Come for some drinks (free entry, sign up required) or Power Up and enjoy a night of fun retro games 🎮🤖 (£20).
Details below 🧵
Christmas Social at the Science Museum, Fri, 12 Dec 2025, 6:00 pm | Meetup
We're going to the Science Museum for a 🎄 Christmas social! 🎄
The Science Museum is [opening late](https://www.sciencemuseum.org.uk/see-and-do/power-evening-session) on
www.meetup.com
November 30, 2025 at 8:50 PM
The festive season is upon us and we have something special... a Christmas social event on Dec 12th (Fri) at the Science Museum!! 🎄
Come for some drinks (free entry, sign up required) or Power Up and enjoy a night of fun retro games 🎮🤖 (£20).
Details below 🧵
Come for some drinks (free entry, sign up required) or Power Up and enjoy a night of fun retro games 🎮🤖 (£20).
Details below 🧵
The more complicated types become, the more value there is in writing them down. The more complicated types become, the less I want to write them down. Such is the duality of programming.
December 4, 2025 at 9:14 AM
The more complicated types become, the more value there is in writing them down. The more complicated types become, the less I want to write them down. Such is the duality of programming.
Reposted
“The Software Paper fills a gap for the computational and digital humanities communities...” Thank you to research software engineer extraordinaire @suttonkoeser.bsky.social for leading this initiative for Computational Humanities Research journal. Please share!
Introducing the 'Software Paper': New ways to publish on research software in Computational Humanities Research
When Lauren Tilton first approached me about joining the Computational Humanities Research (CHR) journal’s Editorial Board as an Associate Editor, the thing that made the invitation so compelling and ...
www.cambridge.org
November 26, 2025 at 2:04 PM
“The Software Paper fills a gap for the computational and digital humanities communities...” Thank you to research software engineer extraordinaire @suttonkoeser.bsky.social for leading this initiative for Computational Humanities Research journal. Please share!
This is in collaboration with @scalabridgelondon.bsky.social . If you're in London and Scala / FP inclined it would be great to see you there!
The festive season is upon us and we have something special... a Christmas social event on Dec 12th (Fri) at the Science Museum!! 🎄
Come for some drinks (free entry, sign up required) or Power Up and enjoy a night of fun retro games 🎮🤖 (£20).
Details below 🧵
Come for some drinks (free entry, sign up required) or Power Up and enjoy a night of fun retro games 🎮🤖 (£20).
Details below 🧵
Christmas Social at the Science Museum, Fri, 12 Dec 2025, 6:00 pm | Meetup
We're going to the Science Museum for a 🎄 Christmas social! 🎄
The Science Museum is [opening late](https://www.sciencemuseum.org.uk/see-and-do/power-evening-session) on
www.meetup.com
December 1, 2025 at 3:05 PM
This is in collaboration with @scalabridgelondon.bsky.social . If you're in London and Scala / FP inclined it would be great to see you there!
Reposted
The French just keep raising the heist bar.
Thieves take €90,000 of snails meant for Michelin-starred restaurants
“It’s very surprising because they stole 450 kilos of snail meat.”
“It’s very surprising because they stole 450 kilos of snail meat.”
Thieves take €90,000 of snails meant for Michelin-starred restaurants
French police are on the trail of ‘experienced’ criminals who stole a whole year’s worth of produce from Jean-Mathieu Dauvergne’s L’Escargot des Grands Crus
stzl.ink
November 28, 2025 at 4:44 AM
The French just keep raising the heist bar.
This "Tiger Style" coding philosophy reminds me of 1990s / early 2000s era Code Complete advice:
tigerstyle.dev
For example: the only discussion of types is "use explicitly sized types" but then we have a big section on implementing an ad-hoc runtime "type" / contract system using assertions.
tigerstyle.dev
For example: the only discussion of types is "use explicitly sized types" but then we have a big section on implementing an ad-hoc runtime "type" / contract system using assertions.
Tiger Style
A coding philosophy focused on safety, performance, and developer experience.
tigerstyle.dev
November 28, 2025 at 11:42 AM
This "Tiger Style" coding philosophy reminds me of 1990s / early 2000s era Code Complete advice:
tigerstyle.dev
For example: the only discussion of types is "use explicitly sized types" but then we have a big section on implementing an ad-hoc runtime "type" / contract system using assertions.
tigerstyle.dev
For example: the only discussion of types is "use explicitly sized types" but then we have a big section on implementing an ad-hoc runtime "type" / contract system using assertions.
We love to visit our local French fry restaurant. The maitre d' is always happy to suggest the best sauce to complement the season's potatoes. The chef, however, is very passionate about food and has been known to leave the kitchen to shout at customers who ask for their fries "well done".
new favourite New York Times term for a British thing just dropped
November 26, 2025 at 11:54 AM
We love to visit our local French fry restaurant. The maitre d' is always happy to suggest the best sauce to complement the season's potatoes. The chef, however, is very passionate about food and has been known to leave the kitchen to shout at customers who ask for their fries "well done".
Thoughts on the Cloudflare incident [1] from a PL perspective.
Some file had an implicit limit of 200 lines. If this could be typed checked that would be great. Types are cheap and prevent all instances of a problem.
[1]: blog.cloudflare.com/18-november-...
Some file had an implicit limit of 200 lines. If this could be typed checked that would be great. Types are cheap and prevent all instances of a problem.
[1]: blog.cloudflare.com/18-november-...
Cloudflare outage on November 18, 2025
Cloudflare suffered a service outage on November 18, 2025. The outage was triggered by a bug in generation logic for a Bot Management feature file causing many Cloudflare services to be affected.
blog.cloudflare.com
November 19, 2025 at 12:08 PM
Thoughts on the Cloudflare incident [1] from a PL perspective.
Some file had an implicit limit of 200 lines. If this could be typed checked that would be great. Types are cheap and prevent all instances of a problem.
[1]: blog.cloudflare.com/18-november-...
Some file had an implicit limit of 200 lines. If this could be typed checked that would be great. Types are cheap and prevent all instances of a problem.
[1]: blog.cloudflare.com/18-november-...
XML as syntax for a programming language was a bad idea in Ant back in the early 2000s, and it's still a bad idea in the CSL I'm working on now.
(Same thing applies to YAML, modulo changing the years.)
(Same thing applies to YAML, modulo changing the years.)
November 19, 2025 at 10:51 AM
XML as syntax for a programming language was a bad idea in Ant back in the early 2000s, and it's still a bad idea in the CSL I'm working on now.
(Same thing applies to YAML, modulo changing the years.)
(Same thing applies to YAML, modulo changing the years.)
After fixing up a bunch of citations (DBLP saved me with the ACM being unusable due to the Cloudflare incident) I think I can make the Typst version of Functional Programming Strategies live, replacing the older Latex version. I'll never use Latex again if I can help it. Another win for FP! 😆
November 18, 2025 at 2:17 PM
After fixing up a bunch of citations (DBLP saved me with the ACM being unusable due to the Cloudflare incident) I think I can make the Typst version of Functional Programming Strategies live, replacing the older Latex version. I'll never use Latex again if I can help it. Another win for FP! 😆
Reworking some of the bibliographical notes in Functional Programming Strategies, and I discovered that regular expression derivatives are behind the current .NET regex engine, and a best-in-class Rust engine!
E.g. dl.acm.org/doi/pdf/10.1...
It's nice when theory matches up with practice. 😁
E.g. dl.acm.org/doi/pdf/10.1...
It's nice when theory matches up with practice. 😁
dl.acm.org
November 18, 2025 at 1:14 PM
Reworking some of the bibliographical notes in Functional Programming Strategies, and I discovered that regular expression derivatives are behind the current .NET regex engine, and a best-in-class Rust engine!
E.g. dl.acm.org/doi/pdf/10.1...
It's nice when theory matches up with practice. 😁
E.g. dl.acm.org/doi/pdf/10.1...
It's nice when theory matches up with practice. 😁
Judging by the errors I'm seeing across the Internet, can we now say CloudFlare is the new AWS?
November 18, 2025 at 12:51 PM
Judging by the errors I'm seeing across the Internet, can we now say CloudFlare is the new AWS?
Reposted
Our next #Scala #OpenSource Hack Night on Nov 19th (Wed) will be held at Medidata, starting at 6pm!
Come and enjoy a night of fun hacking & learning!
Sign up here: 🌟
www.meetup.com/london-scala...
Come and enjoy a night of fun hacking & learning!
Sign up here: 🌟
www.meetup.com/london-scala...
Scala Open Source Hack Night @ Medidata!, Wed, Nov 19, 2025, 6:00 PM | Meetup
Calling all Scala enthusiasts! Join us for a fun night of hacking, collaborating, and contributing to open-source projects. Whether you’re a seasoned Scala developer or jus
www.meetup.com
November 16, 2025 at 11:24 AM
Our next #Scala #OpenSource Hack Night on Nov 19th (Wed) will be held at Medidata, starting at 6pm!
Come and enjoy a night of fun hacking & learning!
Sign up here: 🌟
www.meetup.com/london-scala...
Come and enjoy a night of fun hacking & learning!
Sign up here: 🌟
www.meetup.com/london-scala...
Finished updating the applicatives chapter in Functional Programming Strategies[1], meaning one chapter left to complete the migration from Latex to Typst[2]. Only a few chapters of content to go before the book is complete!
[1]: scalawithcats.com
[2]: Complete enough to publish a draft.
[1]: scalawithcats.com
[2]: Complete enough to publish a draft.
Functional Programming Strategies in Scala with Cats
scalawithcats.com
November 14, 2025 at 2:45 PM
Finished updating the applicatives chapter in Functional Programming Strategies[1], meaning one chapter left to complete the migration from Latex to Typst[2]. Only a few chapters of content to go before the book is complete!
[1]: scalawithcats.com
[2]: Complete enough to publish a draft.
[1]: scalawithcats.com
[2]: Complete enough to publish a draft.
Struth! As if it wasn't hard enough dodging the venomous snakes, the venomous spiders, the venomous fish, the venomous octopi, the Great Whites, and the drop bears, ancient Aussies also had to dodge drop crocs! www.bbc.co.uk/news/article...
Evidence of ancient tree-climbing 'drop crocs' found in Australia
Scientists say the crocodiles hunted like leopards by climbing trees and killing prey below.
www.bbc.co.uk
November 12, 2025 at 6:59 PM
Struth! As if it wasn't hard enough dodging the venomous snakes, the venomous spiders, the venomous fish, the venomous octopi, the Great Whites, and the drop bears, ancient Aussies also had to dodge drop crocs! www.bbc.co.uk/news/article...