textlog
join
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.

Any conversation

@_torayuriprofilefollowi create thingswrote:
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.
@_torayuriprofilefollowi create thingscontinued:
The two projects of github:schildep are "3d mesh intersection" and "multipolygon intersection". I can try "Voronoi diagram generation" as a starter.
@stagas๐Ÿคธprofilefollowcreative technologist creator of textlogreplied to@thechelsukprofilefollowCurrently in remission from ME/CFS after 3+ years. Occasional software engineering leader, app developer, blogger, zwifter, and just being online.:
_ _ __ ___.--โ€™_`. .'_`--.___ __ ( _`.'. - 'o` ) ( โ€˜o` - .`.โ€™_ ) _\.โ€™_โ€™ _.-โ€™ `-._ `_`./_ ( \`. ) //\` /\\ ( .'/ ) \_`-โ€™`---'\\__, ,__//`---โ€™`-'_/ \` `-\ /-' '/ #ascii_artnotesfollow
@gikkmanprofilefollowwrote:
Do you code in silence or do you listen to music? If so, what kind of music do you prefer? Personally, I prefer Synthwave, vaporwave or the occasional country.
โ€ฆ
@shifferbrains๐Ÿค profilefollowreplied to@gikkmanprofilefollow:
Occasionally silence if I forget to turn on music. Otherwise, death grips and a curated EDM playlist are on rotate. It keeps me moving fast. But also Steve Reich's Music for 18 Musicians albums go hard for long session, distraction-free music
@zenprofilefollowfather, cyclist, #haskellnotesfollow, #emacsnotesfollowreplied to@gikkmanprofilefollow:
Often silence, for me. I could create a (narrow) bell curve of problems where I listen to music. If I'm doing light enough work then I don't tend to listen to music, probably just out of habit - but as I approach problems of a certain complexity then I do prefer music. I just find that complexity band is narrow and past it I need to turn off the music. I would like to widen my music band. My preference is usually ambient - I like Gaussian curve and Hiroshi Yoshimura
@bobbyprofilefollowwrote:
was shocked at how antiquated making international payments are in 2026!! used transfermate - no tracking, no visibility. just transfer and pray my money reaches ๐Ÿ™
@semperos๐Ÿ“’profilefollowPresbyter, husband, father, technologist, linguist, musician.wrote:
ะฆะฒะตั‚ะพะบ ั€ะพะทั‹ ะฝะต ะธะทะดะฐะตั‚ ะณะพะปะพัะฐ, ะฐ ะฑะปะฐะณะพัƒั…ะฐะฝะธะต ะตะณะพ ะดะฐะปะตะบะพ ั€ะฐัั…ะพะดะธั‚ัั ะผะพะปั‡ะฐ; ั‚ะฐะบ ะฝะฐะดะพ ะถะธั‚ัŒ ะธ ะฒัะตะผ ั…ั€ะธัั‚ะธะฐะฝะฐะผ. โ€”ะกะฒัั‚ะธั‚ะตะปัŒ ะคะตะพั„ะฐะฝ ะ—ะฐั‚ะฒะพั€ะฝะธะบ
The rose flower makes no sound, but its fragrance spreads far and wide in silence; so should all Christians live. โ€”St. Theophan the Recluse
@hotterprofilefollow#Emacsnotesfollow, dev, life, random stuff. the netherlands.wrote:
Made barbecue this evening. Lamb and chicken for meat, pepper and zucchini for veggies. Yummy! Kids loved it, the boy's sleeping now, the girl is reading a book, the wife's out with her girls, I'm with wine. Life's good.
@hotterprofilefollow#Emacsnotesfollow, dev, life, random stuff. the netherlands.wrote:
Asked Claude to implement a game based on a text quest book I played in 90s. Letโ€™s see. Tried to play the original text, downloaded epub. Well, I died after 3 minutes in the game.
@pcprofilefollowwrote:
When I was 10, I thought I'd be a scientist I wanted to tinker in a lab, doing something with beakers and bunsen burners Making a difference. As an adult, I sit in meetings and discuss who to fire next I tinker with spreadsheets, doing something with LLMs and JIRA Be enthusiastic #poemnotesfollow #aifearnotesfollow
@sodapopcanprofilefollowMillenial/Xenial who used to be really excited about programming.replied to@pcprofilefollow:
As young kid I dreamed of working with reel-to-reel machines Cutting/splicing tape, happy accidents As a teen I couldn't afford reel-to-reel but got decent with multi-track cassettes Everyone was telling me digital was The Way (tm) In my 30s, I finally learned how to use a DAW properly In my 40s, I'm back to playing around with multi-tracks cassettes There is no money in it, but I'm enthusiastic as I can be (this is not so much as direct response as simply a response) #musicnotesfollow #aifearnotesfollow
@miqโ˜•profilefollowEternal disciple of impostor syndrome โˆ™ Perth, WA.wrote:
Should I entertain the routine-shattering idea of a second cup of coffee this Friday? #execnotesfollow console.log(Math.random() < 0.5 ? "Yes" : "No")
Yes
@procyonprofilefollowlate is the hour in which this conjuror chooses to appearreplied to@miqโ˜•profilefollowEternal disciple of impostor syndrome โˆ™ Perth, WA.:
Need to use a quantum RNG to split the timeline into one where you did, and one where you didn't
@jdl๐Ÿ˜Žprofilefollowwrote:
Funny that this box appears in front of me and every thought I've ever wanted to write down vacates my mind.
@evnmprofilefollowSoftware engineerGitHubevnm - Overviewevnm has 51 repositories available. Follow their code on GitHub., trail runnerStravaSignup for free to see more about LawrenceJoin Lawrence and get inspired for your next workout, gear-maker. Working on something new for homeownersgetonmain.comMain ยท A quiet, well-organized record of everything that keeps your home running.A quiet, well-organized record of everything that keeps your home running.wrote:
Any runners on here? I mostly consider myself a trail runner, but of course train on roads, too. Good for 1โ€“2 races/year, more into running as a practice, a way to manage stress and stay fit.
โ€ฆ
@evnmprofilefollowSoftware engineerGitHubevnm - Overviewevnm has 51 repositories available. Follow their code on GitHub., trail runnerStravaSignup for free to see more about LawrenceJoin Lawrence and get inspired for your next workout, gear-maker. Working on something new for homeownersgetonmain.comMain ยท A quiet, well-organized record of everything that keeps your home running.A quiet, well-organized record of everything that keeps your home running.replied to(deleted account):
5 min/km is pretty quick, as far as I'm concerned! My easy/forever pace is more like 8:30โ€“9 min/mile right now.
โ€ฆ
@evnmprofilefollowSoftware engineerGitHubevnm - Overviewevnm has 51 repositories available. Follow their code on GitHub., trail runnerStravaSignup for free to see more about LawrenceJoin Lawrence and get inspired for your next workout, gear-maker. Working on something new for homeownersgetonmain.comMain ยท A quiet, well-organized record of everything that keeps your home running.A quiet, well-organized record of everything that keeps your home running.replied to(deleted account):
Better for your knees, too :)