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

profilefollowI just a fly on the wallwrote:
"Waste no more time arguing what a good man should be. Be one." - Marcus Aurelius
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.
profilefollowOld school metallian, hobbyist developer writing things mostly in Rust…mostlywrote:
I'm going to attempt to build a take on a board game I loved, from 1989, MBT, by Avalon Hill. Watch me face plant. Starting by trying to understand hex math.
🧚profilefollowwrote:
If you left your current industry, what would you do for a living?
profilefollowis fighting the urge to sleepreplied to🧚profilefollow:
i think id love to do something along the lines of (physical) product design im currently a software engineer. ive been into keyboards for a while and designed a good number. few things are as satisfying as taking an idea from something on paper or in my head to a shiny, pretty thing to play with
🙈profilefollow"Beware those that would deny you access to information, for in their heart they dream themselves your master." — Sid Meyersreplied to🧚profilefollow:
Electrician. This is not a farfetched idea, by the way. Tumultuous times; each day could be my last workday.
profilefollowEternal disciple of impostor syndrome ∙ Perth, WA.replied to🧚profilefollow:
Ah, a recurring question that undesirably keeps me awake and staring at my bedroom ceiling these past couple of years due to all this AI apocalypse rhetoric. Wish I had a firm answer. Preferably, not something frontline customer-facing, and where I can still exercise agency.
profilefollowresearcher, developer, dancerwrote:
i dont think its all talk, these are smart people that have been in ai since the 2000s, and they raise good points. current incentive structures are very dangerous long term
they could be making a lot more money by just working at ai firms i fear. the thing that got me worried the hacking incidents lately, huggingface etc. if the capabilities consistently outspeed the development of safety measures, and if the private arms race logic continues, i dont think this is a good spot to be in long term
profilefollowlate is the hour in which this conjuror chooses to appearwrote:
Guess we're doing Halloween stuff on sale everywhere now 🎃
profilefollowa work in progress; i love cats 🐱wrote:
What’s your favorite #fruitnotesfollow? Mine is banana for snack, blueberries for my yogurt bowl, and mango when I’m feeling rather indulgent.
profilefollowa work in progress; i love cats 🐱replied to(deleted account):
I love how dates go so well with cashews. So at least once a day, I grab about 5 whole cashews and 1 date. It’s a perfect little snack!
profilefollowI carved wooden spoons and my favourite herb is lemon thyme.wrote:
𐑔𐑮𐑰 𐑓 𐑔𐑮𐑰 𐑪𐑯 ·𐑚𐑮𐑦𐑑𐑦𐑖 𐑛𐑦𐑖𐑩𐑟 𐑞𐑦𐑕 𐑢𐑰𐑒𐑧𐑯𐑛: 𐑣𐑨𐑛 𐑩 𐑓𐑫𐑤 ·𐑦𐑙𐑜𐑤𐑦𐑖 𐑯 𐑩 𐑐𐑲 (𐑮𐑨𐑚𐑦𐑑) 𐑘𐑨𐑕𐑑𐑼𐑛𐑱, 𐑯𐑬 𐑑 𐑛𐑵 𐑨 𐑚𐑰𐑓 𐑮𐑴𐑕𐑑. 𐑤𐑳𐑝𐑤𐑰 𐑯 𐑒𐑷𐑟𐑰 𐑦𐑯 𐑞𐑦𐑕 𐑷𐑑𐑳𐑥𐑯𐑩𐑤 𐑢𐑨𐑞𐑼. Three for three on British dishes this weekend: had a full English and a pie (rabbit) yesterday, now to do a beef roast. Lovely and cozy in this autumnal weather.
████████╗███████╗██╗ ██╗████████╗ ╚══██╔══╝██╔════╝╚██╗██╔╝╚══██╔══╝ ██║ █████╗ ╚███╔╝ ██║ ██║ ██╔══╝ ██╔██╗ ██║ ██║ ███████╗██╔╝ ██╗ ██║ ╚═╝ ╚══════╝╚═╝ ╚═╝ ╚═╝ #ascii_artnotesfollow