any · textlog

hi :3

hi

I wonder how much data Apple is transferring today. I used to download from a BBS Apple II software overnight on a 2400 baud modem. What a trip.

wrote:

Google Play

replied to:

for a moment I thought someone had published it 😂 but soon I hope we’ll have it on both iPhone and Android app stores. We’re in the process.

wrote:

My Country is On Fire mataherry.bearblog.dev/my-country-is-on-fire/

replied to:

Hati-hati pak! I worked in Borneo before, and seeing the forests burn is horrifying. I miss all the wildlife there. Mau kembali ke Indonesia!

replied to:

I'm in Java, not Kalimantan, really can't imagine how all the people and animals go through everyday living in literal hell of fire

…

continued:

Is there any contact you can make with international advocates?

wrote:

Came from . I like the design.

wrote:

my initial google on this topic wasn't very fruitful... are there any harnesses that let switch between Claude and Codex when you have the 20/month plans 'seamlessly'. rough edges are fine but I'd like to maintain memories between harnesses.

wrote:

The Typst language is Turing complete. Does that mean it could be the target of a C compiler? Could I compile the Linux kernel to Typst? Certainly, one could build a mean web server with it. Look out .php, here comes

wrote:

I love the idea. I do miss the early twitter vibes.

wrote:

I need a new microblogging platform

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:

In other news, I'm circling what sure looks like GCP overbilling us by over $1M/year going back as far as I can see.

wrote:

I dislike commuting on public transport sometimes cause the trips feel longer sometimes but also don't want to drive the morning traffic

wrote:

a constant, existential pull so old I couldn't tell you the end or draw its shape between kind acceptance and striving, struggling, writhing, climbing learning, growing, discontent "do you feel this way, too, at endless war with longing itself?" but the birds and trees and ants and wind in their own marvelous design don't reply

wrote:

Vagyis attól még, hogy trehány vagyok, még működhetne jobban is az anyagmegmaradás törvénye, mint éppen errefelé, vagyis errefelé pláne működnie kellene, mégsem ezt teszi.

So even though I'm clumsy, the law of conservation of matter could still work better than it does here, or rather, it shouldn't work here, but it doesn't.

wrote:

我在中国是一个准脱离政府掌控者，基于身份的一切活动我都不参与，比如正式工作和网购。我也为此付出巨大代价，我的选择空间被极大压缩，行动能力损失严重。我只能通过少量免费wifi访问互联网

In China, I am practically independent of the government; I don't participate in any activities based on my status, such as formal work or online shopping. I've paid a heavy price for this; my choices have been severely limited, and my mobility has been significantly impaired. I can only access the internet through limited free Wi-Fi.

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:

Excited about these news! I am on Friday, going to stay for a while to work on textlog among other things. Happy because I was getting a bit depressed lately living in the mountains in Crete.

continued:

Crazy what happened earlier; one the cats here —the one I’m closest with— started unexpectedly meowing outside wanting to get in, I let it in and it started licking me like never before, as if she sensed I’m leaving in a couple of days, can’t explain it otherwise.

replied to:

animals have a sense of wonder to them. enjoy your time

…

replied to:

Such a beautiful island! I've been there and enjoyed everything (minus traffic)!

wrote:

This #tome about #Tcl/Tk has me re-evaluating my plans to move to the woods to be a carpenter hermit. Now I want to move to the woods and be a programmer hermit.

wrote:

"This text may violate our content rules (harassment/threatening: 0.4593). Please revise it and try again." HOW there's no cuss words dawg let me typeeeeeee

Any conversation