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

profilefollowOld school metallian, hobbyist developer writing things mostly in Rustโ€ฆmostlywrote:
Having a little difficulty seeing how long this service will exist. People are terrible. Sooner or later it will be found and ruined.
profilefollow"Beware those that would deny you access to information, for in their heart they dream themselves your master." โ€” Sid Meyersreplied toprofilefollowOld school metallian, hobbyist developer writing things mostly in Rustโ€ฆmostly:
Yup. I have long change my philosophy on things like these: just live the day. :-)
profilefollowI carved wooden spoons and my favourite herb is lemon thyme.wrote:
Iโ€™ve had quite the successful day cooking today: make a Dutch baby for breakfast with blueberries, a bean stew for lunch using up all the weekโ€™s odds and ends, make a coffee and walnut cake, and barbecued/slightly smoked a whole spatchcocked chicken for the first time!
I'm so fed up with the series of tabloid articles claiming Koji was a stand-in actor in koitoki. the 'insider' seems to be part of the staff since they had access to details like the location of the wrap-up party. Idc who they are and how true their information is, the intention is obviously malicious. it's just disappointing that a person like that is blending in with the people my oshi works with, viewing him as nothing more than a subject to sell to trash tabloids.
โ€‹the fact that these articles completely contradict official content is reason enough to ignore them. for instance, the article claimed Koji wasn't as cheerful as usual, yet the crank-in footage with Mone-chan was filled with laughter, and she even explicitly called him the mood maker of the set. they also claimed he joined filming late, contradicting the fact that they all met at the initial script reading. plus, on sunomanma, Raul even mentioned seeing the original drama proposal early on.
an official article from the director confirming he sent the offer to Koji after seeing his performance in 'fake mommy' is the only thing we should believe. behind-the-scenes details that aren't officially shared shouldn't be treated as truth. I don't understand why they're so persistent about how Koji got the role. why not direct that focus toward the one prominent cast member with a history of racism and misogyny? that's the only valid reason to feel uncomfortable about this drama.
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:
ๆ—ฅๆœฌ่ชž่ฉฑ่€…ใฏใฉใ‚Œใใ‚‰ใ„ใ„ใ‚‹ใ‚“ใ ใ‚ใ†ใ€‚ใ“ใ“ใงๆ—ฅๆœฌ่ชžใงๆ›ธใ่พผใฟ็ถšใ‘ใ‚‹ใฎใฏใฉใ†ใชใ‚“ใ ใ‚ใ†
I wonder how many Japanese speakers there are. Is it okay to keep posting in Japanese here?
profilefollowEat, drink, listen to ๐ŸŽถ, & watch the fish. Occasionally cook.replied toprofilefollow:
ใ“ใ‚“ใซใกใฏใ€‚ใฏใ˜ใ‚ใพใ—ใฆใ€‚
Hello. Nice to meet you.
ใ“ใ“ใงๆ—ฅๆœฌ่ชžใงๆ›ธใ่พผใฟ็ถšใ‘ใ‚‹ใฎใฏใฉใ†ใชใ‚“ใ ใ‚ใ† ใ‚ตใ‚คใƒˆไฝœๆˆ่€…ใฏใ•ใพใ–ใพใฎ่จ€่ชžใฎ่ฉฑ่€…ใŒไธ€็ท’ใซ่ฉฑใ›ใ‚‹ๅ ด้ขใซใ—ใŸใ„ๆฐ—ใŒใ™ใ‚‹ &1045
Are there any plans to filter by language? What will happen when people start posting in several languages? #meta
I wonder if it's okay to keep posting in Japanese here. I get the feeling the site creator wants this to be a place where speakers of various languages can talk together. &1045
Are there any plans to filter by language? What will happen when people start posting in several languages? #meta
ฯ„ฯŽฯฮฑ ฮญฯ‡ฮฟฯ…ฮผฮต ฮฑฯ…ฯ„ฯŒฮผฮฑฯ„ฮตฯ‚ ฮผฮตฯ„ฮฑฯ†ฯฮฌฯƒฮตฮนฯ‚!
now we have automatic translations!
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.
โ€ฆ
๐Ÿฅท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
๐Ÿ“’profilefollowPresbyter, husband, father, technologist, linguist, musician.replied to๐Ÿค”profilefollowHai I am ku:
Is it that you donโ€™t enjoy coffee, or you donโ€™t enjoy Starbucks? Iโ€™m not a fan of Starbucksโ€™ coffee myself, but do enjoy coffee I make at home or get from local coffee shops.
๐Ÿค”profilefollowHai I am kureplied to๐Ÿ“’profilefollowPresbyter, husband, father, technologist, linguist, musician.:
It is something silly made out of misheard lyrics from a Taylor Swift song. I usually drink instant coffee ๐Ÿฅน
profilefollowcoder, reader, guitarist, seeker, builder.wrote:
Experiences of life spring from the contrasts.