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 hatw Sunday evening anxiety :(, man seriously wtf?

:((

So, I'm watching two shows right now - Silo and Attack On Titan. I'm nearing the end of S3 on Silo and have just finished S3 of AOT. The parallels between the two are interesting but the contrasts are more interesting, namely how much more intricate AOT is.

Anybody here actively working in or has contributed to (in any capacity) conservation (be it flora or fauna)?

You know, as interesting as that sounds, I wouldn't at all know where to begin with something like that. Do you have a suggestion?

I suggest looking around your area first, perhaps there are conservation groups already. Then, select among them which one focuses on native species that are most impactful to your place. 😁

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.

while we wait for this to be true
we could add our bits together 
remember to not sleep forever
return when your dreams are through

Start with cringy poem, end with cringy pseudocode. At least it comes naturally.

Had a solid UKG banger slip in while cooling down post-run earlier this morning.

This could just be on Activity Pub tho right?

Uhm, not really. Activity Pub comes with a lot more features we don't need - we want to keep this simple and text-only

replied to(deleted account):

yup exactly

it’s time! y’all! ) ( ( ) ) ) ( ( _______)_ .-’---------| ( C|/\/\/\/\/| ‘-./\/\/\/\/| ‘_________’ ‘-------’

;,' _o_ ;:;' ,-.'---`.__ ; ((j`=====',-' `-\ / `-=-'

All emails from textlog go to my junk folder, . Using iCloud+. Not sure if anyone reported that before, so here I am. :-)

Yeah it's happening to people. It's because the email contains a link and we don't have the reputation yet. Not sure what to do, have you tried reporting it as 'Not spam' in your client? Maybe if enough people do that it will fix. Gmail works ok.

Yup, I am moving them out of it. It might take a while, but eventually should be OK. All good, hopefully now with a password I will not have much use for them any more.

im starting to really like the lack of timestamps

Hello loggers

Nudged by an interesting read about time perception to try reclaim moments where I can deliberately feel bored again.

a lustaság meg fél egészség

Laziness is half the health.

I'm really interested to play around with textlog for a bit. I miss the space that once was Twitter and its constraints. Let's see if we find any users here ... ;)

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.

Monitoring the situation

I just discovered that even thou I have already posted a couple of times, I cannot post a link if I don't post first 3 times

The live tab on the android app is interesting... How does it work? This is a test 🫣

Does it do some kind of polling? Is there some kind of notify like publisher subscriber? 🤔

It’s using the /firehose endpoint. It’s an SSE endpoint publishing everything latest. Though I meant it to be used server-side, since it’s heavily rate-limited — up to 3 conns under the same network, but I can’t control how clients decide to use it so.. ¯\_(ツ)_/¯

…

Might just lift the limitation.

Lifted, that’s how clients want to use it then so be it! Should be fine. We’re nowhere near crashing the server from connections.

anybody got some recent software recommendations that you cant live without anymore?

I’m not supposed to take that literally of course, but I don’t think software has such an important role in our lives, for most of us. Water, food, air. Those you can’t live without. When it comes to software, I spend most of my workdays in the shell (vim, git, grep,…) and if $place allows in mutt+weechat (although that’s mostly outlook and teams). Nothing particularly new!

Nextcloud with Files, Talk, Calendar, Memories and more is damn useful for family life though 🙂

mise-en-place

considering the replies, i think the "recent" flag got overlooked

…

is emacs recent enough

…

WM keyboard, it's such an absurdly overenginereed keyboard but I love it so much! Very responsive developer too.

If you need to hear this, I love you

Thanks