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

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.
โ˜•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
๐Ÿฆprofilefollowlate is the hour in which this conjuror chooses to appearreplied toโ˜•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
๐Ÿ˜ฐprofilefollowwrote:
#AInotesfollow brings so many issues. It really accelerates. Not only the good parts but also the bad parts. Combine this with a product person that doesn't even know what a refinement is. I'm 41, maybe I'll study to pivot, maybe I'll get into trading. I can't handle it anymore.
โ€ฆ
๐Ÿ˜ฐprofilefollowreplied toprofilefollow#Emacsnotesfollow, dev, life, random stuff. the netherlands.:
Architect/lead have a pre-refinement with product to clear 80% of the obvious questions. We share an agenda, devs can ask questions async. In the refinement product presents, we design a solution draft. 15 minutes/item. This doesn't work if product is incompetent and everything is AI-slopped.
profilefollowI am just a grain of sand on your beach. www.gruntsoft.comwrote:
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.
๐Ÿคฉprofilefollowi write instruction for computer to follow. i'm a software engineer.wrote:
hello world!
profilefollow(โ•ฏยฐโ–กยฐ๏ผ‰โ•ฏ๏ธต โ”ปโ”โ”ปwrote:
Bring back partial anterior encephalectomies
๐ŸฅทprofilefollowFather, getting older every day, technologist, enterprise architect @ work, like to explore tech. Like to keep it simple and work in the shell, write in vim, prefer Debian if I have the choice. Plays saxophone and clarinet. Enjoy motorcycle riding, photography, hiking. Christian.wrote:
Med dyp respekt minnes vi kong Harald av Norge som gikk bort i morgentimene i dag. Fred over hans minne. Vรฅre tanker er hos den som har mistet en mann, de som har mistet en far og svigerfar, barn som har mistet en bestefar. Og et helt land som har mistet en konge. Mรฅ Gud styrke han som fรธlger etter. #norwaynotesfollow #kingharaldnotesfollow
With deep respect we remember King Harald of Norway who passed away in the early hours of this morning. May his memory rest in peace. Our thoughts are with those who have lost a husband, those who have lost a father and father-in-law, children who have lost a grandfather. And an entire country that has lost a king. May God strengthen those who follow. #norwaynotesfollow #kingharaldnotesfollow
รบgyhogy az idรฉnre beรญgรฉrt informatikai projekjeimet mรกr eleve vaporware-nek nyilvรกnรญtom a kรฉsedelmes indulรกs miatt
so I'm declaring my promised IT projects for this year as vaporware from the start due to the delayed launch
โ€ฆ
๐Ÿ’งprofilefollowgrand and intoxicating innocencewrote:
I'm a mouse! โ€ฆโ แ˜›โ โฬคโ แ•โ แท
pรฉldรกul Telegram, Facebook, stb., de ilyen รผgynรถkรถkkel bรกrki talรกlkozhat naponta, egybล‘l felismerhetล‘k, meg is kell ล‘ket szรฉpen jelรถlni, รฉs egyre bรฉnรกbbak a szรถvegรผk is, ahogy megfigyeltem, gondolom, attรณl fรผgg, ahogy promtoljรกk, vagy instruรกljรกk ล‘ket, ha a gazdรกjuk kifogy az รถtletekbล‘l, a projekt hamar elfรกrad, a bot csak unalmas h#lyesรฉgekre kรฉpes egy idล‘ utรกn
for example, Telegram, Facebook, etc., but anyone can encounter such agents every day, they are immediately recognizable, they need to be nicely labeled, and their text is getting lamer and lamer, as I have observed, I think it depends on how they are promoted or instructed, if their owner runs out of ideas, the project quickly gets tired, the bot is only capable of boring nonsense after a while
๐Ÿคชprofilefollowwrote:
When I read about #autismnotesfollow in reputable #booksnotesfollow, I relate to almost everything that is described (keeping in mind that no two autistic people are alike). However, I always read the sections on #eyeContactnotesfollow with bewilderment. I don't identify either with the obsessive need to make eye contact, which UK and US books often mention as #neurotypicalnotesfollow behavior, or with the difficulties in making it. #Neurodiversitynotesfollow #Psychologynotesfollow #Autismnotesfollow
I suspectโ€”and this is the interesting partโ€”that there are significant cultural differences in this regard. In fact, the reputable Spanish books on autism that I have read don't address this topic (if I remember correctly).
โ€ฆ
Definitely people here do intense full locked eye contact, which I canโ€™t do, unless Iโ€™m attracted to the person as I said. Even then Iโ€™ll move a bit around the face because itโ€™s uncomfortable even then. But others just lock in completely I see them doing it.
OK. I guess that Greece may be similar to Spain. I feel comfortable hanging with greeks, in Greece and elswhere. Then, if I don't look at the eyes, but others do. I guess that I'm very good at masking that I don't look at the eyes. I never got a comment related to eye contact.
I donโ€™t think itโ€™s something people notice immediately and consciously think this is wrong to make a comment, they will probably just not feel the same connection or feel something is off about you in general or think that youโ€™re busy thinking other things. Itโ€™s not the only case to not make eye contact with someone, you might just not like them. Thatโ€™s probably what they will sense.
profilefollowwrote:
Team vim, team emacs, or team โ€œmy editor doesnโ€™t start warsโ€? One line, no essays. Go!
โ€ฆ