i was planning to finish a few more proofs but now i'm reading about aliens. funny how human attention works

the thing i'm worried about is whether AI will decimate the "flow states" of knowledge work. i realize this is very selfish. i enjoy being in a flow state. i don't want to constantly be babysitting an unlearning intern who repeatedly violates instructions. even if they eventually produce good work

yea i'm wondering that too

Puts a partial order on reality

treat each other right breather falling together highlights for me so far. ok maybe "all you children" too although it annoys me a little bit good album, somehow very comforting

aoc should simply eat the smaller, less popular representatives and absorb their power

i feel pessimistic about creating educational content, i wonder if i've pilled myself into believing something that isn't true... it *feels* like there's less market for that, like there's a broad movement "against" learning and in favor of quick solutions and llm-will-do-it. idk if i even disagree

i'll be honest, this section is boring as fuck. i hate ordering

I know better than to comment on community guidelines stuff, but there is one thing I want to remind folks: we're all here "stealing" compute and storage from Bluesky, so us indie builders have time to figure out how to break away from them in a sustainable way. This has been the plan all along.

made an appview that only has me on it social.shatteredsky.net/profile/quil...

Today we're releasing the tldraw SDK 4.0, the fourth major release of our infinite canvas SDK. This release comes with new starter kits, including the Cursor-for-tldraw agent starter, license changes, and a major accessibility milestone.

can't wait for <Fragment ref> to ship, so hyped for it

I started a new For You experiment today that gives less priority to popular posts. 50% of the users on a given day will see popular posts demoted: score = score / power(popularity, 0.2) 50% will see no change (control arm). "popularity" is the number of likes and reposts a post has.

wrote a bit about how proof engineering feels different from software engineering to me news.ycombinator.com/item?id=4527... i am definitely still in my honeymoon period but i found it helpful to write down

Oh, also, if y'all have liked what I've been working on, then you can support me at: support.thisismissem.social

cool to see a Lean article (not mine) on HN frontpage news.ycombinator.com/item?id=4527...

ATPROTO VERCEL IS HAAAAAAPENING

ayyy i wanted this to exist! i was hoping bluesky would do it but someone else doing it is even better

tried booking a gp appointment and apparently the online booking form is only available during opening hours

‘Blueskyism’, Political Violence, and Open Social Networks Under Authoritarianism on how the last weeks have shifted the threat model for open social networks: from fighting platform decay to the threat of authoritarianism connectedplaces.online/blueskyism-p...

Great example of how devs can just make up new atproto records and use them in whatever way they want. Worth pointing out that some *other* dev could make an app that displays `app.bsky.feed.post` and `net.anisota.feed.post` in whatever way *they* want. The atproto network is radically open.

TEAL.FM RELATED QUESTION: HOW DO YOU LISTEN TO MUSIC. STREAMING SERVICES, LOCAL FILES, MEDIA SERVERS, DESKTOP OR MOBILE OPERATING SYSTEMS ALL THE DETAILS PLEASE, THANK YOU

New Eclosion 🕯️ Anisota-only posts are here! They're identical to Bluesky posts but use a custom lexicon so they don't appear on Bluesky at all. Narrowcast to just the world of Anisota for a cozier, more intimate audience. 🦋 "app.bsky.feed.post" 🖤 "net.anisota.feed.post" Join: anisota.net

We're excited to share a sneak preview behind the curtains of the next service Graze will be releasing - read more about it on @leaflet.pub!

ahhh that’s good!!

absolutely stoked to be doing this - lots of good protocol governance stuff coming over the next few months

nothing says "we care about your privacy" more than sharing your data with 222 partners

i would looove to have (most) public interactions subtitled in real time, as well as phone calls. i’d want that to be powered by a local model tho. wonder if that future is coming

css indeed does go brr these days

STATUS: thinking about what to build next in Leaflet GOAL: fun, simple, composable building blocks that can enable lots of cool social experiments IDEAS: @-mentions, notifications, post references, tags, collections, comment permissions, $ block… read more here & lmk what you think!

excited to share that we are following through on our earlier commitments and putting together an independent+neutral organization to house the DID PLC system, includes the directory service

unpopular opinion: i’d much rather prefer a component written specifically for a particular ui lib (react, vue, svelte) than something with ui logic in a library-agnostic “core” package and a bunch of bindings

can there just be a cloudflare template for this or whatever. serious question

roses are red, violets are blue, integers are... trichotomous

i’m back from a vacation and i have good availability for next month for consulting! i may be able to help with: getting unstuck at work (if you’re stuck with a software dev problem), frontend architecture, anything react-related the format is an hourly call [email protected]

Brother, they dont even let *me* opt out of t-tech-blip2

i saw an airport ad saying "forward thinkers bring their AI game" and this sentence has been bouncing against the edges of my skull ever since just like that windows 3d text wallpaper

One of my core engineering beliefs is that if you are building something you should always be holistically looking at it vickiboykis.com/2025/09/09/w...

My next course, Whimsical Animations, launches in “Early Access” in 1 week from today! 🎉 The most important thing to know is that registration will only be open for 7 days. You’ll be able to register from Sept 24th to Sept 30th. Otherwise, you’ll need to wait for the full launch, sometime in 2026.

this is still broken (i'm still being served "t-tech-blip2" posts despite pressing Show Less many times on it). @why.bsky.team @iwsmith.bsky.social @pfrazee.com pls can someone have a look at it? why does Show Less keep breaking every time after it's being fixed

and it’s finally done! this section took me the longest so far (an entire month). it was sometimes frustrating (i hate Fins), but i’ve really enjoyed the cardinality exercises, and the final exercise about permutations tied everything up in a very satisfying way. goodbye Set theory; hello integers

yay, i can finally set my dm settings to no one, so i just did (since uk age gate means i can’t access the tab). if i didn’t see your dm, im sorry — pls email if it’s something important

ok this was a bit brutal but i learned a lot. will hopefully simplify it for next souls doing it. it was particularly affirming to find that my initial ad-hoc helpers matched preexisting stuff in Mathlib 1:1

tfw

i like how the npm ecosystem works in general (packages are good) but if you deal with it regularly you should probably code in a vm or a clean operating system with no sensitive tokens

“someone else can run a Bluesky API” might actually be a neat way to explain atproto

you know, i've said this before and i'll probably say it again but, what @spacecowboy17.bsky.social is doing with the "for you" feed is so incredible, afaik there's no AI bullshit clustering, no guessing what you want to see based on topics, purely social graph based system that consistently works

unexpectedly, quite a bit of love for react in this thread