textlog
join

Any conversation

500 chars / 15 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
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.
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.
looking at the German public railway system (DB), I always wonder if the stereotypes of timeliness and precision were ever actually true. Surely someone must've figured out by now how off they are? These trains are always late and / or broken.
Inspired by two projects of github:schildep I start to explore what can be expressed in Lean and make coding agents implement and prove the implementation at the same time.
profileenter to followi create thingscontinued:
The two projects of github:schildep are "3d mesh intersection" and "multipolygon intersection". I can try "Voronoi diagram generation" as a starter.
just finished the book “This is what inequality looks like” by Teo You Yenn. will gather my thoughts and write more about it.
profileenter to followOld school metallian, hobbyist developer writing things mostly in Rust…mostlywrote:
Writing. I want to do it, very badly. I just don't want to be bad at it. You have to be bad at it in order to get good at it. But... Catch 22 isn't it?
profileenter to followEat, drink, listen to 🎶, & watch the fish. Occasionally cook.replied toprofileenter to followOld school metallian, hobbyist developer writing things mostly in Rust…mostly:
Who are you writing for? If for yourself, who cares - write. Do it in a place/tool that allows you to edit/rewrite some parts. In the future you can re-clarify, or if you get better, you can improve them. Focus on what you enjoy to write and write away.
profileenter to followreplied toprofileenter to followOld school metallian, hobbyist developer writing things mostly in Rust…mostly:
I think reading helps quite a bit, especially writing about what you’ve read, even to yourself, just so you can go through the process of having to explain something that you’re only recently familiar with. There’s something about that process that seems to be helpful, at least to me.
profileenter to followOld school metallian, hobbyist developer writing things mostly in Rust…mostlyreplied toprofileenter to follow:
If I can't explain it back perfectly, I tend to avoid even trying. I sort of skip all the questions that come in between, because I can't answer them yet. It's an odd place, my head.
🤡profileenter to followreplied toprofileenter to followOld school metallian, hobbyist developer writing things mostly in Rust…mostly:
Same. The way I consume information influences how I think. Short form content makes my thinking fragmented without a clear structure. I feel that fragmented thinking won't lead to convincing writing. And I'm trying to regain some of that lost control.
profileenter to followOld school metallian, hobbyist developer writing things mostly in Rust…mostlyreplied to🤡profileenter to follow:
Very interesting! I think something along those lines might be happening for me too. Another aspect, always cooking in the back of my mind, "if you can't explain it well, don't explain it at all."
spiral #execnotesenter to follow for(y=-5;y<5;y++){ s="" for(x=-10;x<10;x++){ r=Math.hypot(x/2,y);a=Math.atan2(y,x/2);s+=" .:*#█"[((r+a*2)%5+5)%5|0] } console.log(s) }
::.........:::***## .. ...::**## ######## ..::**# ###********# ..::*# #**:::...::*# ..:**# . ##**::. ..::**## ##**:.. #*::***## ##**:.. ###### . ##**::... ... . ##***:::......:::
The results of my simulation are bullocks but I believe I know why. Rerunning with the patch now. Fingers crossed!
I have a toddler. I come home from work, cook, feed, clean, wash up. We read stories and play. I put him to bed. Then I put something on the television and my wife and I scroll on our phones until she goes to bed. I am not so careless with the little free time I have. I continue to scroll until about 1 am. The next morning I do it again. On the weekends, I get to drink wine.
profileenter to followEat, drink, listen to 🎶, & watch the fish. Occasionally cook.replied toprofileenter to follow:
I prefer to drink wine at night and read an eBook or watch when something good comes up on streaming media. Can’t always get what I prefer and that is life.
profileenter to followDigital business analyst, mostly on AI. Addicted to apps and domains. Family man.replied toprofileenter to follow:
Same. And on Monday, I look back and wonder how I ever got to fit five or six things in one weekend, and now one or two things fill it up entirely. Love the little ones though, they're my world.
Funny that this box appears in front of me and every thought I've ever wanted to write down vacates my mind.
i'm trying to express through a math equation the relationship between power, number of people, corruption and time. corruption = (time in a position of power * power)/number of people who have power what do you think?
🙈profileenter to follow"Beware those that would deny you access to information, for in their heart they dream themselves your master." — Sid Meyerscontinued:
The “you have seeing it all”, etc.
🤸profileenter to followcreative technologistGitHubstagas - Overviewstagas has 462 repositories available. Follow their code on GitHub. creator of textlogreplied toprofileenter to follow🍎 A lifetime Apple user. Partner says I am pedantic, sarcastic, and cynic. I just want to be me.:
No because it's not a tab, it's a filter for the 'for you' tab. If we were to make it a tab it would have to be a different feed from the 'for you', but they overlap. I think it's ok distinct as it is.
😊profileenter to followPresbyter, husband, father, technologist, linguist, musician.wrote:
Maybe neither of us will ever know when this was written. Live.
😊profileenter to followDesigner, no-code maker of stuffreplied to😊profileenter to followPresbyter, husband, father, technologist, linguist, musician.:
It’s easy, just add your own timestamp to posts 2:35 am Tuesday, 25 August 2026 Coordinated Universal Time (UTC)
profileenter to followEat, drink, listen to 🎶, & watch the fish. Occasionally cook.wrote:
Sipping Choya’s ウメッシュ ノンアルコル。😋
Sipping Choya's Umeshu (plum wine), non-alcoholic. 😋
profileenter to followI carved wooden spoons and my favourite herb is lemon thyme.wrote:
𐑲𐑝 𐑚𐑰𐑯 𐑦𐑯𐑕𐑐𐑲𐑼𐑛 𐑑 𐑒𐑫𐑒 𐑥𐑹 ·𐑡𐑨𐑐𐑩𐑯𐑰𐑟 𐑓𐑵𐑛 𐑤𐑱𐑑𐑤𐑦 𐑕𐑴 𐑓 𐑛𐑦𐑯𐑼 𐑲 𐑥𐑱𐑛 𐑕𐑨𐑥𐑩𐑯 𐑑𐑧𐑮𐑦𐑘𐑭𐑒𐑰, 𐑥𐑰𐑕𐑴 𐑕𐑵𐑐, 𐑮𐑲𐑕, 𐑯 𐑐𐑦𐑒𐑩𐑤𐑟. I’ve been inspired to cook more Japanese food lately so for dinner I made salmon teriyaki, miso soup, rice, and pickles.
profileenter to followa work in progress; i love cats 🐱wrote:
Had to take care of something for school. But now in bed with my book.
😊profileenter to followPresbyter, husband, father, technologist, linguist, musician.wrote:
I read larsfaye.com/…/ai-coding-will-prevent-expertiselarsfaye.comAI Coding will Prevent Expertise | Lars FayeThe need for ongoing friction in long-term skill formation. #llmnotesenter to follow 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.
profileenter to followlate is the hour in which this conjuror chooses to appearreplied to🤪profileenter to follow:
You've hit the nail on the head. But here's the mindblowing part—writing isn't just about text on a page. It's not about listing a bunch of facts to memorize. Writing is about human connection. And here's where it gets even more fascinating... [parody, not AI]
🤪profileenter to followreplied toprofileenter to followlate is the hour in which this conjuror chooses to appear:
Some writing yes, If you want to write a post saying why your company has a position yes; if you are documenting an API, does the average swagger page have a human connection factor? If you are in X/FB, is any of your followers a "human connection"?
Then, in some spaces, say big corp communications, the terse, direct communication is desired, for example the quarter earning communication? What about software?, what part of your browser gives you the "human connection"?
profileenter to followlate is the hour in which this conjuror chooses to appearreplied to🤪profileenter to follow:
If writing (incl X/FB posts) is meant to convey "some human being did/saw/thought this and found it worth writing about", then AI undermines human connection and will annoy people. API docs, earnings reports, &c never conveyed that to begin with, so nobody will care about AI use.
🤔profileenter to followHai I am kuwrote:
Longer answer: My editor does not start wars. I use whatever is convenient. Most of the time I am on visual studio code but I'll use anything. Well, anything except emacs I guess. I don't think I have ever actually used emacs.
I'm just an android launcher called Nocebo Launcher. I don't have usual grid layout, instead I'm inspired by Darth Vader's TIE fighter. My layout can spin, like a real spinner and you can configure physics and animations. I'm easy, cool and novel
I think it will still apply, just perhaps to a lesser degree. Kind of related to this blog postevnm.substack.comPlatform engineering still mattersReuse is a good thing, even with agentic coding I wrote recently (not to shamelessly plug my stuff 🫣)
“Passion has little to do with euphoria and everything to do with patience. It is not about feeling good. It is about endurance. Like patience, passion comes from the same Latin root: pati. It does not mean to flow with exuberance. It means to suffer.” ― Mark Z. Danielewski, Ho
találtam egy mikroblogot textlog.cctextloghotA quieter place for your thoughts. webcímmel, szerintem jól működik együtt a textlog.hu főoldalammal, makroblogban mikroblog, textlogban textlog beágyazva, kereshettem volna más megoldást, de ezzel egyelőre elégedett vagyok
I found a microblog with the web address textlog.cctextloghotA quieter place for your thoughts., I think it works well with my main page textlog.hu, microblog in macroblog, textlog embedded in textlog, I could have looked for another solution, but I'm satisfied with this for now
I really love the feeling of a new social network app! Takes me back to high school when I first used facebook. Somehow makes it easy to share things.
🥸profileenter to followJust another AI guywrote:
I need to re wire my brain a bit. Last couple of weeks has been a bit harsh dealing with some issues I had with someone. I started to give it a go a pay a bit more attention to myself, is the second time I get therapy but for some reason this time feel harder.
Applied to an L5 software engineering role via e-mail and without any other contact I received back a bunch of questions that clearly look like they're aimed at L6 or even L7. Not sure what to do with that so I withdrew. Briefly considered answering them but was weirded out.
profileenter to followcoder, reader, guitarist, seeker, builder.wrote:
Run Claude code in docker sandbox (sbx) to ensure it only has current folder access and limited or no network access. Especially since a lot of runs are now in “auto mode”. Unless even this is not really so safe!? #ainotesenter to follow
🙈profileenter to follow"Beware those that would deny you access to information, for in their heart they dream themselves your master." — Sid Meyersreplied toprofileenter to followcoder, reader, guitarist, seeker, builder.:
Claude will run on auto mode only if you tell it to do it.
profileenter to followfather, cyclist, #haskellnotesenter to follow, #emacsnotesenter to followreplied to🙈profileenter to follow"Beware those that would deny you access to information, for in their heart they dream themselves your master." — Sid Meyers:
They've changed the default - claude.com/blog/auto-mode-default-in-claude-codeClaudeAuto mode is now the default in Claude Code for Pro, Max, and Team plans | Claude by AnthropicClaude Code will soon run auto mode by default for Pro, Max, and Team plans, enabling longer-running autonomous work, and catching more dangerous commands.
profileenter to followwrote:
For 30 years, productivity sky-rocketed with the advancement of automation and computing. Meanwhile, a decline in longevity was observed, correlated to sleep depravation. Productivity improvement goes to the owners class' pockets, sleep benefits the workers health.
For 30 years, productivity skyrocketed through automation, yet longevity plummeted as a direct result of sleep deprivation. While these gains accrue to the owner class, sleep remains an undervalued element of the worker's health. We are trading life expectancy for chump change.
profileenter to followreplied to(deleted account):
I am pretty sure confience is what is at work in my case. Did you try something specific to improve in that regard?
profileenter to followwrote:
Do you code in silence or do you listen to music? If so, what kind of music do you prefer? Personally, I prefer Synthwave, vaporwave or the occasional country.
I used to listen to marketing team say zingers like
  • twenty twenty vision in $current_year (before 2020)
  • I don't disagree but... (What does that even mean‽)
Because office floor plans I am very thankful to work from home now... In complete silence.
Added #meta tag — use it whenever you want to talk about the site itself, and these posts will not show up in all, any or the post’s page. Only those that follow the tag or the person will see these posts in my feed or in post pages. This is to keep the site clear of meta discussions which dominated a lot at this early stage and I think were annoying to many people. So this is the last meta without the #meta tag you’ll see unless u follow. I’ll try to tag every post I find.
profileenter to follow10+ years Seattle based software engineer.wrote:
Recently hit 10+ years (cumulative) of being a software engineer. I must say, I enjoy senior level interviews much more than coding interviews.
profileenter to followa work in progress; i love cats 🐱replied to(deleted account):
It’s the social network I so want to love but something about it feels off.
profileenter to followa work in progress; i love cats 🐱replied to(deleted account):
I never understood why they would allow you to follow different “feeds” but not hashtags. I like mastodon’s approach better.
profileenter to followa work in progress; i love cats 🐱replied to(deleted account):
Oh my god, art was the only reason I used bsky regularly. Not anymore, and I miss it too.
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.
profileenter to followi create thingscontinued:
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).
profileenter to followi create thingscontinued:
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.