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

hello

Hi 👋

Bluey's "" is an ingenious way to save . The scheme is simple: One night a week, we make twice as much and drop it off at the other family's house. They do the same on a different night.The is deceivingly simple. Doubling a recipe is easier than preparing a second dish.

I found this from f-droid.

Pocket Trillium, brilliant!!!

Experiences of life spring from the contrasts.

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

Got a bunch of things to do, hate procrastination, any advice is welcome

Make a list, then tackle each thing individually until it's done

Gotta give it try, by now making a list is like the top of the list

…

Determine what matters most and make a list of the no more than 7 things. Do one thing well at a time, top down. Reprioritise as you learn more. Notes:

If you half-arse a task and decide that'll do, it's evidence it wasn't the right priority. Learn.
Any sort of productivity, multi-tasking, app, solution type thing is a scam or a money grab and isn't needed.
People tend to remember 7 things well, but struggle with longer lists and particularly fail to remember things in the middle.

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.

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.

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

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

Hello world. :)

Never realized how much slow builds kill morale until I have to do multiple back to back 😔

Nobody is complaining to me because I think they know they will be "voluntold" if they speak up 🤣🤣🤣

someone asked me if I were a bot. ahahahahaa...

Onboarded on Claude Team with Unlimited credit usage. In the first day, subscription limits were hit and then it silently went on spending 530 EUR in credits before I noticed.

In a single day? That’s insane. It’s 5 months on the 100$ Codex which is practically unlimited.

In a few hours, yes. Token-based pricing is insane.

I knew token-based was more expensive but didn’t imagine that much. Which is why u can’t compete making alternative coding agents, their own subscriptions are much cheaper, but why they do it on their own Teams package is weird. Maybe targetting companies they feel they can pay.

…

Yes, that's for enterprises, that want SSO, governance, budgeting, data protection, etc etc. For C-level they are interested in "how much do we pay for AI", and with personal subscriptions you can't answer => can't manage it. This 530 EUR is the price for that learning.

Ran a SQL workshop tonight, it went okay. just bums me out attendance to "learning" events is down unless you add the word AI to it.

there's so much room for activities!

I am writing a GIS app for Android and iOS. Any opinions/suggestions?

Make it easy for users to export polygons. My municipal GIS didn't for some reason so I had to guess by moving the mouse around and manually type the coordinates into Marble.

Thanks for the suggestion. Export feature added.

"Think of yourself as dead. You have lived your life. Now, take what's left and live it properly." - Marcus Aurelius

What a dude.

When I sit with curious people, I build a lot of curiosity. And inspiration.

maybe that right hand text can be made a little better? See:

The “you have seeing it all”, etc.

Improved. Still don't know what to do there. Maybe bring back a separate tab for inbox? wdyt?

…

or here :)

What do you think about making the “to me” similar to “for you”, “latest”, and “hot”, when it comes to font size, and the underline effect?

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.

Ah, I see, right. It makes sense.

My Country is On Fire mataherry.bearblog.dev/my-country-is-on-fire/

Hati-hati pak! I worked in Borneo before, and seeing the forests burn is horrifying. I miss all the wildlife there. Mau kembali ke Indonesia!

I'm in Java, not Kalimantan, really can't imagine how all the people and animals go through everyday living in literal hell of fire

…

Is there any contact you can make with international advocates?