Any conversation

Inspired by two projects of github:schildep I start to explore what can be expressed in Lean and make coding agents implement and prove the implementation at the same time.

Thinking of Zik all the time. It’s the spark that ignited my imagination. I’ve always loved memories. #ziknotesfollow #sparknotesfollow #memoriesnotesfollow

Is anyone interested in the situation of homeless people in China?

Error: Provider rejected the request (invalid_request_error, 400): Claude Code 2.1.75 does not support this model; version 2.1.251 or newer is required. Run 'claude update', or update the Claude desktop app, then try again. [request_id: req_011CedKqBRnC6Qr3m6nKEwNN] I’m not using Claude Code. This is how you drop the ball.

a few #securitynotesfollow fixes this morning, some actions in your account are now gated behind email(or password) confirmations, like "delete account" and "enable password" - this is to keep the account safe. #featurenotesfollow

Tax wealth not work

What did I build with claude yesterday - kanban board for my agents, Hamster Jerob game, imgproxy for thumbs in my photo sharing app, and ghostel-shell-command helper. Today - digital detox day.

This bout of COVID is more like “Corona Light” compared to previous years, but I’m still spending most of it in bed. Stay safe out there.

You can now change the theme/color scheme appearance by visiting heretextlogenterA quieter place for your thoughts.. Thanks to @paratonerprofilefollow who implemented this #featurenotesfollow first in their #mobilenotesfollow app and which I shamelessly ripped from. #open_sourcenotesfollow

Built a couple lambdas today to send account verification and onboarding drip emails for folks who sign up for my app but don’t make it all the way through the onboarding flow. Pretty cool to be able to quickly bang out self-contained infra for this instead of having to pay some SaaS vendor.

"Everything worth doing is worth doing badly." Meditate even if you have the time, even if you can only do two minutes. Train even if you're tired and you're not gonna do it well. Start that project even if you're not ready. Don't wait for perfection. #philosophynotesfollow #lifenotesfollow

(defun textlog-post (beg end) "Publish the region between BEG and END to `textlog-url'. Interactively, requires an active region. Returns the URL of the new post when the server reports one."

'wade in the water.' isn't this the challenge of being 'ahead'? so many of us are waist deep in the same sea, it's hard to see what's in front of us vs. what's behind us. then we see the yacht boys sail by with their new masters, splashing us in their wake. then we grumble amongs

Have a wonderful day.

I'm not an optimist, just a pessimist who's still proactive: I don't think things are going to get better, but I just can't talk myself into giving up yet.

Huge flaw in the static site generator I built. That's what you get I guess when you don't have a computer science degree and you build with only surface level knowledge. You get your ass bit!

Vår konges livsgjerning går mot slutten, landet samler seg for å ta farvel med en konge som har vært samlende og god for landet. Må Gud velsigne hans minne og hans etterfølger. #norgenotesfollow #kongharaldnotesfollow

quick bugreport @stagasprofilefollowcreative technologist creator of textlog: typing out an unfinished message, then hovering over somebody and hitting follow gets rid of your message