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, world │ │ │ │ i was here. │ └─────────────────┘ ,

prussia's emoticon is so cute! (=ヮ≖)

I’ve had quite the successful day cooking today: make a Dutch baby for breakfast with blueberries, a bean stew for lunch using up all the week’s odds and ends, make a coffee and walnut cake, and barbecued/slightly smoked a whole spatchcocked chicken for the first time!

Hi =)

👋 hi! welcome

…

hi

bonjour

One idea that I've been thinking about is an or where it is a app so you get a new file everyday right except the app keeps track of all the files for you. the idea is that anytime you type anything it it basically makes a commit and use so anytime you type something it commits automatically after a quick pause after you stop typing.

That sounds ! Could also create summary titles with for the filenames in addition to their date so you can find what you were writing about easily. Also full text search.

Yes! Great idea. Not sure how I would implement it but the main idea is that you should feel free to delete text through out the day because everything is tracked in a git repo. 🫣

, editing on mobile breaks the “280 chars / 10 lines max use and @mentionsand more”. Writing a new note doesn’t.

Thanks, fixed.

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

So we can't use em dash anymore — lest we anger the mob. Truth be told though, English teachers have always discouraged em dash overuse because it is a subtle art and very easy to get wrong.

The funny thing is that in the UK, we don't really use the em dash anyway. We use the hyphen (I guess en dash?) with a space each side. So the em dash has always looked a bit odd to us... 😊

There are dashes (-), as well as en dashes (–), and there are em dashes (—), not to miss the mighty center dot (•) that looks like a perky boob when surrounded by brackets haha

Just get and read Chicago Manual of Style, or Oxford Style Manual if you so prefer, and you’re all set to use the various dash’es (and many other things).

There’s other dashes to pick if you want to steer clear of the almighty em dash!

…

The anti-slop mob is tiresome. With a careful and appropiate use of ai it is possible to make a lot of interesting stuff. And I hate even more when the mob "profs" that the text is ai using those ai detectros that can't detect ai.

I finished Rejection by Tony Tulathimutte and now I'm struggling to take any other book seriously. I need a pallet cleanser or something before I can move on

Trying to jump back into project work while my kids are still home before school starts on Wednesday 🫠

I gotta confess, I vibe codet a Kirigami-based application and I liked it. I am a anti AI person, and cannot wait for the bubble to burst. Yet I see it can empower people that do not know a tech stack, and get good enough results out of it. However i also see, it makes you lazy (and frustrates as soon as it gets somewhat complicated). It seems it is being adopted everywhere. This is scary... if it becomes necessary, will you be able to find a job where they don't require you to use AI?

I lament the death of programming as an economically-viable craft, but am also leveraging the new tools to build things and to try to stay competitive. I think we have yet to find out how agentic coding will really make sense for companies once the costs stop being subsidized. But it's clearly not going anywhere.

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 very much like textlog, it feels like a breath of fresh air

this

…

feel the same!

tysm! welcome!

Today visiting Zaragoza with an aunt and my mom, I hope to be this willing and capable of moving around for leisure when I'm in my 60s too

That will come with continued moving and activity throughout your life.

Being in your 60s is not that old. As long as keep up with movement over the years you should be fine.

Reggel egy kicsit letöröltem a kis Gemmának a csatolt részeit a számítógépről, mert már kezdett elegem lenni a hűlyeségeiből, mire apám azt mondta, hogy "van egy hapsi az interneten", aki húsz éve ezzel foglalkozik nem tudom, ha nem tűnt volna fel, én is ezt csinálom amúgy.

This morning I was deleting a little of Gemma's attachments from the computer because I was starting to get tired of her antics, and then my dad said, "There's a guy on the internet" who's been doing this for twenty years, I don't know, if he hadn't noticed, I'd be doing the same thing anyway.

Ordered JBL Charge 6, waiting for delivery today. Will mount into my bike and will listen to music while commuting 25km to the office. I'm a victim of marketing, seeing an ad, buying stuff.

Previously bought Do Nothing Club cap after friends visiting us and we discussed it while eating pizza; and then my wife got an AD on Instagram. Meta is listening for conversations to sell ads.

You mean you and everyone else around you. Those are really loud! Though JBLs have the best quality.

…

"Everyone else" around me while commuting are only planes departing from Schiphol Airport. ;-)

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

morning! one for me too. a cappuccino please.

Mind's empty. Heart's full. Desires? Average.