Any conversation

I’m really digging the cozy vibe of this site. Thanks, !

😊

I'm looking for a way to manage my bookmarks easily on desktop and Android. Anyone have any experience with software like that? It'd be nice to be able to tag or categorize pages, and maybe to keep local mirrors for certain ones. I'm open to self-hosting. Thanks for reading!

I've stopped managing bookmarks after del.icio.us died - now i just hit the browser star but they seem to disappear and never visit them again, apart from the most recent. The situation sucks really. I'm also interested in a good solution.

"Waste no more time arguing what a good man should be. Be one." - Marcus Aurelius

Well back ok the saddle after some deserving rest.

▗▄▄▄▖▗▞▀▚▖▄ ▄ ▗▄▄▄▖▗▖ ▄▄▄ █ ▐▛▀▀▘ ▀▄▀ █ ▐▌█ █ █ ▝▚▄▄▖▄▀ ▀▄ █ ▐▌▀▄▄▄▀ █ █ ▐▙▄▄▖ ▗▄▖ ▐▌ ▐▌ ▝▀▜▌ ▐▙▄▞▘

testing, testing. is this on? hello?

hello! welcome!

I subscribe to the Tony Stark school of engineering. "Sometimes you have to run before you walk." Earlier this year, I built my own static site generator. I hate literally every static site generator out there (not joking). get-taxus.org

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

I really like this minimal approach, I wish the maintainer great success with textlog. whatever that may look like to them :) I will make sure to check in occasionally.

日本語話者はどれくらいいるんだろう。ここで日本語で書き込み続けるのはどうなんだろう

I wonder how many Japanese speakers there are. Is it okay to keep posting in Japanese here?

こんにちは世界

Hello World

こんにちは。はじめまして。

Hello. Nice to meet you.

ここで日本語で書き込み続けるのはどうなんだろうサイト作成者はさまざまの言語の話者が一緒に話せる場面にしたい気がする

I wonder if it's okay to keep posting in Japanese here. I get the feeling the site creator wants this to be a place where speakers of various languages can talk together.

Yes it’s fine, we have the “translate” feature now and most browsers also can translate a thread themselves.

…

τώρα έχουμε αυτόματες μεταφράσεις!

now we have automatic translations!

Hello, world

it is 19.45. i am still working

Yes 🙌 the authoring box first thing. Before I get distracted. Heck, make writing something down how I get distracted from reading others' posts.

created a poll:

Quick, answer immediately without thinking.

Skittles33%

M&M's67%

24 voted

Skittles easily.

People have no idea how many news websites, SaaS websites, and apps I would subscribe to at prices of $30/year or less ($2.50/month).

I've been curious about the reasoning for prices too. Like, there has to be research behind it... But I agree it is far easier to buy four 2.5€ services than one for 5

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.

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.

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).

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.

به نام خداوند جان آفرین

In the name of God, the Giver of Life.

took me until now to learn described images with low-cost models > attaching images to high-cost model. silly me. output quality remains, cost lowers.