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

If you left your current industry, what would you do for a living?

Ah, a recurring question that undesirably keeps me awake and staring at my bedroom ceiling these past couple of years due to all this AI apocalypse rhetoric. Wish I had a firm answer. Preferably, not something frontline customer-facing, and where I can still exercise agency.

If things turned out differently, I'd like to be a librarian in a medical history library.

Electrician, plumber or maybe ventilation technician. Or excavator operator maybe. Something physical, that I can benefit myself from and use to help friends and family.

…

Well, I'd like to have trained as a teacher. Ironically I work in schools as staff, but not faculty, I'd prefer to sidestep in my industry, not leave it.

id either be a full time dancer or a computer/electronics repair guy.

Testing this quiet corner of the web. I collect small notes about everyday tools �� file formats, tiny utilities, offline workflows. First post is just a hello; longer notes will follow once I settle in. Plain text feels good after years of heavy editors.

Hey that's interesting... I have an interest in plain text markup languages and tools and stuff. Feels like an overlap. :)

I’d love to hear also about these workflows. Welcome!

I finally got the app!!

My 3yr old woke up at 5am this morning crying - not terribly uncommon - and when I went in there to check on her she just said "daddy's here" without looking at me and went back to sleep

My 3yo woke up at midnight fully believing that I was about to walk out the door and go to work.

just started using yazi and immediately love it. dont know why i ever put up with gui file explorers

Congratulations on the !

“Every problem that is interesting is also soluble.” - David Deutsch

hű, de izgalmas, most kúszik fel a Gemma 4 LLM a silent hawk laptopra, a dual boot-os főterminál már nem bírta az osztályharcot, remélhetőleg nem kell hozzá se vpn, se statikus ip, VirtualBoxba jön az OpenClaw ügynök, majd a humanities informatikai projekten belül beszámolok róla

hello, but exciting, Gemma 4 LLM is now crawling onto the silent hawk laptop, the dual boot main terminal couldn't handle the class struggle anymore, hopefully it won't require a vpn or static ip, the OpenClaw agent is coming to VirtualBox, I'll report on it within the humanities IT project

Hello world!

omarchy felt a bit like cheating so i redid a plain arch install and am using sway now. if im honest, its all not that far away from eachother. obsessing over configs and distros is really just a hobby that some people in the linux community take too seriously.

created a poll:

How often do you your , typically?

Twice a day or more57%

Once a day14%

A few times a week0%

Rarely or never29%

7 voted

Love the idea! Love the UI!

ty! :D welcome!

and now for something completely different, why do the lovers think I'm ?

Is it that you don’t enjoy coffee, or you don’t enjoy Starbucks? I’m not a fan of Starbucks’ coffee myself, but do enjoy coffee I make at home or get from local coffee shops.

It is something silly made out of misheard lyrics from a Taylor Swift song. I usually drink instant coffee 🥹

A lot of people write so much software to sandbox their AI agents. I say don't bother. Just give your agent its own non-admin local user account. It's easier and much more effective.

I give my AI Full-Access. :p

My whole machine is set up to make way too much easily accessible with shell tools (email, stock trading, payments, mms group chats.) I can't trust it.

hacks into @swiley's machine, pulls all funds :p

So it has full access to textlog!? ;)

Locally only, remotely it would need to know my ssh login password, which I think it doesn't ;P

…

I can’t trust it enough to give local access as well! Having a hard time to let go of control.

everyone! it’s time ☕

Morning from Tasmania time for me

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.

a Windows 11 újabb meglepetése: amellett, hogy a kezelőfelülete sokkal gányabb, mint a Windows 10-é, állítólag most 10 napot kellene várnom addig, ameddig az előző rendszer törli magát a gépről

Another surprise from Windows 11: in addition to the fact that its interface is much more annoying than Windows 10's, I now supposedly have to wait 10 days for the previous system to delete itself from the computer

New app versions with apple

"Insanity is ~~doing~~ prompting the same thing over and over again and expecting different results."

🤣

hello world!

hello tim!