textlog
join
500 chars / 20 lines max · use #hashtags, @mentions and more
😀😃😄😁😆😅😂🤣😊😇🙂🙃😉😌😍🥰😘😋😛😜🤪🤨🧐🤓😎🤩🥳😏😒😞😔😟😕🙁☹️😣😖😫😩🥺😢😭😤😠😡🤬🤯😳🥵🥶😱😨😰😥😓🤗🤔🫣🤭🫢🤫🤥😶😐😑😬🙄😯😦😧😮😲🥱😴🤤😪😵🤐🥴🤢🤮🤧😷🤒🤕🤑🤠😈👿👻💀☠️👽🤖🎃😺😸😹😻😼😽🙀😿😾❤️🧡💛💚💙💜🖤🤍🤎💔❣️💕💞💓💗💖💘💝💟👍👎👌🤌✌️🤞🤟🤘🤙👈👉👆👇☝️✋🤚🖐️🖖👋🤝👏🙌🫶👐🤲🙏✍️💪👀👁️🧠🫀🫁🌱🌿☘️🍀🌸🌺🌻🌞🌙⭐✨⚡🔥🌈☀️☁️❄️☕🍕🍎🎉🎊🎈🎁🎵🎶🎨📚💡✅❌⚠️🚀🌍💻📱🔒🔑
example.com or
https://example.com
Regular links
[title](example.com) or
[title](https://example.com)
Markdown links
~text~ or ~~text~~
Strikethrough
*text* or **text**
Bold
_text_ or __text__
Underline
/text/
Italics
> text
Quote
:smile
Emoji autocomplete
1. first
2. second
3. third
Numbered lists
- first
- second
- third
Bulleted lists
Name  | Status | Count
----- | :----- | ----:
notes | ready  |     3
Tables
|redacted|
Redacted
`code`
Inline code
```…```
Code fences
$inline$
Inline LaTeX
$$block$$
Block LaTeX
Which one? #poll
First option
Second option
PollsUse 2–8 unique options.
Which one? #quiz
Wrong answer
> Correct answer

Explanation revealed after answering
QuizzesMark exactly one of 2–8 unique answers with >. Text after a blank line is revealed after answering.
Visible text #spoiler
Hidden text
SpoilersText after #spoiler is hidden until revealed. Aliases: #tldr, #sensitive, #contentwarning, #cw, and #triggerwarning.
Going hiking #map
Kallikratis, Crete
MapsShows a map preview for the first location line. Alias: #location.
#flying Heraklion to Berlin
FlightsHover over the itinerary to see a map connecting the airports. The next three words form the itinerary: airport, to (or → or ->), airport. Use single-word airport names or IATA/ICAO codes.
Today #todo
[ ] First task
[x] Finished task
TodosOnly [ ] and [x] lines become items. Click your items to toggle them.
Run this #exec
```js
console.log(6 * 7)
```
Executable codeRuns the next language-tagged code fence and shows its output beneath the note.
Keep this visible #pin
Pinned notesYour latest #pin is shown first on your profile, independently for notes and replies.
No more replies #lock
Locked conversationsPrevents new replies to this note and every reply beneath it.
About textlog #meta
Meta conversationsKeeps this note and its replies out of public discovery feeds. Aliases: #tlog and #textlog.
Continue quietly #whisper
Whisper conversationsKeeps the branch out of all and hot. Participants, mentions, and tag followers can receive it in my feed. It remains public elsewhere.
For @someone and @another #private
Private conversationsOnly the author and mentioned users can read this branch.
Answer before reading #HiddenReplies
Hidden repliesHides all replies until you reply.

Any conversation

☕profilefollowEternal disciple of impostor syndrome ∙ Perth, WA.wrote:
With each passing workday I spend agentsitting, my ability to program in isolation atrophies. This might be dismissed as needless self-serving anxiety, but perhaps irrationally, I can't let it go.
profilefollowwrote:
日本語話者はどれくらいいるんだろう。ここで日本語で書き込み続けるのはどうなんだろう
I wonder how many Japanese speakers there are. Is it okay to keep posting in Japanese here?
ここで日本語で書き込み続けるのはどうなんだろう サイト作成者はさまざまの言語の話者が一緒に話せる場面にしたい気がする &1045
Are there any plans to filter by language? What will happen when people start posting in several languages? #meta
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. &1045
Are there any plans to filter by language? What will happen when people start posting in several languages? #meta
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
This is a very silly thing to be doing in 2026, but I finally tried some Quake 1 recently. Pretty cool, it's amazing how much it really does just end up feeling like Doom in 3D.
Since I played both Doom and Quake 2 back in the day, it does feel like I've finally bridged that gap, to where I think I understand what people mean when they talk about Romero's influence in the design.
Another thing I think it makes really clear is just how much room-over-room changes the way the game spaces feel, even if no one's actively thinking about that while they play.
profilefollowOld school metallian, hobbyist developer writing things mostly in Rust…mostlywrote:
Having a little difficulty seeing how long this service will exist. People are terrible. Sooner or later it will be found and ruined.
profilefollow"Beware those that would deny you access to information, for in their heart they dream themselves your master." — Sid Meyersreplied toprofilefollowOld school metallian, hobbyist developer writing things mostly in Rust…mostly:
Yup. I have long change my philosophy on things like these: just live the day. :-)
…
Brikka. Someone on HN mentioned it as great design. I looked it up and bought it after a while. It's been such a delight. Even the occasional brew gone wrong adds to the experience. v60 is also nice when I need it to slow down or be the experience a bit meditative. But Chinese tea is the best for that.
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.
profilefollowwrote:
看来可以发中文。因为没有身份证,所以不能拥有手机号,接着不能注册稳定的email,也就没法注册内容平台,发布内容。hotmail因为我没有稳定的ip地址,常常封禁我的email账号,我的mastodon账号因此也没法长期使用。我希望这是一个我可以长期发布内容的地方
It seems I can post in Chinese. Because I don't have an ID card, I can't have a phone number, and therefore can't register a stable email address, which means I can't register on content platforms or publish content. Hotmail frequently blocks my email account because I don't have a stable IP address, so my Mastodon account can't be used long-term. I hope this is a place where I can publish content consistently.
profilefollow"Beware those that would deny you access to information, for in their heart they dream themselves your master." — Sid Meyersreplied toprofilefollow:
嗯,好吧,为了你自己,我希望它能持续很长时间。你的互联网问题很难解决,非常抱歉! :-(
Well, okay, for your own sake, I hope it lasts a long time. I'm so sorry your internet problem is so difficult to fix! :-(
profilefollowreplied toprofilefollow"Beware those that would deny you access to information, for in their heart they dream themselves your master." — Sid Meyers:
谢谢你,没想到还真有人回我的帖子,我在互联网上至少几年没和人对话过了
Thank you. I didn't expect anyone to actually reply to my post. I haven't had a conversation with anyone online for at least several years.
profilefollow"Beware those that would deny you access to information, for in their heart they dream themselves your master." — Sid Meyersreplied toprofilefollow:
很高兴成为很久以来的第一个人之一,我的朋友!好好的,周末愉快!原谅我的小错误,我正在用翻译来回复。我们都知道大多数时候都不太好。
So happy to be one of the first people to reply in a long time, my friend! Have a good weekend! Please forgive my little mistake, I'm replying using a translation. We all know things aren't always great.
profilefollow"Beware those that would deny you access to information, for in their heart they dream themselves your master." — Sid Meyersreplied toprofilefollow:
I am sure pretty much everything that isn’t criminal, abusive, or illegal. I know those definitions vary from country to country. Just be a good human, and you should be OK.
profilefollowI just a fly on the wallwrote:
"Waste no more time arguing what a good man should be. Be one." - Marcus Aurelius
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.