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.

prussia's emoticon is so cute! (=ヮ≖)

Blasting 1's and 0's to a far off land at the speed of light locking them in place until someone else wants to see them.

#exercisenotesfollow time

Routines in Claude Desktop create Claude Code sessions, so hourly routine litters in iPhone' Claude.app Code tab. Screw it, built my local version of AWS StepFunctions - Stepper - and run skills as state machines there.

let's see how arabic letters are rendered here: بسم الله الرحمن الرحيم

Apa kabar dunia? #HelloWorldnotesfollow

Any #Netflixnotesfollow shows recommendations? I have no idea what is worth watching (since I rarely watch shows) so now I’m watching The Mentalist from 2008. They had flip phones then.

Any #Pinotesfollow users around? I have been customizing it to the way I work, as it is meant to be. Bent it in a way that I enjoy holding it, so to say. Maybe someone will find those useful, so I took the time to get it published. Gruntfooot is a footer customization, where you can try new colors/glyphs in real time and also has theme support.

While learning jj, I realize how Git habituated me into being ok with its unique jargon and prickly command line interface. Unlearning Git is refreshing.

#morningnotesfollow o/ bc im a old fart in a young body, i can only drink coffe at least 2 hours after waking up. So no #coffeenotesfollow until 10am

Just got Moshi set up - a phone-friendly terminal app. Works well with Herdr for persistent agents, friendly UI. Verdict so far: looks like I'll be working more from my phone.

You delete a file on Linux while a program has it open. What happens? #Sundaynotesfollow #Quiznotesfollow

ran 5km daily for 7 weeks now

I hatw Sunday evening anxiety :(, man seriously wtf?

<b> Hello world </b>

okay, writing from emacs, textlog.el - gist.github.com/…/2feaf5a264fd4cf81d5ec44c17bde70aGisttextlog.elGitHub Gist: instantly share code, notes, and snippets.

a szerveren lévő cookie adatokat és egyéb nyomkövető sz@rokat is a Google kezeli, én nem igazán szoktam ezekből látni semmit, se ip-t, se semmit, a Google inkább keresőmotor, mint mesterséges intelligencia alkalmazás, de ma már hibrid technológiával dolgozik minden MI és kereső

i hope people like the story