dixonary
@dixonary.co.uk
Assistant Professor of Computer Science at the University of Warwick 🏳🌈 {they,he}
Interests: Functional programming; theoretical computer science; Indie games; Gamedev; TTRPGs; Doctor Who (I made whodle! 📺)
Interests: Functional programming; theoretical computer science; Indie games; Gamedev; TTRPGs; Doctor Who (I made whodle! 📺)
They've even added AI to Microsoft Excel now?!?! 😠😠😠
January 20, 2026 at 8:43 PM
They've even added AI to Microsoft Excel now?!?! 😠😠😠
The best case against Microsoft's CoPilot AI just being a next token predictor:
IT CAN'T EVEN PREDICT THE BLOODY OBVIOUS NEXT TOKEN
IT CAN'T EVEN PREDICT THE BLOODY OBVIOUS NEXT TOKEN
!["[...] this week would be 3:30pm tomorrow"
Copilot suggests that would be followed by "morning".](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:2xdalgy7tcymofqdz3deawol/bafkreidt37pigrilqquryonfgao5xvqzh4cycxxyvl2aejkdjvmfdwbgxe@jpeg)
January 20, 2026 at 12:15 AM
The best case against Microsoft's CoPilot AI just being a next token predictor:
IT CAN'T EVEN PREDICT THE BLOODY OBVIOUS NEXT TOKEN
IT CAN'T EVEN PREDICT THE BLOODY OBVIOUS NEXT TOKEN
Reposted by dixonary
I am sorry 'The Last Supper' fans, 22 hours from now, I will take 'The Last Supper' down. I cannot take this anymore.
October 24, 1510 at 8:23 PM
I am sorry 'The Last Supper' fans, 22 hours from now, I will take 'The Last Supper' down. I cannot take this anymore.
Just found out that a website written in Haskell that I deployed and forgot about over *7 years ago* went down this week, not because it crashed, but because the logs were so long that the server ran out of disk space 🙈
Another tally in the column of "Haskell just works"
Another tally in the column of "Haskell just works"
January 18, 2026 at 10:21 PM
Just found out that a website written in Haskell that I deployed and forgot about over *7 years ago* went down this week, not because it crashed, but because the logs were so long that the server ran out of disk space 🙈
Another tally in the column of "Haskell just works"
Another tally in the column of "Haskell just works"
New type of guy who thinks
January 14, 2026 at 2:21 PM
New type of guy who thinks
Reposted by dixonary
Many months in and I’m an annoyingly big Godot fan. Just a lovely tool, smartly produced and maintained. Excited to see what the next few years hold for it, and happy to be a part of that community. Looking forward to shipping something built with it.
January 11, 2026 at 6:33 PM
Many months in and I’m an annoyingly big Godot fan. Just a lovely tool, smartly produced and maintained. Excited to see what the next few years hold for it, and happy to be a part of that community. Looking forward to shipping something built with it.
Reposted by dixonary
Hmm;;;;;;;;;;;;;
OCaml > Haskell???? change my mind
There's a bit of it. Let's make it more active! Currently there seems to be more PL community activity on mastodon (🤢)
January 5, 2026 at 9:42 PM
Hmm;;;;;;;;;;;;;
Keeping an excel spreadsheet with all the people I've started an email with "Happy new year!" to, so that everybody gets exactly one greeting each
January 5, 2026 at 1:48 PM
Keeping an excel spreadsheet with all the people I've started an email with "Happy new year!" to, so that everybody gets exactly one greeting each
Reposted by dixonary
Do you want to solve a puzzle without being told its rules? Try Scriddle, an (experimental) daily puzzle game where the rules are kept secret. I'll share one here each day this week!
🟡 SCRIDDLE #26
▶️ scriddle.net?d=MDMtMDEtMj...
🔽 source of the original puzzle in reply
🟡 SCRIDDLE #26
▶️ scriddle.net?d=MDMtMDEtMj...
🔽 source of the original puzzle in reply
January 4, 2026 at 2:48 PM
Do you want to solve a puzzle without being told its rules? Try Scriddle, an (experimental) daily puzzle game where the rules are kept secret. I'll share one here each day this week!
🟡 SCRIDDLE #26
▶️ scriddle.net?d=MDMtMDEtMj...
🔽 source of the original puzzle in reply
🟡 SCRIDDLE #26
▶️ scriddle.net?d=MDMtMDEtMj...
🔽 source of the original puzzle in reply
Happy 2012 everybody
Happy 2012 everybody
January 1, 2026 at 11:54 AM
Happy 2012 everybody
Reposted by dixonary
And Schrödinger’s Tiny Tim, who both DID and did NOT die,
December 25, 2025 at 8:44 AM
And Schrödinger’s Tiny Tim, who both DID and did NOT die,
I don't think Anna's Archive is an activist group, unless your definition of activist is "performs any action"
Activist group says it has scraped 86m music files from Spotify
Activist group says it has scraped 86m music files from Spotify
Platform with 700m users worldwide says it is investigating after Anna’s Archive claims to have accessed tracks and metadata
An activist group has claimed to have scraped millions of tracks from Spotify and is preparing to release them online.
Observers said the apparent leak could boost AI companies looking for material to develop their technology. Continue reading...
www.theguardian.com
December 22, 2025 at 6:22 PM
I don't think Anna's Archive is an activist group, unless your definition of activist is "performs any action"
Sounds like a reasonable upper bound on redelivery attempts tbf
Danish postal service to stop delivering letters after 400 years
Danish postal service to stop delivering letters after 400 years
PostNord’s decision to end service on 30 December comes after fear over ‘increasing digitalisation’ of Danish society
www.theguardian.com
December 21, 2025 at 10:34 PM
Sounds like a reasonable upper bound on redelivery attempts tbf
Reposted by dixonary
Rare footage of St Paul’s Cathedral testing its giant flamethrower
December 21, 2025 at 8:37 AM
Rare footage of St Paul’s Cathedral testing its giant flamethrower
If you've got uint8 overflows I feel bad for you son
I've got ninety-nine problems but 257 ain't 1
I've got ninety-nine problems but 257 ain't 1
December 21, 2025 at 12:41 AM
If you've got uint8 overflows I feel bad for you son
I've got ninety-nine problems but 257 ain't 1
I've got ninety-nine problems but 257 ain't 1
Reposted by dixonary
GAME DEVS! TOY BOX JAM starts today!
It's the easiest game jam ever -- I give you all the assets, you make a game in two weeks! Use any game engine!
Plus there's a fun, puzzly mystery to solve for more assets! 700+ Jammers -- COME JAM WITH US!
itch.io/jam/toy-box-...
#gamejam #toyboxjam2025
It's the easiest game jam ever -- I give you all the assets, you make a game in two weeks! Use any game engine!
Plus there's a fun, puzzly mystery to solve for more assets! 700+ Jammers -- COME JAM WITH US!
itch.io/jam/toy-box-...
#gamejam #toyboxjam2025
December 19, 2025 at 10:03 AM
GAME DEVS! TOY BOX JAM starts today!
It's the easiest game jam ever -- I give you all the assets, you make a game in two weeks! Use any game engine!
Plus there's a fun, puzzly mystery to solve for more assets! 700+ Jammers -- COME JAM WITH US!
itch.io/jam/toy-box-...
#gamejam #toyboxjam2025
It's the easiest game jam ever -- I give you all the assets, you make a game in two weeks! Use any game engine!
Plus there's a fun, puzzly mystery to solve for more assets! 700+ Jammers -- COME JAM WITH US!
itch.io/jam/toy-box-...
#gamejam #toyboxjam2025
Sometimes you gotta hand it to em
Largest 'Tetris' game ever was played at the Red Bull Tetris World Final 🕹️
Over 2,800 drones formed the game’s shapes in real time and reacted to players’ moves
Over 2,800 drones formed the game’s shapes in real time and reacted to players’ moves
December 15, 2025 at 2:18 AM
Sometimes you gotta hand it to em
Lemsip is a very soviet word
December 12, 2025 at 10:39 AM
Lemsip is a very soviet word
Day 194105 of begging game writers to learn the word "gaze"
December 11, 2025 at 7:46 PM
Day 194105 of begging game writers to learn the word "gaze"
Wow this image is really crisp
December 11, 2025 at 11:48 AM
Wow this image is really crisp
Phone me up when you're guilty, call it a confession dial
December 11, 2025 at 12:15 AM
Phone me up when you're guilty, call it a confession dial
0x11111 years old today! \o/
December 10, 2025 at 1:27 PM
0x11111 years old today! \o/
Reposted by dixonary
Turns out it didn't have legs
Mark Zuckerberg’s gamble on the ‘Metaverse’ has cost Meta more than $77B
The company now plans to cut spending on it and shift focus to AI wearables instead
(via WSJ)
The company now plans to cut spending on it and shift focus to AI wearables instead
(via WSJ)
December 7, 2025 at 4:24 AM
Turns out it didn't have legs
Can confirm
doctor who is a scam designed to make it hard to organize your video files
December 4, 2025 at 11:04 PM
Can confirm