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.
@prophetorit💧profilefollowgrand and intoxicating innocencewrote:
age restriction app on my phone doesn't let me turn off the picture in picture for YouTube T-T
@mcclaskcprofilefollowIs mayonnaise an instrument? Email me if you want a pizza roll.wrote:
I showed my daughter Dog of Wisdom I, II, and III, and she loved them. I have hope for the future.
@fastidiousprofilefollow"Beware those that would deny you access to information, for in their heart they dream themselves your master." — Sid Meyerswrote:
Well, I think my IRCd (Eris v2) is close to be complete.
@edwin😬profilefollowwrote:
I finally bit the bullet and have started to use dictation software more often, even outside of just my prompts. I really like it. Hopefully, computer use becomes much smoother soon. I would love to be able to control my computer with just my voice.
@crustyrustaceanprofilefollowOld school metallian, hobbyist developer writing things mostly in Rust…mostlywrote:
The inaugural, proverbial first post. Seems like a lovely service here.
@fastidiousprofilefollow"Beware those that would deny you access to information, for in their heart they dream themselves your master." — Sid Meyersreplied to@crustyrustaceanprofilefollowOld school metallian, hobbyist developer writing things mostly in Rust…mostly:
The proverbial first post should have been “hello world”. :-P You are the first rustacean I come across!
@ash😊profilefollowwrote:
Found out about plain text accounting recently, and set up a #hledgernotesfollow journal. It was a bit tricky to understand at first, but I think I am getting better at it... will see if it helps me to analyze my monthly spendings...
@resolstice💤profilefollowmorgan ☆ any pronouns i dont know anything about programming, but im here anywaywrote:
possibly ridiculous question: is there any 3d modeling software out there that operates like CAD ? (where i can draw a 2d sketch and extrude it for my model) ill also just take 3d modeling software recs for beginners in general. or guides on how to use blender lolol #3DModelsnotesfollow #3DModelingnotesfollow (<- is this how tags work idk i just got here)
@andre😊profilefollowHow wonderful to be alivewrote:
I forgot that I was at work and did my big sneeze, not the work sneeze. The one where a startled deer looks straight into the camera, which then zooms out to a flock of pigeons taking off, and a crow makes a warning noise. Someone dropped something in the adjacent lab. I hope it wasn't my fault.
@lemonthymeshortbreadprofilefollowI carved wooden spoons and my favourite herb is lemon thyme.wrote:
Finally watched Project Hail Mary. Easily one of my top 5 favourite films but it’s still not nearly as good as the book — I feel like the cut some pretty important scenes
@avioliprofilefollowProgrammer by day and night. Lover of art. Mixing art and programming is the dream.replied to@lemonthymeshortbreadprofilefollowI carved wooden spoons and my favourite herb is lemon thyme.:
I loved the book and I’m always fearful when a movie script is developed and a movie produced, so my relief after I saw the movie was immense. I too feel they’ve cut-out some bits, but the main thing that a book almost always takes my breath away with is fueling my imagination. A movie would (possibly) never nail that aspect.
@sicilicaprofilefollowreplied to@lemonthymeshortbreadprofilefollowI carved wooden spoons and my favourite herb is lemon thyme.:
I just watched it as well. It was fun. There were a number of things that I felt weren't explained well and broke my suspension of disbelief; I haven't read the book, but I found myself really curious whether the book takes the time to justify things more. Obviously, the movie has a lot of pressure to rush to the next "big moment".
@lemonthymeshortbreadprofilefollowI carved wooden spoons and my favourite herb is lemon thyme.replied to@sicilicaprofilefollow:
If there’s one thing Andy Weir can’t be critiqued on then it’s not fully justifying all of the science. I think the film on the other hand can be hard to follow for someone who has neither read the book nor has a scientific background. It’s just hard to monologue about gravitational forces and relativistic speeds on screen.
@crustyrustaceanprofilefollowOld school metallian, hobbyist developer writing things mostly in Rust…mostlywrote:
I've linked up my blog (jeff-mitchell.dev) to textlog. I hope to use the two things together now to build a bit more of a writing habit. The 500 character increase is nice, room to breath but not an essay. Gotta build the muscles slowly :)
@thechelsukprofilefollowCurrently in remission from ME/CFS after 3+ years. Occasional software engineering leader, app developer, blogger, zwifter, and just being online.wrote:
Spending mornings scouring job boards and listings and applying. Afternoons working on Cheltenham Open Data and iOS app development. What about you?
@prophetorit💧profilefollowgrand and intoxicating innocencereplied to@thechelsukprofilefollowCurrently in remission from ME/CFS after 3+ years. Occasional software engineering leader, app developer, blogger, zwifter, and just being online.:
waiting for my friend so she can put my hair into a bun
@geoffprofilefollowwrote:
I stopped interacting much with social media years ago and am honestly not sure how to do this any more… but I like the shape of what is starting here.
@procyon🦝profilefollowlate is the hour in which this conjuror chooses to appearreplied to@jamesjan3profilefollowresearcher, developer, dancer:
Reminds me of the Kiwix offline Wikipedia "nopic" version. (I downloaded that version because it's much smaller than the full version that includes images.)
@avioliprofilefollowProgrammer by day and night. Lover of art. Mixing art and programming is the dream.replied to@jamesjan3profilefollowresearcher, developer, dancer:
Images are fine for me, but should be behind a link, or a small thumbnail. Non-animated. Videos too. But that’s me. They will most likely have to be hosted elsewhere, while the thumb could be here. Nah. We are ok with just text.
@stagas🤸profilefollowcreative technologist creator of textlogreplied to@avioliprofilefollowProgrammer by day and night. Lover of art. Mixing art and programming is the dream.:
Yeah, before you know it the feed becomes a collection of memes. Have to click or perhaps a browser extension that you personally see the opengraph/linked image in the feed but it's not inviting people to post them for the feed itself.