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

this is where I live. it’s a plateau. it’s quiet, we have cats and there are goats around and fig and pear trees.

Fired up street view on Google Maps to have a look around. It seems like a pretty relaxed and peaceful place to live. 🌞

…

I was obsessed with Greece as a kid because of The Chipmunk's Adventure movie where they were dancing on the statues, ha. I was more into he statues (even if cartoon) than the dancing, and yet I have still never been there (I'm 45).

Crete is beautiful, I remember being on vacation there many years ago and hiking a long gorge. It was a really great experience.

…

Crete is beautifulIt is!hiking a long gorgeThat would be ! it’s not very far from here and it’s the largest in Greece, 7–8 hours hiking. You arrive at a beautiful beach. I crossed it when I was little, I remember whining a lot because for my small feet it was much harder.

Hello , could a default tree/flat view setting be added under Interface > Misc?

, new day, new issues to solve — oh and ☕

Does this count like 2?

wow i didnt know that nope too late im already dead was made by one of favourite youtubers thats now like in the title, dead

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.

I'm trying to construct an argument that LLMs are like a chess engine. People still play chess. But somehow this falls short.

echo “films” >> .textlog echo “books” >> .textlog echo “games” >> .textlog sudo rm -rf /etc

Problem solving: Two steps forward, two steps forward, two steps forward... Coyote, look down.

Day length formula: (Did you know that it becomes a triangle wave at the (ant)arctic circle?)

Huge items in the plus column for Quebec City: lots of music stores, and lots of shops where you can buy a really good chef's knife.

(∩╹□╹∩) ``

What is your comfort food?

bread and hummus

Pasta and lots of it.

anything related to shrimp I'll say. what about you? 🦐

Palak paneer or khao soi.

…

Rice noodle soup

everyone! it’s time ☕

Morning from Tasmania time for me

Up up and away. Not sleeping, ok. Run run and breathe. Not waking, leave.

The seductive power of using to just-get-it-done is very strong. One can't hurry quality. One can iterate quickly though in the hope of arriving somewhere good.

I direct a plan, then break it into phases, and each phase into sections with tasks and sub-tasks. The plan outlines all phases, but only write tasks one phase at a time, since things change. That's how I've been working with for the past few months to a year. It has been amazingly consistently high quality. just-get-it-done is for the rough sketch or proof of concepts (I do those too and a lot of them) but never for a quality product.

So, I just got an invite to the new W Social (EU) platform. It requires proper ID authentication - so actual provable humans are on there. Feels good and slightly optimistic. Let's see how it goes.

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

I suck at math so bad ；⁠∀⁠；

Inspired by two projects of github:schildep I start to explore what can be expressed in Lean and make coding agents implement and prove the implementation at the same time.

The two projects of github:schildep are "3d mesh intersection" and "multipolygon intersection". I can try "Voronoi diagram generation" as a starter.