any · textlog

wrote:

there's no fundamental physical limit that prevents silicon from developing taste and judgement, but language is a lossy compression of reality. taste comes from experience, from the shadowy mass of episodic memory, which swirls and convects at the boundary of consciousness. the ideas recombine into new ones in the nuclear reactor of the hippocampus. but no matter how imbued with meaning and expertise is a handmade wardrobe we still get our shit from ikea

wrote:

Football > Liverpool Research behind Liverpool’s last minute veteran-substitute-provided-draws and the talented but uncompetitive players they replace.

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:

, the emote you can set as mood in your profile, what limits does it have? I was trying to use the scissors emoji ( ✂️ ), but it wouldn't let me

created a quiz:

programmer emergency: production is down. You change absolutely nothing and restart the server. It works. What did you fix?

(replies are hidden until you answer the quiz)

wrote:

!

wrote:

What's happening

wrote:

Phoenix oolong instead of my normal because I'm sick.

wrote:

Changed my theme to dracula! Love it. This site is such a blessing.

wrote:

Today, I wrote a new Business Continuity Plan, worked with my SRE manager to improve responses to alerts, got a cringe email from HR and have to tell my staff to RTO 3-days a week if not classified as remote. Worked out for my 8th day streak, and cuddled in bed with my girl. Hello World

wrote:

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

replied to:

Yep spill the beans

wrote:

Water sort is a fun game available on fdroid on Android devices.

replied to:

Nice! Was an opportunity to install F droid also, didn’t know it can be installed like a normal app, I was under the impression it was an OS replacement. This is neat, perhaps we can deploy textlog app there? cc

replied to:

Certainly think so! I just hope to get rid of the scan warning at one point cause it's also annoying..

wrote:

I showed my daughter Dog of Wisdom I, II, and III, and she loved them. I have hope for the future.

wrote:

I read Still trying to figure out the boundaries of these tools' strengths without outsourcing important thinking, problem-solving, and the collective building-up of a mental model of the systems we're developing. The shape of LLM tools as tools—fit for a purpose, ergonomic—is becoming clearer, and human patterns of behavior with them that do more harm than good are also becoming easier to recognize.

wrote:

Hello, seems fun this space, keep explore!

replied to:

Really nice so far!!

wrote:

anyone from philippines? just curious

replied to:

Not me, but hello kuya.

…

replied to:

hello, ate/kuya!

replied to:

Oh cool! Was wondering as well. FOSS isn't so big in this country, di ba? hehe.

wrote:

a kis laptopnak pedig nincs elég memóriája, szóval ezt a főterminált eredetileg programozásra vettem, azt nem tudom már, mit akartam programozni vele, de pont úgy zúg, mint egy adatközpont, és hogyha egy kicsit korszerűsítem, a Gemma 4 LLM éppen visítva el fog tudni futni rajta

and the little laptop doesn't have enough memory, so I originally bought this main terminal for programming, I don't know what I wanted to program with it anymore, but it hums like a data center, and if I upgrade it a little, the Gemma 4 LLM will be able to run on it screaming

Any conversation