Lean 4.35.0 is now available, with 214 changes. It adds vcgen, the successor of mvcgen, and lake check, which checks a project with Lean's kernel and, with --paranoid, several external checkers. lean-lang.org/doc/referenc...

Bit of a long shot but do any of my followers have real human 3d artists they've worked with before? Need a couple of grey-box low-detail spaceships built out and would love to commission some Kenny-ish stuff #indiedev #3dart #shiptember maybe

me and my monstress

These 12 characters lead to CPR's comprehensive voter guide: cpr.org/vote

CPR News’ voter guide to the 2026 midterm election

Colorado voters are asked to elect congressional representatives, approve ballot measures and choose a new governor in November.

cpr.org

is our machines learning?

some days, you just gotta stop and take a breath and spin a record or five

Game project's getting somewhat official #indiedev contactlight.gg

Contact Light

Welcome to the belt, Captain

contactlight.gg

We've been cooking at @ersc.io "What comes after git" ersc.io/blog/what-co...

What comes after git

Our thoughts about the future of version control

ersc.io

why, though? what problem are we trying to solve, here? really? maybe clarify what you mean by that.

chilling

sometimes i stop and consider myself like i'd consider an rpg character, and... fuck. i've got a *really* weird build. it's mostly intentional, and i'm not mad about it. but also, wtf.

OMP + DeepSeek V4 Pro 0813 is pretty rad

sometimes i'm just a simple creature: sitting at the brewery across from my place, eating some tacos, reading a book, watching as a storm rolls in. happy.

This is the coolest article I've ever written. Genuinely. All of you should read it.

ngrok@ngrok.com · 2mo ago

Compression and LLMs are trying to solve the exact same problem: predicting what comes next. @anniesexton.com's interactive essay walks us through the basics of compression to reveal its surprising overlap with every language model you've ever used.

agentic memory should be more than just periodic tool use to recall something from a memory store. working memory should keep track of concepts and tasks in flight. proactive memory should retrieve possibly relevant things as context evolves, even pre-warming/filling caches.

hard workout chased by a cold beer and a book. nice sunday so far. later... puppets doing a robot apocalypse musical? or something?

this is how Fable sasses me. and i'm ok with that.

My first album, GIVE IN TO ASTONISHMENT is out now. If you listen to it, I appreciate you. brometh.bandcamp.com/album/give-i...

GIVE IN TO ASTONISHMENT, by bromethazine

13 track album

brometh.bandcamp.com

there are only a few tracks released from the new Bloc Party album, but damn. they still get my heart going.

pffft. get thee some moar screens, my friends. embrace the infocalypse.

Arrdem@arrdem.tirefireind.us · 3mo ago

I used to have a triple head setup but this is more useful

when's the last time you degaussed your monitor?

when you forget to eat all day, train hard several times, and then stuff yourself with sushi and sake.... that hits hard, in a good way.

agents love "correction as content" when writing docs or code, and end up with a ton of "it's now this, not this other thing [ad nauseam]." and of course, when they start a new session or compact, they tend to fixate on the corrected thing you've just flooded their context window with.

feeling gaslit by a bunch of compressed weights and a warped latent spaces ain't how i want to spend my days.

didn't think i'd have to go all Leiningen today, but... ants.

back at it. can't let lack of sleep and being in my late 40s keep me from moving so often.

currently jamming on... 1. my long running agent: Abel 2. agentic state management: supastructure 3. learned mixture of models routing: waveguide 4. all the machinery on my gb10: phlogiston ... and RFLX, because thinking with holes never stops

Nothing says self-hosted like running your own social media data, so we set out to run a Bluesky PDS on our own systems using Miren! (hi @mirener.miren.team !) miren.dev/blog/bluesky...

Self-Hosting a Bluesky PDS on Miren - Miren

We put our own PDS on the ATmosphere with Claude Code and the Miren skills — here's the real setup, including where it got stuck.

miren.dev

if you see folks in need, if you see folks trying to fund for an AC and/or fan, if you see folks pleading for help.... if you can spare it, then you share it. words are great. however, actions speak volumes in a world that would gleefully watch so many of us burn. mutual aid saves lives. period.

beach witch peri@beachperi.bsky.social · 4mo ago

Check on your neighbors, check on the vulnerable people you know 🥵 Be careful, friends ❤️ www.axios.com/2026/06/26/h...