iiinova — where your digital self keeps evolving

Reposted by Joe

Ben Orchard @raehik.bsky.social · 17/09/2026

Thanks Permutive for hosting the first iteration of the revived London Haskell meetups!! #londonhaskell

peepy with some fucked up fish man. sorry dude

073

Joe @doscienceto.it · 08/09/2026

It does; that's why I like it

000

Reposted by Joe

qntm @qntm.org · 03/09/2026

maths

Map of England, "CORNWALL" highlighted red, the rest of England in green marked "RNWALL"

08812

Joe @doscienceto.it · 03/09/2026

Understanding the van Laarhoven representation of Optics was the closest thing I've ever had to a religious experience; which is sad really

050

Joe @doscienceto.it · 03/09/2026

This is, as I believe the kids say, sick-nasty

010

Reposted by Joe

gabby @fullmoon.id · 03/09/2026

For people who are curious, I have a post explaining what is going on in the below Haskell code example and why it works: haskellforall.com/2021/09/opti...

haskellforall.com

Optics are monoids

This post documents my favorite lens trick of all time

2273

Reposted by Joe

Haskell programming language @haskell.org · 01/09/2026

They're transing the devs with new paradigms, call that Haskell Replacement Therapy bsky.app/profile/fast...

29911

Joe @doscienceto.it · 25/08/2026

I heard King Cnut tried this

010

Joe @doscienceto.it · 22/08/2026

Ah yes, the two Surreys

360

Joe @doscienceto.it · 13/08/2026

Yeah, but they did name a tank after him

100

Joe @doscienceto.it · 13/08/2026

I've never really understood what the English attitude to Cromwell is supposed to be

101

Joe @doscienceto.it · 13/08/2026

Posting my Count Binface figurine for luck #UKPol

A tiny figurine of Count Binface, wearing a pink and blue cloak

051

Joe @doscienceto.it · 10/08/2026

I'm going to need someone to PR this into Extension or Imitation doscienceto.it/extension-or...

doscienceto.it

Extension or Imitation?

Can you tell the real Haskell Language Extensions from the Imitations?

030

Joe @doscienceto.it · 07/08/2026

I've often said this

010

Reposted by Joe

Alasdair Beckett-King @misterabk.bsky.social · 07/08/2026

You are correct, and I am very cool.

1141

Joe @doscienceto.it · 07/08/2026

I'm right in thinking that you do your own VFX in your videos? I think that's really cool

150

Joe @doscienceto.it · 05/08/2026

If you want to fuck with people, make it `Clockwise | Widdershins`

120

Joe @doscienceto.it · 05/08/2026

Before looking this up, I would have guessed I'd gone with "Handedness"

210

Joe @doscienceto.it · 05/08/2026

I had to look this up, but apparently I went with "Sense", which in hindsight I think is _fine_ but not _great_ hackage-content.haskell.org/package/wate...

hackage-content.haskell.org

Waterfall.TwoD.Path2D

110

Reposted by Joe

France traversée @clementd.wtf · 03/08/2026

The official Haskell account is a beacon of hope in this godforsaken place.

0131

Joe @doscienceto.it · 03/08/2026

Yesterday, I walked the Bakerloo Line with my sister, and took some photos of the TFL roundels (warning, flashing images)

120

Joe @doscienceto.it · 29/07/2026

On one hand, C++'s C FFI is "not bad" because C is _almost_ a subset of C++ On the other hand, C++'s C FFI is bad, because everything about C++ is bad

010

Joe @doscienceto.it · 29/07/2026

As someone who's relatively familiar with Haskell's C FFI, but not so familiar with Rust's, I'd be interested to hear this expanded on, if you're willing?

270

Joe @doscienceto.it · 29/07/2026

... C++ is heard rustling in the bushes outside

000

Joe @doscienceto.it · 26/07/2026

I might need this one explained to me?

000

Joe @doscienceto.it · 22/07/2026

Personally, I don't understand why it includes ForeignFunctionInterface but not CApiFFI?

200

Joe @doscienceto.it · 16/07/2026

What's your stance on Mushy Peas as a component of a Christmas Dinner?

110

Reposted by Joe

vaibhav sagar @vaibhavsagar.com · 15/07/2026

we are so unprepared as a society for what is coming. i am of course referring to the new pickle emoji (🫝)

092

Joe @doscienceto.it · 13/07/2026

I'm confident we can get Amos into Programmable CAD

150

Reposted by Joe

Haskell programming language @haskell.org · 09/07/2026

"Learn You a Haskell for Great Good" is available as an interactive Sabela notebook on your browser! sabela.datahaskell.com/c/1ea40000 #Haskell

sabela.datahaskell.com

Learn You a Haskell for Great Good!

Curated reactive Haskell notebooks.

0209

Joe @doscienceto.it · 08/07/2026

IIRC @cstross.bsky.social had a bunch of "that" happening in the later "Merchant Princes" books?

000

Joe @doscienceto.it · 08/07/2026

I'm particularly pleased with the way these tree-ornaments look: doscienceto.it/waterpark/?p... #haskell #3dprinting

doscienceto.it

Waterfall-CAD Playground

Interactive Haskell Powered CAD Playground

000

Joe @doscienceto.it · 08/07/2026

Spent some time last night getting the example Waterfall-CAD models on my website to link through to the interactive playground: doscienceto.it/blog/waterfa... #haskell #3dprinting

doscienceto.it

Waterfall CAD - 3D Models

110

Joe @doscienceto.it · 08/07/2026

This only makes sense if you've seen the show

000

Joe @doscienceto.it · 07/07/2026

Thanks! The layout doesn't seem great on Mobile, I should probably have tested that more

110

Joe @doscienceto.it · 07/07/2026

This may or may not be obvious, but you can use the "loadURL" button to open files from Github (or Github Gists, just paste in the "raw" link), and even permalink to them, like so: doscienceto.it/waterpark/?f...

doscienceto.it

Waterfall CAD Playground

020

Joe @doscienceto.it · 07/07/2026

I've been working on a #Haskell powered CAD playground, that runs entirely in the browser on Web Assembly Try it at doscienceto.it/waterpark/

doscienceto.it

Waterfall CAD Playground

2253

Joe @doscienceto.it · 02/07/2026

Is the font "Roboto" called that because of the link to Android? or because it was designed by Christian Robertson?

010

Reposted by Joe

Stuart Frisby @mrfrisby.com · 26/06/2026

So a man who earns enough to be one of top 100 taxpayers in the country via a business handed to him for free paid £12m in tax whilst creaming £100m in handouts from the state. And we're supposed to be lauding him for his transparency and not looting the palaces?! What a deeply unserious country.

141

Reposted by Joe

Flavio 🏴‍☠️ @flaviocorpa.com · 24/06/2026

I recently really enjoyed @mschav.bsky.social's talk at #ZuriHac so I tried to reproduce this chart in Sabela (a Jupyter-notebook-like project for #Haskell) seems like this Mbappé guy is not so bad either! 🤭

094

Reposted by Joe

Alasdair Beckett-King @misterabk.bsky.social · 23/06/2026

Immigration went down, and they didn't even care. Time to continue taking their demands at face value, I guess.

1052174

Reposted by Joe

Alasdair Beckett-King @misterabk.bsky.social · 15/06/2026

Has the government considered how much more cool going on the internet will be for kids when it's a crime?

281595310

Joe @doscienceto.it · 14/06/2026

Ha; I hadn't spotted that

010