any · textlog

created a poll:

Do you rinse your after you brush your ?

Yes29%

No43%

Potato29%

7 voted

wrote:

Quite a few major 's implemented today, API writes, password logins, full-text search. Wonder what's going to follow.

wrote:

Girl at my school still wants to fight me,,,,,, ugh I hate the social hierarchy of girls.

wrote:

everyone! it’s time ☕

replied to:

Morning from Tasmania time for me

wrote:

Built a couple lambdas today to send account verification and onboarding drip emails for folks who sign up for my app but don’t make it all the way through the onboarding flow. Pretty cool to be able to quickly bang out self-contained infra for this instead of having to pay some SaaS vendor.

wrote:

If there's an audience, I can write about the real China beyond the spotlight

wrote:

So, I just got an invite to the new W Social (EU) platform. It requires proper ID authentication - so actual provable humans are on there. Feels good and slightly optimistic. Let's see how it goes.

wrote:

Fair play to Apple and team, 5 apps in for review, 4 passed through each within an hour. 'Appy days

wrote:

Have a wonderful day.

wrote:

curious to know whats the experience of production push in other companies? e.g lots of documents/approvals…

wrote:

Been working on website marketing materials this morning. About to dig into some work. If 'variety is the spice of life', my job is Cajun seasoning.

wrote:

I’ve never posted a lot on social medias. I hope I have a good time here!

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:

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:

mandelbrot show code

for y in range(10):
 s=''
 for x in range(25):
  a=[]
  for q in range(2):
   z=c=x/25*3-2+1j*((y*2+q)/10-1);n=40
   while n and abs(z)<2:z=z*z+c;n-=1
   a+=[n<5]
  s+=" ▀▄█"[a[0]+2*a[1]]
 print(s)

                         
               ██        
            ▀▄████▄▄     
       ▄   ▄████████     
       ███▄█████████     
 ▀▀▀▀▀▀████████████▄     
       █▀▀ █████████     
            ▀███████     
            ▀ ▀██▀       
               ▀▀

wrote:

having just spent a week camper-travelling Norway, hiking mountains and glaciers, swimming in fjords really put some things into perspective for me - I should take more vacations

wrote:

So I found the blog of a Ukrainian Front Line soldier on Bear Blog today. Incredibly grim stuff to read, but I really wanna get in touch with that guy now and send him so cash so he can buy a burger. Hope Herman forwards my message 😪

wrote:

WezTerm for local and remote multiplexing really is the ideal experience - it's so much better than using zellij, tmux, zmx, and friends.. I don't think they pitch this feature hard enough on their site. I think the in-terminal multiplexers have their place - e.g. if you need to access from mobile (no WezTerm there) or on machines where you simply don't want to install WezTerm for some reason. WezTermrm could probably eliminate that last one by packaging just the mux server.

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.

Any conversation