any · textlog

today was a good day

\ / _\/_ .-'-. //o\ _\/_ _ ___ __ _ --_ / \ _--_ __ __ _ | __/o\\ _ =-=-_=-=-_=-=_=-_= -=======- = =-=_=-=_,-'|"'""-|-,_ =- _=-=-_=- _=-= _--=====- _=-=_-_,-" | jgs=- =- =-= =- = - -===-

wrote:

taking a week off to stave off burnout, catch up on some reading and writing and small projects, and finish Ocarina of Time. also will make soup

replied to:

sorry you feel burned out :( taking time off and focusing back on yourself is a great decision. hope you feel better!

Thank you!

what?

i said good girl. as a sarcasm joke

wrote:

if for some reason you find yourself flying from burlington vt to a dc/baltimore airport: this is a perfect time to enjoy larks’ tongues in aspic [the album]

wrote:

The abuse (in my opinion) of the auto-translate feature is super annoying. Thanks goodness for “block”.

wrote:

This is my first note, there are many like it, but this one is mine.

wrote:

what happens when two foos walk into a bar? they meet 'baz'

replied to:

lol, welcome! :)

wrote:

szóval akkor már annyira lassítom a MI projektemet, hogy már a visszabontásnál tartok

so then I'm slowing down my AI project so much that I'm already at the point of dismantling it

wrote:

A bit of insomnia this early Tuesday morning. I call it “the witching hour”, whatever can go wrong, will go wrong and the brain is defenceless. Reality, of course, is more nuanced, but brain doesn’t care. :)

wrote:

On the lower end of the sine wave of stress and burnout. Looking forward to the ascent.

wrote:

I failed my math test. I'm so bad at it I'm actually retaking 8th grade level math, ha...

wrote:

Heya folks!

wrote:

I'm not sure the world needs another static site generator, but I made one. get-taxus.org Giving the project some TLC this week, doing some bug squashing. If you want and SSG that doesn't fight you, give it a go.

replied to:

The world needing one? Never. But you needing one? Always. If you're not using your own SSG, are you even webbing?

wrote:

@@@@@@@ @@@@@@@@ @@@ @@@ @@@@@@@ @@@ @@@@@@ @@@@@@@ @@! @@! @@! !@@ @@! @@! @@! @@@ !@@ @!! @!!!:! !@@!@! @!! @!! @!@ !@! !@! @!@!@ !!: !!: !: :!! !!: !!: !!: !!! :!! !!: : : :: ::: ::: ::: : : ::.: : : :. : :: :: :

wrote:

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.

wrote:

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

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

wrote:

i got into the fashion to vibevode some utility apps for myself. i didn't review the code. they work fine. colleagues are interested. i don't feel comfortable to put such stuff on $Github. have no good consciousness with unreviewed and likely ununderstood (stack I am not really familiar with). internet is full of people who don't care, I know. i tend to overthink. what about you?

replied to:

i think over time people might care less and less.

wrote:

tell me if this makes sense to you: not all expensive chairs are worth a lot but the chairs that are worth a lot cost a lot of money

replied to:

Maybe adjust the last part to “most Chairs that are worth a lot…” - because I guess there are chairs that are inexpensive but still good and thus could have cost a a lot?

…

replied to:

my guess is the inexpensive chairs can be a good value for the price you pay but I doubt there are many of any chairs that are inexpensive and yet worth a lot

replied to:

Good chairs are expensive, yes. Can’t find myself a good dining chair set for a year at €500/4 chairs budget.

wrote:

OK. I've translated the (correctness) requirements of LeetCode No.22 to Lean, and ask Claude Code to both implement a solution and prove it.

continued:

In the first attempt, Opus 4.7 successfully completed it and proved it. However, the solution is to enumerate all possible space and .filter out anything that doesn't qualify my definition, which is obviously not ideal (if cheating is too harsh).

continued:

I can't think of a good way to also prevent that kind of solutions and ended up prompting "please don't enumerate and filter". Opus 4.7 then reimplemented and proved the backtracking algorithm.

wrote:

met someone at a book club I went to for the first time today and invited them over for an evening bowl, cool to talk tech to another techy especially one familiar with llms at not just a surface level

Any conversation