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

@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 :)
@chenxiangprofilefollowwrote:
The essence of aligning large LLM models is basically to conform to the existing social order. ChatGPT respects China's order, while China's open-source models, although reluctantly, also tolerate the order in the US. Maybe we can build a revisionist SFT dataset.
@miqโ˜•profilefollowEternal disciple of impostor syndrome โˆ™ Perth, WA.wrote:
"Insanity is doing prompting the same thing over and over again and expecting different results."
@procyonprofilefollowlate is the hour in which this conjuror chooses to appearwrote:
๐Ÿ‰ #execnotesfollow let N=6,D0=[0,1,0,-1],D1=[1,0,-1,0],s=[],g={},d=x=y=xa=xb=ya=yb=0; for(let n=0;n<N;n++){s=s.concat([1]).concat(s.map(x=>!x).reverse())} for(let i=0;i<s.length;i++) { x<xa && (xa=x);y<ya && (ya=y);x>xb && (xb=x);y>yb && (yb=y); let t=s[i]?1:-1,e=(d+t+4)%4; g[x]||(g[x]={}); g[x][y]=g[x][y]?"โ”ผ":"โ”Œโ”โ””โ”˜"[(t*(D0[d]+D0[e])>0?0:2)+(t*(D1[d]+D1[e])>0?0:1)]; x+=D0[e];y+=D1[e];d=e; } for(j=yb;j>=ya;j--) { let u=""; for(i=xa;i<=xb;i++){u+=(g[i][j]||"ยท")} console.log(u); }
ยทโ”Œโ”โ”Œโ”ยทยทยทยทยทยทยท โ”Œโ”˜โ””โ”ผโ”˜ยทยทยทยทโ”Œโ”ยท โ””ยทยทโ””โ”โ”Œโ”ยทยทยทโ””โ” ยทยทยทโ”Œโ”ผโ”ผโ”˜ยทยทยทโ”Œโ”˜ ยทยทยทโ””โ”ผโ”ผโ”โ”Œโ”โ”Œโ”ผโ” ยทยทยทโ”Œโ”ผโ”˜โ””โ”ผโ”ผโ”˜โ””โ”˜ ยทยทยทโ””โ”ผโ”ยทโ””โ”ผโ”ยทยท ยทยทยทยทโ””โ”˜ยทยทโ””โ”˜ยทยท
@procyonprofilefollowlate is the hour in which this conjuror chooses to appearcontinued:
OK, so you only get 10 lines of output. (I tried to get ChatGPT to write this program but it kept messing up, so I wrote it by hand.)
@0x29aprofilefollowwrote:
having just spent a week camper-travelling Norway, hiking mountains and glaciers, swimming in fjords really put some things into perspective for me - I should take more vacations
@_torayuriprofilefollowi create thingswrote:
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.
@_torayuriprofilefollowi create thingscontinued:
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).
@_torayuriprofilefollowi create thingscontinued:
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.
@lockbladeprofilefollowwrote:
At dragoncon, and it's even more than a zoo than I expected. way more people than I thought would be here on a Friday.
@ku๐Ÿค”profilefollowHai I am kuwrote:
So we can't use em dash anymore โ€” lest we anger the mob. Truth be told though, English teachers have always discouraged em dash overuse because it is a subtle art and very easy to get wrong.
@stagas๐Ÿคธprofilefollowcreative technologist creator of textlogreplied to@ku๐Ÿค”profilefollowHai I am ku:
I started to become fond of it after seeing it so often by the LLM, I even installed an extension on Chrome, SmartType, that converts glyphs like minus to em dash wherever itโ€™s needed among others, pretty neat.
@christmasho๐Ÿ˜Šprofilefollowreplied to@ku๐Ÿค”profilefollowHai I am ku:
The funny thing is that in the UK, we don't really use the em dash anyway. We use the hyphen (I guess en dash?) with a space each side. So the em dash has always looked a bit odd to us... ๐Ÿ˜Š
@avioliprofilefollowProgrammer by day and night. Lover of art. Mixing art and programming is the dream.replied to@christmasho๐Ÿ˜Šprofilefollow:
There are dashes (-), as well as en dashes (โ€“), and there are em dashes (โ€”), not to miss the mighty center dot (โ€ข) that looks like a perky boob when surrounded by brackets haha
@asmund๐Ÿฅท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.replied to@ku๐Ÿค”profilefollowHai I am ku:
Just get and read Chicago Manual of Style, or Oxford Style Manual if you so prefer, and youโ€™re all set to use the various dashโ€™es (and many other things).
@avioliprofilefollowProgrammer by day and night. Lover of art. Mixing art and programming is the dream.replied to@ku๐Ÿค”profilefollowHai I am ku:
Thereโ€™s other dashes to pick if you want to steer clear of the almighty em dash!
@0x29aprofilefollowwrote:
Went to a store yesterday, ๐Ÿค this close to buy a Delonghi Dedica but when I touched it, it felt so so rattly and cheap and it instantly turned me off. So I did some more research and now I think a used Gaggia Classic Pro will do. #coffeenotesfollow lovers, why is your hobby so hard to break into ๐Ÿ˜ช