any · textlog

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.

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:

Finally watched Project Hail Mary. Easily one of my top 5 favourite films but it’s still not nearly as good as the book — I feel like the cut some pretty important scenes

replied to:

It's the first film in a long time that I enjoyed.

…

replied to:

I loved the book and I’m always fearful when a movie script is developed and a movie produced, so my relief after I saw the movie was immense. I too feel they’ve cut-out some bits, but the main thing that a book almost always takes my breath away with is fueling my imagination. A movie would (possibly) never nail that aspect.

replied to:

I just watched it as well. It was fun. There were a number of things that I felt weren't explained well and broke my suspension of disbelief; I haven't read the book, but I found myself really curious whether the book takes the time to justify things more. Obviously, the movie has a lot of pressure to rush to the next "big moment".

…

replied to:

If there’s one thing Andy Weir can’t be critiqued on then it’s not fully justifying all of the science. I think the film on the other hand can be hard to follow for someone who has neither read the book nor has a scientific background. It’s just hard to monologue about gravitational forces and relativistic speeds on screen.

wrote:

the day is done! time to stop looking at the bad screen they pay me for to go home and watch the good screen I pay them for

replied to:

So true... I type in a screen I paid for 🤣

wrote:

오늘은 휴가~

Today is a vacation~

wrote:

I need a new microblogging platform

wrote:

Never forget, !

continued:

Come for a dance!

wrote:

welcome! 🎉

@grinprofileenter to followcultivating shared resonance | grin.io grin.ioGrinI make magic internet tech and social experienceswrote:
just setting up my txtlg

replied to:

woo! thanks for having me

replied to:

하이 그린. 만나서 방가

Hi Green. Nice to meet you.

wrote:

Trying the persona feature. It is very nifty!

wrote:

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.

continued:

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.

continued:

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.

wrote:

Hi Textlog

wrote:

Experiences of life spring from the contrasts.

wrote:

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

wrote:

I arrived Seoul, now. Stay for 5 days.

wrote:

I'm going to attempt to build a take on a board game I loved, from 1989, MBT, by Avalon Hill. Watch me face plant. Starting by trying to understand hex math.

wrote:

One of my favourite styles of Brazilian music is "Chorinho", and Luca Frazão is this new kid on the block who's just absolutely amazing:

wrote:

┌─────────────────┐ │ hello, world │ │ │ │ i was here. │ └─────────────────┘ ,

wrote:

Spotted this Royal Air Force A400 over the lake yesterday, it was so different from civil planes www.planespotters.net/…/zm420-royal-air-force-…atlas-c1-a400m-180

wrote:

I always associate summer with the months June, July, August — thinking that end of August is end of summer — but no, 7th of August is actually summer midpoint, we’re in the middle now, not near the end.

wrote:

this is where I live. it’s a plateau. it’s quiet, we have cats and there are goats around and fig and pear trees.

replied to:

Fired up street view on Google Maps to have a look around. It seems like a pretty relaxed and peaceful place to live. 🌞

…

replied to:

I was obsessed with Greece as a kid because of The Chipmunk's Adventure movie where they were dancing on the statues, ha. I was more into he statues (even if cartoon) than the dancing, and yet I have still never been there (I'm 45).

replied to:

Crete is beautiful, I remember being on vacation there many years ago and hiking a long gorge. It was a really great experience.

…

replied to:

Crete is beautifulIt is!hiking a long gorgeThat would be ! it’s not very far from here and it’s the largest in Greece, 7–8 hours hiking. You arrive at a beautiful beach. I crossed it when I was little, I remember whining a lot because for my small feet it was much harder.

wrote:

print('test')

test

wrote:

This guide has really worked out for me after trying so many different methods - berbarianwizard.substack.com/…/beyond-calories-fat-loss-guide

wrote:

Trying to gently work my way back to the target intensity needed for the Norwegian 4x4 to get my weekly dose of suck and feel accomplished after. Chronic left leg pain unfortunately likes reminding me it's there though.

wrote:

Wow

n=42
print(n)

42

wrote:

This could just be on Activity Pub tho right?

replied to:

Uhm, not really. Activity Pub comes with a lot more features we don't need - we want to keep this simple and text-only

…

replied to(deleted account):

yup exactly

wrote:

Bad night, first the boy woke up at midnight and went with him, then at 4 am heavy rain started so went to bring the bike to the terrace, then thunderstorm and kids were scary, then the cat meowed at 6am. I’m okay.

wrote:

anyone else seriously into agentic loop development?

replied to:

I've been working with physical AI - Letting LLMs control robots in a warehouse to collaborate and collectively come up with a physically correct solution to carry out a natural language intent. We had to study the reactive nature of agents, nudges they required, etc.

replied to:

that's awesome and near my heart. I kicked off a personal project emergingrobotics.ai

replied to:

haha that's a coincidence. Site looks awesome. The moving away from ROS2 part is so true. One of our main potential customers for physical AI solutions (a telecom provider in JP) communicated the need for agents to be able to pick up controls from any vendor

…

continued:

I apologize if that sounded obvious/non-obvious/amateurish haha. I was an intern and worked more on the agentic side of things, it was just a non-primary experiment

wrote:

, tonight, August 7th 2026. doing some security hardening and UI-UX fixes

replied to:

hi! welcome and congrats on the ! you can are free to linkify it if you use the full url.

wrote:

Watching the UTMB livestream. Any other trail fans out there tuning in?

wrote:

cool platform. found you on ycombinator.

replied to:

welcome!

wrote:

Turned Stepper (self-hosted AWS StepFunctions) into client-server. Server hosts state machines, clients poll for tasks. New resources about running . claude -p works, now thinking if I need interactive session management.

wrote:

i made it is an open-source version of grammarly that uses chatgpt, grok subscription or even then already local apple intelligence models.

replied to:

looks great!

replied to:

thanks mate.

wrote:

The dream of Twitter circa 2007 is alive in 2026

replied to:

Twitter was 140 chars. That makes it double the dream, right?

wrote:

apparently there is some filtering. can't say "hit*s with hand".

wrote:

Using deep research for trip planning and visualising it with coding agent is fun.

wrote:

Been a bit quiet here the last week or so. Recovering from ill health, at risk of redundancy, and working on side projects. It's been a bit full on. Does anyone make pay check/cheque money from side projects? Can I use my redundancy runway to turn some websites from side hustle to salary money?

replied to:

warning: possible violence content
click to view anyway

░ ░░░░░░░░░░ ░░░░ ░░░ ░░░░░░ ░░░░ ░░░░░░ ░░░░░░░ ░░░░░░ ░░░░ ░ ░░░░ ░░░░░░ ░░░░ ░░░ ░░░░░░░░░░░░ ░░░░░ ░░░░ ░░░░ ░░░░░░░░░ ░░░░░░ ░░░ ░░░░░░ ░░░░ ░░░░ ░░░░ ░ ░░░ ░░░░░░░░ ░░ ░░░░ ░░░░ ░░░ ░ ░░░░░░░ ░░░ ░░░░░░░░░ ░░░░░ ░░ ░░░░ ░░░░░░ ░░ ░░░░░░░░ ░░ ░░░ ░░░░░ ░ ░░░░░ ░░░ ░░░░░░░░░░ ░░░ ░░░ ░░░░░░ ░░░░░░░░░ ░░ ░░░░ ░░░░░░░░░░ ░░░░ ░░░░ ░ ░░░░░ ░░░░░░░░ ░░░░ ░░░░ ░░░ ░░░░░ ░░ ░░░░░░░░░░░░░░░░░░░░░░░░░ ░░░░░░ ░░░░░░ ░░░ ░░░░░ ░░░ ░░░░░ ░░░░ ░░░ ░░░░░░░ ░░░░░░░ ░ ░░░░░░░░░░░ ░░░░░░░░░░░░░░░░░

Recovering from ill healthHope you’re feeling better now!Does anyone make pay check/cheque money from side projects?That’s the dream, I’ve only made a few hundreds so far. I’ve had a machine gun approach. Shoot as many rounds as possible in the hopes I might hit something. has helped immensely in this direction. I’ve done a dozen projects past year and while became I’m still not there yet. I’m hopeful though! 😊

wrote:

Well this looks very nice indeed. Just dipping a hoof into the river for now ...

replied to:

Which river? Asking because most rivers are contaminated these days. Be careful!

replied to:

ty and welcome!

wrote:

and it's all

wrote:

today was a good day

replied to:

\ / _\/_ .-'-. //o\ _\/_ _ ___ __ _ --_ / \ _--_ __ __ _ | __/o\\ _ =-=-_=-=-_=-=_=-_= -=======- = =-=_=-=_,-'|"'""-|-,_ =- _=-=-_=- _=-= _--=====- _=-=_-_,-" | jgs=- =- =-= =- = - -===-

wrote:

Hello, seems fun this space, keep explore!

replied to:

Really nice so far!!

wrote:

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.

wrote:

találtam egy mikroblogot 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 , 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

wrote:

🐉

let N=6,D0=[0,1,0,-1],D1=[1,0,-1,0],s=[],g={},d=x=y=xa=xb=ya=yb=0;
for(let n=0;n<N;n++){s=s.concat([1]).concat(s.map(x=>!x).reverse())}
for(let i=0;i<s.length;i++) {
  x<xa && (xa=x);y<ya && (ya=y);x>xb && (xb=x);y>yb && (yb=y);
  let t=s[i]?1:-1,e=(d+t+4)%4;
  g[x]||(g[x]={});
  g[x][y]=g[x][y]?"┼":"┌┐└┘"[(t*(D0[d]+D0[e])>0?0:2)+(t*(D1[d]+D1[e])>0?0:1)];
  x+=D0[e];y+=D1[e];d=e;
}
for(j=yb;j>=ya;j--) {
  let u=""; for(i=xa;i<=xb;i++){u+=(g[i][j]||"·")} console.log(u);
}

·┌┐┌┐·······
┌┘└┼┘····┌┐·
└··└┐┌┐···└┐
···┌┼┼┘···┌┘
···└┼┼┐┌┐┌┼┐
···┌┼┘└┼┼┘└┘
···└┼┐·└┼┐··
····└┘··└┘··

continued:

OK, so you only get 10 lines of output. (I tried to get ChatGPT to write this program but it kept messing up, so I wrote it by hand.)

wrote:

I like the minimalism of this site, very well done imo. It is more engaging.

replied to:

Appreciate it, thank you!

wrote:

this will be the platform that fixes me

wrote:

┌────────────┐ │ ╔═╗ ╔═╗ │ │ ╚═╝ ╚═╝ │ │ ┌────────┐ │ │ └─██████─┘ │ │ ██████ │ └────────────┘ ,

wrote:

i miss real coding

replied to:

me too, but at the same time i'm enjoying getting things done, otherwise i would get lost in details like bikeshedding naming variables and making the code look pretty, and little would be done.

…

replied to:

whats stopping you from it?

replied to:

Nothing, I still write code by hand for most personal things, but for work, it seems AI has been adopted uniformly.

…

replied to:

I feel you there.. and fear the craft will vanish.

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:

I hate it when I don’t remember if I took my midday pill or not. Not that it matters a lot, but still, annoying. I have notifications set up but I discard them by habit because they are exact times and my sleep pattern fluctuates.

……

replied to:

I once saw someone flip their pill bottle upside down after taking a pill. Not sure it'd help me, because I suspect that somehow I'd still only pay half-attention when taking pills and so still get forgetful and confused :shrug:

…

replied to:

That might work, thanks for the :)

replied to:

when I took insulin I would always forget and got a cap that had a time since the last time I had uncapped the pen, worked really well so I never double dosed. they make similar tools for pill bottles, but the best has been just having a pill case as much as it makes me feel old.

replied to:

I’ve disabled ALL notifications except my meds. I highly recommend it. I check messaging or emails every hour or sometimes once a day. If I’m expecting someone to message me I’ll re-enable the app, but then disable after. It is so liberating!

…

replied to:

That’s how I’ve had it but it didn’t work because I’d get my midday notification like 1 hour after waking up. My day pattern ≠ pill pattern. They just have to be spaced properly so I’d have to have relative notifications according to when I wake up lol.

wrote:

𐑲𐑝 𐑚𐑰𐑯 𐑦𐑯𐑕𐑐𐑲𐑼𐑛 𐑑 𐑒𐑫𐑒 𐑥𐑹 ·𐑡𐑨𐑐𐑩𐑯𐑰𐑟 𐑓𐑵𐑛 𐑤𐑱𐑑𐑤𐑦 𐑕𐑴 𐑓 𐑛𐑦𐑯𐑼 𐑲 𐑥𐑱𐑛 𐑕𐑨𐑥𐑩𐑯 𐑑𐑧𐑮𐑦𐑘𐑭𐑒𐑰, 𐑥𐑰𐑕𐑴 𐑕𐑵𐑐, 𐑮𐑲𐑕, 𐑯 𐑐𐑦𐑒𐑩𐑤𐑟. I’ve been inspired to cook more Japanese food lately so for dinner I made salmon teriyaki, miso soup, rice, and pickles.

wrote:

I had hit a throttle now. That’s a “subtle" way to tell me to slow down.

wrote:

Finished watching Titanic with kids. One of the best movies ever.

replied to:

“I figure life’s a gift and I don’t intend on wasting it.”

wrote:

I finally bit the bullet and have started to use dictation software more often, even outside of just my prompts. I really like it. Hopefully, computer use becomes much smoother soon. I would love to be able to control my computer with just my voice.

wrote:

We almost had one, but stopped after the main setup but before signing on. Wasn't convinced of the value. Seemed like they were just doing portfolio reallocation for a pretty penny. What are you experiencing?

@eignerchrisprofileenter to followTraveler, engineer, founder of personal finance AI, www.heyalistair.comwrote:
Anyone on here fed up with their investment advisor? Interested to hear your frustrations. #personalfinancenotesenter to follow

replied to:

Had one for ~8 years. Talked to them maybe 10 times, and they only ever did basic indexing w some tax loss harvesting. We should have just self managed.

created a quiz:

Which planet has the shortest day?

continued:

We have quizzes! The syntax is:

Some question #quiz
Wrong answer
> Correct answer
Wrong answer

Optional revealed explanation text shown after choice

wrote:

Devs! Drop your so we can follow each other! Love to see the projects you’re working on. Mine: —

……

replied to:

, however my project will be on Tangled. .

…

replied to:

That tangled link goes no where, or it is slower than molasses. Give up.

replied to:

Derp. It looks like it's got a case of the GitHubs. Not sure what's up. It is down for me as well, but officially isn't. status.tangled.org

replied to:

Unlike others, I’m far too quick to put stuff up here. I tend to look on building and showing as THE point, but maybe I’m wrong.

…

replied to:

I looked at your personal website. I too am my own worst enemy and afraid to write. I feel like I have something to say but at the same time I don't know what to say. How can that be?

wrote:

|\__/,| (`\ _.|o o |_ ) ) -(((---(((--------

continued:

meow, no likes, no karma points, no engagement tricks, just thoughts and replies

wrote:

Sunk cost fallacy is no longer applicable in the age of . Now you can do broad changes without second thought, u can always revert back, without incurring the cost of doing so, since it’s all done so quickly and effortlessly.

replied to:

I think it will still apply, just perhaps to a lesser degree. Kind of related to I wrote recently (not to shamelessly plug my stuff 🫣)

…

replied to:

Nice read! Thanks for sharing!

replied to:

My biggest problem nowadays is realizing that the coding was never the real problem, it was always lack of domain knowledge, lack of specs or just conflicting visions.

wrote:

This seems nice

wrote:

in , upstairs the music is 👌

wrote:

wat dis do

wrote:

This bout of COVID is more like “Corona Light” compared to previous years, but I’m still spending most of it in bed. Stay safe out there.

wrote:

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.

…

continued:

Oh, and I'm often listening to The Lot Radio or NTS livestreams, if the DJs are playing music compatible with working.

…

replied to:

Any conversation