"If truth social started using the bsky lexicon and feeding into the bsky relay, would that be a good thing or a bad thing" is a pretty fun thought experiment right now.

arriving on someone else’s website and declaring that you built it is a form of neocolonialism; in this essay i will

This is by far the best enumeration of my own frustrations with existing proof assistants, very excited to see where it goes www.youtube.com/watch?v=7oBk...

The lion does not care whether their grammar is context-free or context-sensitive.

On the list of dumbest technologies, I’m bumping “door opening apps” from #4 to #1. New hires at our company currently need a chaperone to visit the bathroom while the higherups negotiate a new enterprise door-opening-app SAAS license 🤦

so many little humiliations under fascism. i’m supposed to say something nice about Jimmy Kimmel?

Are crystal people still insane? I finished tumbling a big portion of rocks and wanna show them off

Finally finished migrating @babelstone.co.uk 's (rest in peace) Tangut radical index into proper SQL. There's a number of spots where he has corrections or discrepancies with Xun Gong's version - I wonder if those can be resolved. tangled.sh/@saxxie.dev/...

Devil’s advocate: Media reacting more to the assassination than to a school shooting is a good thing. Self-destructive, mentally ill men who wish to loudly lash out against the world see they can lash louder by killing 1 famous guy than by killing a dozen schoolchildren - thereby saving lives.

“awful people don’t deserve to be killed, but they don’t deserve to be praised, either” is apparently a thought too complex for the pundit mind

Curry-Howarding tf out; defining X! as (X ≃ X)

Fingertips are numb and tingly from silksong, this is probably not healthy 😓

At the Side-project-aholics Anonymous meetup: So uh ignore what I said last week, I just had this really cool new idea and Namecheap was having a sale and….

Why did the invention of the printing press lead to witch burning in the 1500s and 1600s when sharing knowledge becane more easy? Now we know.

Crazy how someone managed to reconstruct an extinct sinotibetan language semi-pronounceably! (Now do classical chinese please *glares at baxter+sagart*)😒 homepage.univie.ac.at/xun.gong/tan...

making an evil, twisted version of l the Gleam programming version, call it Gloam

So is gradually-typed Nix impossible? Or just very difficult?

I love vibe coding and so will my codereviewer 😍 This took like 1.5 hours to do

morning read

Ok kiro's kinda cute

"Age verification" laws are actually "upload your ID or get your face scanned to access every website, ending anonymity and associating your identity with everything you do online" laws and if more people understood that they would not be down for this authoritarian nonsense

congrats to Team Cherry for never having to learn about JIRA

What's the difference between @leaflet.pub and @whtwnd.com and when should I use one vs the other?

Feeling very inspired by the passion of this guy making every single advertisement in the infinite carousel of advertisements accessible to visually impaired users. I do wonder though, whether to feel happy or sad for those users who get to experience the worst parts of the site for the first time

build a truly usable AI-based accessibility tool; then accuse the anti-AI crowd of ableism.

STOP DOING THEMES UIs WERE NOT SUPPOSED TO BE THEMED YEARS of theming and yet NO REAL WORLD USE FOUND for going beyond light mode and dark mode. Wanted more personalization anyway, for a laugh? We had a tool for that: It was called "desktop wallpaper"

It is possible to do category theory without big dick energy.

Performative dev stack: Rust | Neovim | NixOS | Jujutsu

congrlats on the New Wifi; how fast can tehy Down Loads ®

It’s just matrix multiplication

Northern American forests evolved without earthworms, but all the species within those forests evolved *with* earthworms. I'm willing to accept it but would really prefer if educators specifically talked about this near-paradox.

buckle up tanglers, we've been working hard! first up: ✨CI is now generally available!✨ head to your repo settings and set your workflow runner to the hosted instance. 🚀 we have also got support for secrets! you can now deploy your site on CI! read the blog for more: blog.tangled.sh/ci 1/5

MatCha. KombuCha. SriraCha.

debugging code before going to an anime convention today

i have been developing a theory of things lately and it's called "big number scary" not saying it has to be a trend or new, just new to my personal thinking: every time i see a big number now, without contextualizing it, i wonder if someone is trying to use big number scary on me

i hate this shit man

as a NixOS-config-refactoring virign, anybody got tips on what to start with 🥺

🚀 Unison 0.5.44 is out! This version has some real treats for devs. Here's what's included: ✨ New, streamlined workflow for updating code 🗂️ Tab-complete remote project and branch names 📩 30% faster downloads from Unison Share Full release notes:

anyway i was about to write something like, “you cannot live in a free society and also forbid people from living where they would like to live” but it occurs to me that many, many americans do not want to live in a free society

Petit bourgeoisism masquerading as leftism is so obnoxious and pervasive.

Age verification bs is getting common and dumb enough that it should probably just be a browser standard. Just require them to send an obligatory X-Is-Underage header in every GET request.

We present a simplified, p5.js version of the vocal tract synthesizer from Neil Thapen's popular Pink Trombone, adapted for use in a creative coding assignment concerned with interaction design and absurd puppeteering. Interactive: editor.p5js.org/golan/sketch... Writeup: github.com/golanlevin/6...

finding ourselves locked in the eternal struggle between The Regime and The Administration and just wanting out

I would simply not be addicted to Losing like this

"Political philosophy often starts by imagining people at their very best—at their most rational, most cooperative, most long-sighted—and works backwards from there. I want to ask what emerges when we start with people at our very worst." www.liberalcurrents.com/the-politi/

1) i think, broadly speaking, ice-cream is better than climate change.

Apparently 36% of Japanese voters believe that "immigrants are taking our jobs" bro what immigrants does Japan even have?? ATP a solid like 40% of voters *in every country* are just driven by completely imaginary grievances

Insane dark pattern from Coursera here - offering to "upgrade" my 6-month subscription to a 1-month subscription for the same price.

I’ve been meaning to hire an AI to be the CEI of saxxie .dev for a hot minute now, I think this is pretty good justification for why