teo's Avatar

teo

@doublenegation.bsky.social

writes Haskell mostly | loves public transport | studied philosophy | 🏴 | mid 20s | they/them

82 Followers  |  270 Following  |  15 Posts  |  Joined: 13.12.2023
Posts Following

Posts by teo (@doublenegation.bsky.social)

The Colonization of Confidence., Sightless Scribbles A fabulously gay blind author.

just had a very cathartic cry reading this

sightlessscribbles.com/posts/the-co...

02.03.2026 20:32 β€” πŸ‘ 18    πŸ” 9    πŸ’¬ 0    πŸ“Œ 2
An incredibly lifelike illustration of Paddington Bear, official psychopomp to the British royal family, gently escorting a man in top hat and tails (carrying a Puzza Express takeout) to Belmarsh

An incredibly lifelike illustration of Paddington Bear, official psychopomp to the British royal family, gently escorting a man in top hat and tails (carrying a Puzza Express takeout) to Belmarsh

Ok I have far too much to do today to spend more than 2 minutes on this but here’s my political cartoon of the day, please enjoy

19.02.2026 10:31 β€” πŸ‘ 1272    πŸ” 390    πŸ’¬ 24    πŸ“Œ 15

β€œIf we don't start naming the rot, we will soon forget what substance even looks like”

16.02.2026 16:05 β€” πŸ‘ 1    πŸ” 1    πŸ’¬ 0    πŸ“Œ 0
Opinion
Ignore the smears: I never fell off my horse. And I'm heading back to TΓ­r na nΓ³g forthwith.
Oisin

(Photoshop of Wes Streeting’s Guardian piece)

Opinion Ignore the smears: I never fell off my horse. And I'm heading back to TΓ­r na nΓ³g forthwith. Oisin (Photoshop of Wes Streeting’s Guardian piece)

10.02.2026 20:49 β€” πŸ‘ 298    πŸ” 65    πŸ’¬ 5    πŸ“Œ 1

"Rage, rage against the dying of the light" okay you expect me to perform emotional labor when the lights are out and I am getting so sleepy even?

11.02.2026 06:32 β€” πŸ‘ 47    πŸ” 5    πŸ’¬ 0    πŸ“Œ 0
Post image

This might be the first hot take on how technology tells us how to live our lives, destroying our ability to make human decisions.

The technology in question is the sundial.

From a 3rd century BCE Roman adaptation of a Greek play, as discussed in Kerr’s β€œThe Ordered Day”

(It isn't wrong, though)

10.02.2026 17:00 β€” πŸ‘ 129    πŸ” 24    πŸ’¬ 8    πŸ“Œ 0
Video thumbnail

Biggest commitment to a 3 second joke I've ever seen

09.04.2025 06:33 β€” πŸ‘ 91090    πŸ” 28410    πŸ’¬ 885    πŸ“Œ 1329
Post image Post image Post image

Watching THE GREEN KNIGHT again

22.04.2024 19:43 β€” πŸ‘ 3646    πŸ” 1419    πŸ’¬ 15    πŸ“Œ 43

the Gay Haskell Compiler

25.12.2025 01:30 β€” πŸ‘ 41    πŸ” 6    πŸ’¬ 3    πŸ“Œ 0

I’m a single issue voter and my issue is that those busses that bend in the middle should make accordion noises

11.12.2025 19:57 β€” πŸ‘ 3914    πŸ” 770    πŸ’¬ 39    πŸ“Œ 20
Post image Post image

POV you won't let your autism stop you from bringing people together.

09.12.2025 22:56 β€” πŸ‘ 34    πŸ” 8    πŸ’¬ 0    πŸ“Œ 0

This feels like another example of the dynamic where AI is able to do this because we have already spent years getting ourselves used to wading through human generated 'slop' - unrigorous, low-quality, formulaic, largely unaccountable content (see also: memes, workplace emails, journalism).

26.11.2025 12:37 β€” πŸ‘ 7    πŸ” 1    πŸ’¬ 1    πŸ“Œ 0

I’m just, you know, a philosopher, but it seems obvious that intelligence is social and relational and the AI bros are deeply invested in it being private property that can be owned, so they will always always miss the mark.

03.11.2025 12:55 β€” πŸ‘ 49    πŸ” 13    πŸ’¬ 0    πŸ“Œ 1
Preview
The official home of the Python Programming Language

TLDR; The PSF has made the decision to put our community and our shared diversity, equity, and inclusion values ahead of seeking $1.5M in new revenue. Please read and share. pyfound.blogspot.com/2025/10/NSF-...
🧡

27.10.2025 14:47 β€” πŸ‘ 6418    πŸ” 2756    πŸ’¬ 125    πŸ“Œ 452

The original sin of UX "user satisfaction is the only measure" not "user actually achieves goals that are meaningful to them and the world" coming home in a lotta ways and it's trapped developer experience too

24.10.2025 15:35 β€” πŸ‘ 39    πŸ” 7    πŸ’¬ 3    πŸ“Œ 0

this happens to me so often!

22.10.2025 12:52 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
A picture of a foggy street

A picture of a foggy street

Edinburgh castle failing to render, likely thanks to the AWS outage

20.10.2025 08:35 β€” πŸ‘ 9165    πŸ” 1394    πŸ’¬ 85    πŸ“Œ 44

The twos times tables are the easiest, you just add a zero

10.10.2025 19:30 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
Post image

you heard about dark woke

now get ready for

05.10.2025 08:17 β€” πŸ‘ 231    πŸ” 63    πŸ’¬ 3    πŸ“Œ 4

ME, IN TEARS: you can't just say every single part of a computer system is a file

UNIX, POINTING AT THE MOUSE: file

07.09.2025 11:01 β€” πŸ‘ 2348    πŸ” 518    πŸ’¬ 39    πŸ“Œ 16
Why should I write better when a machine can do it for me?
Because actually no one can do it for you, because your voice is unique among all the people on earth. Siri never petted a horse's neck. Alexa has never been ghosted by the captain of the football team. But you have lived, your heart is beating, you have suffered, and you have something important to say. It's a human's job, to use words, and whatever job you give to a machine, that part of your brain goes dark. Maybe it's worth it when it comes to remembering phone numbers and directions, but when that part of your brain that uses words goes dark, that's a vast area that's very close to your soul. Don't let some internet platform convince you that what you have to say and create isn't worthwhile. Words are the echo of your soul. Honing that echo matters.

Why should I write better when a machine can do it for me? Because actually no one can do it for you, because your voice is unique among all the people on earth. Siri never petted a horse's neck. Alexa has never been ghosted by the captain of the football team. But you have lived, your heart is beating, you have suffered, and you have something important to say. It's a human's job, to use words, and whatever job you give to a machine, that part of your brain goes dark. Maybe it's worth it when it comes to remembering phone numbers and directions, but when that part of your brain that uses words goes dark, that's a vast area that's very close to your soul. Don't let some internet platform convince you that what you have to say and create isn't worthwhile. Words are the echo of your soul. Honing that echo matters.

this iconic advertising copywriter named Kathy Hepinstall Parks died over the weekend and I wanted to share something from her website I thought Bluesky would like

22.08.2025 14:20 β€” πŸ‘ 19237    πŸ” 8754    πŸ’¬ 36    πŸ“Œ 356

every β€œancient tradition” was invented between 1848-1870 and every β€œmodern perversion” is so ancient as to predate writing

15.08.2025 17:34 β€” πŸ‘ 11312    πŸ” 4317    πŸ’¬ 70    πŸ“Œ 105

Patient, sobbing: But Doctor, I AM Pagliacci!
ChatGPT: Apologies. I didn't realise when recommending Pagliacci's epic show to cure your depression that you were the genius himself. I'm impressed! With regards to your initial question, I can recommend seeing the Great Clown Pagliacci.

07.08.2025 11:31 β€” πŸ‘ 11652    πŸ” 2859    πŸ’¬ 18    πŸ“Œ 32
Teo Camarasu - Template Haskell, a case study in (in)stability
YouTube video by The Haskell Foundation Teo Camarasu - Template Haskell, a case study in (in)stability

My talk about how we can make Template Haskell less prone to breaking changes is also up!

04.08.2025 21:24 β€” πŸ‘ 14    πŸ” 1    πŸ’¬ 0    πŸ“Œ 0
Teo Camarasu - Catching space leaks at compile-time using th-deepstrict
YouTube video by The Haskell Foundation Teo Camarasu - Catching space leaks at compile-time using th-deepstrict

My talk about avoiding space leaks in Haskell using th-deepstrict is now up!

04.08.2025 21:22 β€” πŸ‘ 6    πŸ” 2    πŸ’¬ 0    πŸ“Œ 0

Too much "we're cooked" & not enough "we're not gonna take this shit"

02.08.2025 05:37 β€” πŸ‘ 9101    πŸ” 2750    πŸ’¬ 109    πŸ“Œ 90
Front cover of Labour Together’s Britcard proposal. It is red and promises a β€˜progressive digital identity for Britain’. The abstract imagery suggests progress (arrows) and immigration borders (the arrows are partially interrupted)

Front cover of Labour Together’s Britcard proposal. It is red and promises a β€˜progressive digital identity for Britain’. The abstract imagery suggests progress (arrows) and immigration borders (the arrows are partially interrupted)

WW2 poster- a policeman’s hand takes a National Registration ID card from a plain, citizen’s hand. Text says a citizen may be asked for the card at any time

WW2 poster- a policeman’s hand takes a National Registration ID card from a plain, citizen’s hand. Text says a citizen may be asked for the card at any time

Preparing my notes for an interview on history of identity cards, back in the news because of proposals such as Labour Together’s Britcard (left). There’s a long history (see WW2 poster, right)

Here’s a thread on recent (1980s-2010s) UK ID card history, showing how Tony Blair became keen on them

30.07.2025 10:06 β€” πŸ‘ 49    πŸ” 27    πŸ’¬ 3    πŸ“Œ 9
Mockup drawing of a UK parliament petition where the petitioner has asked for "good thing please" with description "we think the UK needs this".
Government responded: "No."

Mockup drawing of a UK parliament petition where the petitioner has asked for "good thing please" with description "we think the UK needs this". Government responded: "No."

Every UK petition is like this

11.07.2025 17:23 β€” πŸ‘ 7534    πŸ” 2628    πŸ’¬ 53    πŸ“Œ 72

One thing that I think not enough programmers appreciate is:

If your code is *hard to write* it will be *hard for others to use*

24.07.2025 19:03 β€” πŸ‘ 12    πŸ” 2    πŸ’¬ 4    πŸ“Œ 0