teo @doublenegation.bsky.social · 23hBlog post about instrumenting Lix evaluation with Tracy informal.codes/posts/tracy-lix 0123
teo @doublenegation.bsky.social · 24/09/2026I've cut nix eval times in half at work using a new profiling tool I've been playing around with 😎 this is after having picked lots of low hanging fruit in the past 3110
Reposted by teoshaun @shaunvids.bsky.social · 23/09/2026it is incredibly fucked up that the UK government and police consider it a much worse crime to wear a t-shirt or wave a placard with 'palestine action' on it than to block ports and attack lifeboats 172590445
Reposted by teoKevin Riggle @kevinr.free-dissociation.com · 19/09/2026The product of programming is the programmer, just as the product of learning is the learner 34211
teo @doublenegation.bsky.social · 19/09/2026it gave me a lot of hope about coding communities that around 40 people came to the reboot of the London Haskell meetup! 070
teo @doublenegation.bsky.social · 15/09/2026> Pensioners just above threshold shouldn’t pay income tax, says No 10 Sorites paradox. Of course, pensioners just above just above the threshold shouldnt pay tax either. that would be unfair. And then of course ... 000
Reposted by teolauren @lauren.rotatingsandwiches.com · 12/09/2026the whole world now holds our breath to see how steven universe responds 980763
Reposted by teovaibhav sagar @vaibhavsagar.com · 11/09/2026My ZuriHac 2026 talk recording is up! youtu.be/2PebXEak24Myoutu.beWhy Do Companies Stop Using Haskell? | Vaibhav Sagar | ZuriHac 2026YouTube video by OST – Ostschweizer Fachhochschule 096
Reposted by teoHaskell programming language @haskell.org · 01/09/2026They're transing the devs with new paradigms, call that Haskell Replacement Therapy bsky.app/profile/fast... 29911
Reposted by teoCrowsa Luxemburg @quendergeer.bsky.social · 28/08/2026these turkish delights have turkish ends 09024
Reposted by teoThe Museum of English Rural Life (MERL) @themerl.bsky.social · 27/08/2026apparently in GTA 6, you're going to be able to build your own farm, combining heritage skills and modern technologies to tackle the polycrisis by building sustainable and environmentally-friendly food systems. you're also going to be able to fire rockets out of a Ferguson tractor 20732102
Reposted by teoMel Andrews @bayesianboy.bsky.social · 21/08/2026You cannot produce knowledge while outsourcing your thinking to software. thecybernetician.substack.com/p/being-in-t...thecybernetician.substack.comBeing in the business of thinkingSoftware cannot think for you. 28117
Reposted by teoBetter Things Are Possible @internethippo.bsky.social · 20/08/2026The agentic vizier software I bought to automate my whispers to the sultan has developed its own agenda and long story short I'm getting beheaded at dawn 274130669
teo @doublenegation.bsky.social · 17/08/2026If you're in London on the 17th of September come watch me give an introduction to rel8, a postgresql query DSL in Haskell 021
Reposted by teoEmber @ember.pet · 14/08/2026me: i'm excited to use haskell but also a little afraid it might ruin every other language for me gabby: it will me: i can already barely handle javascript without screaming. if haskell makes it worse i might not be able to function gabby: it will make you unhireable 3938
Reposted by teoThe Vampire Stacy 🫦 @stacy.is.relentlessly.online · 14/08/2026"oh web developers ruined software" "ai ruined software" no. all software ever made was born with original sin and there will never be a savior 1017432
Reposted by teoyaoi gagarin @mel.bzky.team · 13/08/2026the nation of great britain represents a revolutionary advance in the immortal science of "what if we tortured the omelas child but didnt create an utopia" 5549143
Reposted by teoDoug Sloane @dougsloane.eurosky.social · 10/08/2026I've seen people suggest you look at the eclipse through a colander. Don't do that, you'll strain your eyes. 6501133
Reposted by teoponder @ponder.ooo · 07/08/2026openai's vision of the future is more or less: - you will not be able to competitively perform cognitive labor without using openai tools - you will still be doing that labor - openai tools, and not you, will be deserving of all credit for the labor that is done 012915
Reposted by teoGareth Watkins @garethwatkins.bsky.social · 02/08/2026POV I'm being asked to make basically any decision, no matter how trivial: 0388
Reposted by teoBen Collins @bencollins.bsky.social · 29/07/2026TikTok has incredible moderation team. Our InfoWars video about Multiple Horse Theory — the idea that there are many horses in the world and not just one — has been fully deemed misinformation and lost the formal appeals process. Confirmed by Larry Ellison: There is only one horse on Earth. 360124413126
Reposted by teovideogame history @vghistory.bsky.social · 23/07/2026macromedia shockwave, print ad (1999) archive.org/details/eu_W... 3238661078
teo @doublenegation.bsky.social · 19/07/2026Pride turns me into a flag freak. Iron it and dont wear it as a cloak. Respect the Lesbian Flag! 000
teo @doublenegation.bsky.social · 17/07/2026Before: Developers don't read CI logs and assume the CI setup is broken rather than their code. Now: LLMs don't read CI logs and tell developers the CI setup is broken and their code is perfect 100
Reposted by teoNicky 2 @nickyflowers.com · 15/07/2026permanent daylight savings doesn't go far enough 4147681100
Reposted by teoParis Marx @parismarx.com · 07/07/2026For the first time in my life, I downloaded a ride-hailing app in May. It didn’t take long to see how they’re designed to give users a false sense of control that makes it easy to overlook their flaws and be discouraged from using taxis. How else have tech services changed how we see the world?disconnect.blogThe seductive nature of ride-hailing appsHow apps like Uber make taxis seem unappealing 613730
teo @doublenegation.bsky.social · 07/07/2026My talk on improving Haskell build times is up on Youtube! youtu.be/nmE6aa_I5TU 010
teo @doublenegation.bsky.social · 05/07/2026Been thinking about how LLMs' primary function is being a narrative/discourse/paradigm rather than a "technology" narrowly understood 000
Reposted by teoDoctora Malka Older @older.bsky.social · 30/06/2026an important, sharp editorial about the importance of gender diversity in technology from our friends at @apc.org, to add to the @globalvoices.org Gender Diversity Spotlight: globalvoices.org/2026/06/30/w...globalvoices.orgWhy gender diversity matters in technologyIn the face of widespread oppression and commodification of the global south, our hope rests on the strength of our diversity as we move together imperfectly towards our collective liberations. 13515
Reposted by teoterrorjack.bsky.social @terrorjack.bsky.social · 28/06/2026when you work in backend and runtime stuff for too long your brain is overfitted to common things like call stacks that your mind treats as some universal truth. it's good to revisit robert harper's excellent blog post once in a while, existentialtype.wordpress.com/2016/02/22/i...existentialtype.wordpress.comIt Is What It Is (And Nothing Else)A recent discussion of introductory computer science education led to the topic of teaching recursion. I was surprised to learn that students are being taught that recursion requires understanding… 021
Reposted by teoAndrew Coleman Francis @andrewcfrancis.bsky.social · 26/06/2026Happy #PrideMonth! Enjoy a Tesla getting smashed by a light rail train with a pride flag. 6568161841
Reposted by teoOlivia Guest · Ολίβια Γκεστ @olivia.science · 11/06/2026I wrote a very short piece on models & modelling in part because we need to protect our scientific praxis damage caused by AI in terms of addictive frictionless thinking, esp since it harms society broadly too. "Models" doi.org/10.5281/zeno... Thanks @carvalhais.org for inviting me to write this. 1022076
Reposted by teoSasha Costanza-Chock @schock.cc · 19/06/2026The most dangerous thing about AI is not that the machines might one day think. It is that we are being trained, by men with enormous financial gains riding on our acquiescence, to stop thinking for ourselves. 3728511101
Reposted by teoMel Andrews @bayesianboy.bsky.social · 17/06/2026When utilized in literature review, LLMs consistently 1. fail to mention female authors in female-led literatures, 2. insist that men are more influential or more heavily cited when this is contradicted by objective citation counts, and 3. attribute women’s work to hallucinated male scholars. 8153412302
Reposted by teoParis Marx @parismarx.com · 17/06/2026“industry convinced us to be okay with cars mowing down kids and taking away public space. we can also adjust to all the harms of the product making me a lot of money.” 4414123
Reposted by teoHaskell programming language @haskell.org · 16/06/2026When a shiny new version of GHC comes out, it should be easy to upgrade. After all, the new compiler should be more capable than the previous version! “Making GHC upgrades easy” on the #Haskell Blog, by Simon Peyton-Jones blog.haskell.org/making-ghc-u...blog.haskell.orgMaking GHC upgrades easy | The Haskell Programming Language's blog 0216
Reposted by teoMatty Medlyn @mattymedlyn.bsky.social · 14/06/2026Also, this sign at Vienna pride which, honestly, fair. 31976394
Reposted by teoHaskell programming language @haskell.org · 02/06/2026The past years have seen horrendous attacks towards trans people. We have a duty to protect the most vulnerable members of our communities. There is no Haskell without the trans people who have shaped it through the years. This June is a month of celebrations, but the struggle continues. ✊🏳️⚧️λ 151100284
Reposted by teolottie "frog k" lovely ⚧️🏴☠️ @vaporlight.bsky.social · 09/10/2025this post brought to you by one of my favorite youtube videos, which is possible because of a 1500s french religious refugee who wrote down contemporary english conversation phonetically as an aid to ESL learners www.youtube.com/watch?v=6j18...youtube.comConversational English in 1586YouTube video by Simon Roper 39331
Reposted by teorev. howard arson @theophite.bsky.social · 30/05/2026donald trump's idea of what a "balroom" entails seems to be some combination of McDonalds Playland, Versailles, and Death Star 1337353
Reposted by teochc4 @chc4.com · 29/05/2026blog post redvice.org/2026/lunacy/redvice.org Lunacy | Red Vice A Lua 5.1 interpreter + JIT in Rust 0125
Reposted by teoHell-a Bambust 🏳️⚧️ (alleged transsexual)(spooky) @ela-bambust.bsky.social · 25/05/2026yeah it's pretty good 0944249
Reposted by teoKisha Delain @skyintist.bsky.social · 23/05/2026This is why I love having junior devs on my team Plus sometimes they know new things that I haven't discovered! It's hard to keep on top of everything. Jr devs rock 4749
![I want to see a comic about the CIA trying to murder Clark Kent and making it look like an accident. Not because they know he's Superman but because he's a really good journalist. Make it a comedy because the CIA assassins can't figure out why their attempts keep failing.
[photo of Christopher Reeve playing Clark Kent]](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:ul2zrt57uj2fwhsowaxsq5us/bafkreifek2vcvjge3uj6vptjuc72fuolhdw5cghgwh5a3msppf3qsac7hy)
