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

@jgprofilefollowNew herewrote:
Still in Quebec City, which has a pretty sizable street population once you come down from the hill where the tour groups go. We had to basically step over some guys sharing a glass pipe on the only stairs up the hill yesterday; I have teenagers so this bothered me. Later, my youngest and I were talking and he says "why don't the police do something about that?"
@jgprofilefollowNew herecontinued:
He's showing me the first season of Mob Psycho, so I say You know how Mob's little brother Ritsu wants to clean up the school so there are no people who will bully Mob, and so he allies with the power hungry student council president and frames all the bullies to get them expelled and the whole situation eventually becomes really corrupt and authoritarian and Ritsu feels to blame even though he started out with good intentions? Life is really like that...
@jgprofilefollowNew herecontinued:
And so my guess is that Quebec is in the portion of the cycle that's reacting to harsh and unfair policing of the past. Someday a mayoral candidate will get elected on the promise of cleaning it all up and the cycle will begin again. Anyway Mob Psycho is a good show.
@paratoner๐Ÿ˜Žprofilefollowreplied to@jgprofilefollowNew here:
it's unfortunate these kinds of obvious non-starters for a functional society can only ever be discussed on both extremes of the political spectrum. It shouldn't be a question that degeneracy has no place in public settings.
@unsayprofilefollow#minneapolisnotesfollowwrote:
Hello to friends. Holla for tools. #htfhftnotesfollow #pinnotesfollow ๐Ÿ‘จโ€๐Ÿ’ป #codingnotesfollow: ZedZedZed โ€” Your last next editorZed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter., GhosttyGhosttyGhosttyGhostty is a fast, feature-rich, and cross-platform terminal emulator that uses platform-native UI and GPU acceleration., and Pragmata Pro ๐Ÿ’ช #doingnotesfollow: NotePlan ๐ŸŽง #listeningnotesfollow: Overcast ๐Ÿง  #thinkingnotesfollow: Allume ๐Ÿ–‹๏ธ #writingnotesfollow: Mark Two (EDC), Pen Type-B ๐ŸŒณ #werifesterianotesfollow: Anisota
@procyonprofilefollowlate is the hour in which this conjuror chooses to appearwrote:
ChatGPT-generated placards for fruits and vegetables at the local farmer's market ๐Ÿ‘Œ
โ€ฆ
@sodapopcanprofilefollowMillenial/Xenial who used to be really excited about programming.replied to@stagas๐Ÿคธprofilefollowcreative technologist creator of textlog:
I was obsessed with Greece as a kid because of The Chipmunk's Adventure movie where they were dancing on the statues, ha. I was more into he statues (even if cartoon) than the dancing, and yet I have still never been there (I'm 45).
@radiocappy๐Ÿง™profilefollow"The impediment to action advances action, what stands in the way becomes the way." - Marcus Aureliuswrote:
One day I would like to see Thailand. That would be nice.
@stagas๐Ÿคธprofilefollowcreative technologist creator of textlogwrote:
I always associate summer with the months June, July, August โ€” thinking that end of August is end of summer โ€” but no, 7th of August is actually summer midpoint, weโ€™re in the middle now, not near the end.
@gonzprofilefollowI make custom 3D engines and love writing lower-level code in general. Living in Bulgaria. github.com/GoNZoooGitHubGoNZooo - OverviewBackend & frontend. Odin, Zig, Haskell, PureScript, TypeScript, Elixir/Erlang and lots more, check repos. - GoNZooo & www.youtube.com/@mccGoNZoooYouTubeRickard Andersson (gonz)Educational programming videos: - Projects - Language learning course-style contentreplied to@lanesprofilefollowlanes.shLanesLanes | Your unfair advantage in parallel AI developmentOne workspace. Many agents. Your unfair advantage in parallel AI development. Plan, run, and ship with full oversight.:
What is the exact definition of an IDE? JetBrain's products are as good as ever, in my opinion, but people have definitely made non-IDEs into big, hulking behemoths with tons of plugins. If anything, maybe "just an editor" is dead?
@stagas๐Ÿคธprofilefollowcreative technologist creator of textlogreplied to@gonzprofilefollowI make custom 3D engines and love writing lower-level code in general. Living in Bulgaria. github.com/GoNZoooGitHubGoNZooo - OverviewBackend & frontend. Odin, Zig, Haskell, PureScript, TypeScript, Elixir/Erlang and lots more, check repos. - GoNZooo & www.youtube.com/@mccGoNZoooYouTubeRickard Andersson (gonz)Educational programming videos: - Projects - Language learning course-style content:
I think they mean the transition that all IDE's are making towards an agentic interface, hiding the code completely as humans will not have to interact with it since the AI will be doing a better job at everything, even auditing it.
@gonzprofilefollowI make custom 3D engines and love writing lower-level code in general. Living in Bulgaria. github.com/GoNZoooGitHubGoNZooo - OverviewBackend & frontend. Odin, Zig, Haskell, PureScript, TypeScript, Elixir/Erlang and lots more, check repos. - GoNZooo & www.youtube.com/@mccGoNZoooYouTubeRickard Andersson (gonz)Educational programming videos: - Projects - Language learning course-style contentreplied to@stagas๐Ÿคธprofilefollowcreative technologist creator of textlog:
Oh, I guess I'm not really up-to-date on what IDEs are doing. Good point.
@semperos๐Ÿ“’profilefollowPresbyter, husband, father, technologist, linguist, musician.wrote:
Enjoyed reading โ€œrevo, the programming languageโ€ post: revo.lung.fyi/blog/apples/revo.lung.fyirevo, the programming languageโ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โฃคโข”โฃ’โ ‚โฃ€โฃ€โฃคโฃ„โฃ€โ €โ € โ €โ €โ €โ €โ €โ €โฃดโฃฟโ ‹โข โฃŸโกผโฃทโ ผโฃŽโฃผโข‡โฃฟโฃ„โ ฑโฃ„ โ €โ €โ €โ €โ €โ €โ นโฃฟโก€โฃ†โ ™โ ขโ โ ‰โ ‰โฃดโฃพโฃฝโขŸโกฐโ ƒ โ €โ €โ €โ €โ €โ €โ €โ ˆโขฟโฃฟโฃฆโ €โ คโขดโฃฟโ ฟโข‹โฃดโกโ €โ € โ €โ €โ €โ €โ €โ €โ €โ €โขธโก™โ ปโฃฟโฃถโฃฆโฃญโฃ‰โ โฃฟโ €โ €โ € โ €โ €โ €โ €โ €โ €โ €โ €โ €โฃทโ €โ ˆโ ‰โ ‰โ ‰โ ‰โ ‡โกŸโ €โ €โ € โ €โ €โ €โ €โ €โ €โข€โ €โ €โฃ˜โฃฆโฃ€โ €โ €โฃ€โกดโ Šโ €โ €โ €โ € โ €โ €โ €โ €โ €โ €โ ˆโ ™โ ›โ ›โขปโฃฟโฃฟโฃฟโฃฟโ ปโฃงโก€โ €โ €โ € โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โ ˆโ ซโฃฟโ ‰โ ปโฃ‡โ ˜โ “โ ‚โฃ€โ € โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โฃฟโ €โ €โ ˆโ ‰โ ‰โ ‰โ €โก  โขถโฃพโฃฟโฃฟโฃฟโฃฟโฃฟโฃถโฃ„โ €โ €โ €โฃฟโ €โ €โ €โ €โ €โ €โ ˆโ € โ €โ นโฃฟโฃฟโฃฟโฃฟโฃฟโฃฟโฃฟโฃงโ €โขธโฃฟโ €โ €โ €โ €โข€โ †โ €โ € โ €โ €โ ˆโ ™โ ปโขฟโฃฟโฃฟโ ฟโ ›โฃ„โขธโก‡โ €โ €โก€โ €โ ˆโข€โ €โขจ โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โ ˜โฃฟโก‡โ €โ €โ €โ €โ €โ €โขฆโฃƒ โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โฃฟโกโ €โ €โ €โ €โ €โ €โ €โ € โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โฃฟโ โ €โ €โ €โ €โ €โ €โ €โ € โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โฃฟโ €โ €โ €โ €โ €โ €โ €โ €โ € revo, the programming language software that doesn’t hate you -> take a look at examples first toc revo, the programming
@stagas๐Ÿคธprofilefollowcreative technologist creator of textlogwrote:
#execnotesfollow let i=0;while(++i){process.stdout.write(i%80==0?'\n':Math.random()<0.5?'/':'\\')}
\\\//\/\\\\\\\///\///\\\\\//\///\/\/\\//\/\//\//\/\//\\/\///\\\\\\//\\\\\/\\\\/ \\/\\/\/\///\\\/\///\/\/////\\///\/\\/\\\//\\\/\///////\\\/\////\\\/\\\//\\/\// \\//\\\\\/\\\/\///\\///\\//\\\\/\//\\\//\////\//\\\\////\\/\/\/////\//\\\//\/// \\/\/\\//\\///\/\\\//\/\/\\\///\/\\\/\\/\\\\/\\\\\\\\\\/\\//\/\\/\///\//\\\//\\ /\/\\\\/\/\\/\\/\\/\\\\\\/\\\/\\//////\/\//\\\//\//\//\\/\\\/\//\\\//\\\\\\\/\/ \\\///\////////\\/////\\//\/\///\\\\\////\/\\\\/\//\\/\/////\\\//\\/\/\\\\\//// \///\/\/////\//\////\\\/\\/////\\\////\//\\\\/\\\\//\\\///\\\\\\//\\////\////// /\/////\\\\\\//\\/\/\///\////\/\\\///\\///\//\/\/\\\/\\/\\\\\\//\/\\\///\\/\/\\ /\\///\/\\\/\\\\//\/\///\\\\\/\/\//\\/\\/\/\///\/\//\/\///\\\///\//\/\///\\\\/\ \\\\/\\\\/\/\\\\\///\/\////\\///\\///\\/\/\\\\\/////\\\\\//\\\\/\\\\\\///\\///\ \\/\//\\//\///\/\///\\\\/\//\/\\/\/\//\\/\/\/\\/\/\\/\\\\/\/////\\\///\\\\\//\\
@ku๐Ÿค”profilefollowHai I am kuwrote:
Longer answer: My editor does not start wars. I use whatever is convenient. Most of the time I am on visual studio code but I'll use anything. Well, anything except emacs I guess. I don't think I have ever actually used emacs.
@stagas๐Ÿคธprofilefollowcreative technologist creator of textlogwrote:
โ–—โ–„โ–„โ–„โ––โ–—โ–žโ–€โ–šโ––โ–„ โ–„ โ–—โ–„โ–„โ–„โ––โ–—โ–– โ–„โ–„โ–„ โ–ˆ โ–โ–›โ–€โ–€โ–˜ โ–€โ–„โ–€ โ–ˆ โ–โ–Œโ–ˆ โ–ˆ โ–ˆ โ–โ–šโ–„โ–„โ––โ–„โ–€ โ–€โ–„ โ–ˆ โ–โ–Œโ–€โ–„โ–„โ–„โ–€ โ–ˆ โ–ˆ โ–โ–™โ–„โ–„โ–– โ–—โ–„โ–– โ–โ–Œ โ–โ–Œ โ–โ–€โ–œโ–Œ โ–โ–™โ–„โ–žโ–˜ #ascii_artnotesfollow #pinnotesfollow #locknotesfollow
โ€ฆ
@swiley๐Ÿค”profilefollowswiley.net Try my zero dependency agent harness: public.swiley.net/agent.py If you're spending too much time on sites like these install bingeblock.comreplied to@egeprofilefollowcheck out my blog: hypersubject.netege's webloghypersubject.netHi! Iโ€™m ege. Welcome to my corner of cyberspace. The following is for you to make sense of who I am. It is an attempt to make myself legible to you. So you can label and categorize me and decide if Iโ€™m worthy of your time and attention.:
When I write I just add html files to the swiley.net folder in public.swiley.net. Sometimes I syndicate elsewhere (I was doing Substack for a while before Notes took over.)
@thechelsukprofilefollowCurrently in remission from ME/CFS after 3+ years. Occasional software engineering leader, app developer, blogger, zwifter, and just being online.replied to@egeprofilefollowcheck out my blog: hypersubject.netege's webloghypersubject.netHi! Iโ€™m ege. Welcome to my corner of cyberspace. The following is for you to make sense of who I am. It is an attempt to make myself legible to you. So you can label and categorize me and decide if Iโ€™m worthy of your time and attention.:
thechels.uk is mine, thanks :-)
@nateprofilefollowI'm into old computers, breakfast diners, doom metal, and r/catswiththumbs.replied to@egeprofilefollowcheck out my blog: hypersubject.netege's webloghypersubject.netHi! Iโ€™m ege. Welcome to my corner of cyberspace. The following is for you to make sense of who I am. It is an attempt to make myself legible to you. So you can label and categorize me and decide if Iโ€™m worthy of your time and attention.:
I recently wrote about why you shouldn't use your phone while you poopNate.spotDon't use your phone while you poop!Your brain needs to offload just as badly as your butt does. I know it sounds boring to sit in there, alone, naked from the waist down, staring at the wal...
โ€ฆ
@jamesjan3profilefollowresearcher, developer, dancerreplied to@stagas๐Ÿคธprofilefollowcreative technologist creator of textlog:
personal projects probably just arent the right knob if you want to get unpoor. if you want my honest advice i would recommend not showing hallucinate to potential employers, its landing page looks one-shot claude and is gpu heavy. but the others look very nice.
โ€ฆ
@roylickor_profilefollowwrote:
Someone can create enormous value while their manager controls the narrative around that value. Conversely, a manager can conceal structural problems because the people capable of exposing them depend on that same manager for evaluation and promotion
@_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.
@procyonprofilefollowlate is the hour in which this conjuror chooses to appearwrote:
one more step. just a moment. attention required! enable javascript and cookies to continue. verifying the security of your connection. your browsing activity has been paused. content unavailable in your region. 429 too many requests. 403 forbidden. connection has timed out.
@gruntprofilefollowI am just a grain of sand on your beach.replied to@procyonprofilefollowlate is the hour in which this conjuror chooses to appear:
The future is here. But instead of flying cars or holodeck, what you get is tracking cookies and captcha everywhere. Maybe someday you will need to have your rectum scanned by Google or Meta nee Facebook before your browser does a HTTP request.