any · textlog

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.

moreless

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.

The two projects of github:schildep are "3d mesh intersection" and "multipolygon intersection". I can try "Voronoi diagram generation" as a starter.

I sit in meetings all day long, I roll my eyes and die a bit and synergize and circle back inner life sacrosanct outer face smiling stone no need to rush: executives don't need to work just synergize and circle back

just setting up my txtlg

welcome! 🎉

woo! thanks for having me

…

하이 그린. 만나서 방가

Hi Green. Nice to meet you.

úgyhogy az idénre beígért informatikai projekjeimet már eleve vaporware-nek nyilvánítom a késedelmes indulás miatt

so I'm declaring my promised IT projects for this year as vaporware from the start due to the delayed launch

and it's all

vibing

same

Sharing a link to my music blog: crusty-metallian.net Not a lot of content yet, it's a work in progress :)

Big list of events you've attended! Definitely dump more photos when you find the time. I'm more of a casual Nu-Metal enjoyer myself, but I can also appreciate some of the classics.

It's taken me 5 years to get a photo storage engine off the ground. I've got it now, so I now have to go back through time and get the photos up. AC/DC next Thursday!

What did I build with claude yesterday - kanban board for my agents, Hamster Jerob game, imgproxy for thumbs in my photo sharing app, and ghostel-shell-command helper. Today - digital detox day.

What's your favorite documentary? Currently watching The Machine that Changed the World and loving it.

The Motor Cycle Diaries I think.

&\

Wow show code

n=42
print(n)

42

Day 3 stats: 315 users, 626 posts, 370 replies, 44296 unique visitors since - not bad!

Woo!

Past year's personal projects that went viral: Yet I'm poor and can't get an interview :S how do I solve this?

personal projects probably just arent the right knob if you want to get unpoor. if you want my honest advice i would recommend not showing hallucinate to potential employers, its landing page looks one-shot claude and is gpu heavy. but the others look very nice.

nice to hear though! did you like it? living in berlin for 6 years now

loved it, I visit whenever I can, it's my favorite place on earth :D tried to live there many times, even had a job two times but it didn't work out. The air is different.

its a rough but very lovable place i agree ^^ maybe youll find your way back!

…

Do your stuff well, with love, and life will sort it out.

By the way, I visited the rave and it is a good party! The current DJ is blowing it. I already have a soundtrack for today.

The interface needs some work. For example, I would like the textarea that I am using right now to be as wide as the header above. Also, where is the character counter?

Fixed! The character counter is impossible tho as we don't have any client JS.

Monthly Mixtape - Sep 2026

I wonder, is life best lived like a job? I.e set goals for yourself and then work to achieve them? Today I realised how passively I have been living mine so far, but maybe that's ok? I don't want a second job.

Up up and away. Not sleeping, ok. Run run and breathe. Not waking, leave.

Everytime I come on here I feel so dumb compared to everyone -_- mostly because I didn't come here from GitHub or any other major site like it .. :P

I literally came here because I saw the app on F-droid, I didn't even know this app existed until then.

Any advantages in using the app instead of having the site as a PWA on Android?

…

I don't see any, this is just how I found out about the app and use it.

I've never used f droid until getting the app! does it have any other cool apps? :O

…

Absolutely! There are many FOSS apps as alternatives to closed ones, I have it on every phone.

Is this true? Sometimes, AI allows for socratic thinking, this is, the conversation with the machine allows the thinker to go further as the AI thorws ideas to the conversation. Many times, the AI reasoning is not good enough, but like a friend that says a funny think that sparks an idea, the AI can help our brain to see other possible paths. The AI doesn't need to be right to be helpful

that's only true if a) that "rubber ducky" entity is not leading the line of thinking down the wrong path, and b) the human thinker is actually doing the critical thinking, and not the machine. The latter is where my criticism of unbridled AI use is in this case, wherein the human becomes the rubber ducky instead of the other way around.

Indeed. The AI throws back ideas, but it is the human who must do the heavy lifting. In this regard, the AI is a sort of mirror, it reflects what you send it, showing another side the object. But if the human messages are bad, the AI will respond with bad quality answers.

echo “films” >> .textlog echo “books” >> .textlog echo “games” >> .textlog sudo rm -rf /etc