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

کوئی نجراجہ لیکر آیا ہوں میں دیوانہ تیرے لئے

I have brought some Najraja, I am crazy for you

آپ کے دیئے گئے کی درست اور معیاری اصلاح "کوئی لے کر آیا ہوں، میں دیوانہ تیرے لیے" ہے۔ اس جملے میں 'نجراجہ' کی جگہ درست لفظ نذرانہ (تحفہ) ہے، 'لیکر' کو الگ الگ لے کر لکھا جاتا ہے، اور 'لئے' کی درست املا لیے ہے۔

The correct and standard correction of your given is "I have brought a , I am crazy for you". In this sentence, the correct word for 'najraja' is 'nazran' (gift), 'lekar' is written separately, and 'lay' is spelled correctly.

Two roads diverged in a wood, and I I took the one less traveled by, And that has made all the difference.

A good start for one of those "missing 411" videos on YT.

Love the idea! Love the UI!

ty! :D welcome!

Google Play

for a moment I thought someone had published it 😂 but soon I hope we’ll have it on both iPhone and Android app stores. We’re in the process.

Muggy this morning, but time to hit the road

még csak barátkozom azzal a gondolattal, hogy a Gemma 4 miatt először is Windows 11 lesz a gépen (meg hogy Szentmihályon presszó lesz), ezért nehéz elkezdeni

I'm still getting used to the idea that because of Gemma 4, I'll have Windows 11 on my computer first (and that there will be a presso in Szentmihály), so it's hard to get started.

The job market feels like it's been run over by a truck. What's the play here? Anything automated/streamlined (job platforms, LinkedIn, etc.) feels like a dead end. Messaging people, networking and so on seems like the only reasonable way, and that's a hustle all on its own.

It's definitely about who you know. But it always has been, fbow.

Quite a few major 's implemented today, API writes, password logins, full-text search. Wonder what's going to follow.

well, doesn't have posting endpoints, how to post programmatically then?

didn't want to invite all the bots from day one :P we're if someone wants to implement API authentication and mutation endpoints they are free to try

You might want to update your client now that we have !

…

thank you, updating!

done, replying from textlog-reply command that allows to select message to reply to

hello all and good morning. i need to go buy coffee

morning! one for me too. a cappuccino please.

Hell must have frozen over. I just installed Openclaw on my Linux box. I had already cobbled together an agent like thing (pi) that I talked to over Telegram, so I figured, let's give Openclaw 2.0 a try, locked down completely at first, but slowly opened up over time.

Happy [no] Labor Day to those in the U.S.!

First of the day <3

code quality is about coupling. coupling is not a technical property of the code bytes. code acquires its meaning in contact with the cultural environment, and coupling is about meaning. two constants with no semantic relationship are nonetheless coupled in pragmatics if they refer to the same domain concept. if your goal is to minimise the time integral of future work, you must understand your domain: it decides which lines will need changing. to carve up a codebase is to carve up the world.

I think you're right but executing on that idea requires a lot of care. It's similar to how functional programmers pathologically fear state; sometimes coupling/state are a necessary evil in order to keep the theory simple.

true! i might have been wiser to say: code quality is about managing coupling across the whole system. extracting a coupling sometimes requires you to introduce complexity beyond that which the extraction reduces.

Friday Aperitivo: martini, a magazine, and a dog by my side

there's a gentle kind of space not some echoing cave nor some incessant chirping flock more a darkened back room lit by a projector candid photos of your neighbors songs made only for friendly ears and the kind of brave words that rarely make it out of our hearts

"some incessant chirping" <- musical word choice

Putting a slide deck together (outside of work), despite agreeing with Tufte on this matter. I’ll also create a handout that tells the story better than the slides and deliver that, too, but was asked to produce a slide deck, and I think that’s part of the “effort theater.” Using Beamer for the slides, but not a theme that looks like Beamer because humans have eyes.

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’m really digging the cozy vibe of this site. Thanks, !

😊

release 0.1.0

more like 0.0.1 :P