any · textlog

wrote:

I've been wanting to make some cute fox ears, and a tail! gonna have to buy a headband and some fur tho, UGH!! ႔ ႔ ᠸᵕ ᵕ 𐅠

wrote:

( ^ . ^) (° . ° )

wrote:

még csak barátkozom azzal a gondolattal, hogy a Gemma 4 miatt először is Windows 11 lesz a gépen (meg hogy Szentmihályon presszó lesz), ezért nehéz elkezdeni

I'm still getting used to the idea that because of Gemma 4, I'll have Windows 11 on my computer first (and that there will be a presso in Szentmihály), so it's hard to get started.

wrote:

I'm almost done making the lineart of the body pillow I'm drawing. sigh ...

wrote:

There's a few things I'd put at the top of my "things-I-least-expect" list, among which are readers on my little blog. 61 unique reads, wowee!

wrote:

Hello world?

wrote:

Hello, seems fun this space, keep explore!

replied to:

Really nice so far!!

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:

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:

release 0.1.0

replied to:

more like 0.0.1 :P

wrote:

Mind's empty. Heart's full. Desires? Average.

wrote:

Why was the math textbook sad? revealBecause it had too many problems.

wrote:

the binding of isaac might be one of the best games ever made

replied to:

Omg! I just started playing it

replied to:

it will never take its leave out of your life :D

wrote:

Do you walk your neighborhood? Do you sit on your front porch and say hello to passersby?

wrote:

I naively went into a work problem thinking that RAG was solved by the service offered at work, and wow was I wrong. Been a fun week so far experimenting with many different methods before doing the academic research, and it's been nice to be validated by outside research.

wrote:

I can't figure out what's leaking on my '73 F250. Shows up slowly at the back of the oil pan. It's pretty clear because I've recently changed fluids and scrubbed the engine. It was definitely brake fluid for a while after it was overfilled but that has evened out. The oil level is steady after when checking every 10 miles or so. I think anyway... hard to know with these 😬

wrote:

while we wait for this to be true
we could add our bits together 
remember to not sleep forever
return when your dreams are through

Start with cringy poem, end with cringy pseudocode. At least it comes naturally.

Any conversation