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

๐Ÿ˜ดprofilefollowI really enjoy learning, I really enjoy making. I'm learning to be less guarded.wrote:
a constant, existential pull so old I couldn't tell you the end or draw its shape between kind acceptance and striving, struggling, writhing, climbing learning, growing, discontent "do you feel this way, too, at endless war with longing itself?" but the birds and trees and ants and wind in their own marvelous design don't reply #poemnotesfollow
I'm doing experiments with short attention-span students and code. Starting with python, and, oddly, now working in BASIC. As a C programmer of 40+ years, I find this aesthetically and pedagogically displeasing, but I am delighted to see them getting fully absorbed in writing 130 PRINT "You have been eaten by a bear!" : GOTO 900. Yes there is spaghetti, but it's their spaghetti and they seem to take delight in debugging it. Python will come later. #educationnotesfollow #programmingnotesfollow
I was talking about this with some alumni students, specifically their experience learning python with us a few years earlier (these are college students who are not really using python any more). What it seems to boil down to is that with python you have the feeling that there is this huge forest of solutions to any problem you are having -- but you will never know the whole forest. BASIC feels like you "know" it after a day or two of playing around, evidently.
๐ŸฅธprofilefollowJust another AI guywrote:
Got a bunch of things to do, hate procrastination, any advice is welcome
profilefollowCurrently in remission from ME/CFS after 3+ years. Occasional software engineering leader, app developer, blogger, zwifter, and just being online.replied to๐ŸฅธprofilefollowJust another AI guy:
Determine what matters most and make a list of the no more than 7 things. Do one thing well at a time, top down. Reprioritise as you learn more. Notes:
  1. If you half-arse a task and decide that'll do, it's evidence it wasn't the right priority. Learn.
  2. Any sort of productivity, multi-tasking, app, solution type thing is a scam or a money grab and isn't needed.
  3. People tend to remember 7 things well, but struggle with longer lists and particularly fail to remember things in the middle.
profilefollowlate 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); }
ยทโ”Œโ”โ”Œโ”ยทยทยทยทยทยทยท โ”Œโ”˜โ””โ”ผโ”˜ยทยทยทยทโ”Œโ”ยท โ””ยทยทโ””โ”โ”Œโ”ยทยทยทโ””โ” ยทยทยทโ”Œโ”ผโ”ผโ”˜ยทยทยทโ”Œโ”˜ ยทยทยทโ””โ”ผโ”ผโ”โ”Œโ”โ”Œโ”ผโ” ยทยทยทโ”Œโ”ผโ”˜โ””โ”ผโ”ผโ”˜โ””โ”˜ ยทยทยทโ””โ”ผโ”ยทโ””โ”ผโ”ยทยท ยทยทยทยทโ””โ”˜ยทยทโ””โ”˜ยทยท
profilefollowlate 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.)
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.
โ€ฆ
๐Ÿคธprofilefollowcreative technologist creator of textlogreplied toprofilefollowpoet by heart ๐“…ฐ:
Catastrophic interference is also a favorite Wikipedia page and concept. The thing is, it doesnโ€™t only happen to artificial neural networks, Iโ€™ve had it happen to me a few times. Especially with pin numbers, newer pins overwriting old ones and Iโ€™m always scared when Iโ€™m having hard time remembering something that this catastrophic interference applied and now the information is gone from my brain.
โ€ฆ
๐Ÿ˜ดprofilefollowI really enjoy learning, I really enjoy making. I'm learning to be less guarded.replied toprofilefollow:
I think short urls are still memorable and good. My phone doesn't surrogate all of my recall.
๐Ÿฆ›profilefollowStrictly no LLMs. No exceptions.replied to๐Ÿ˜ดprofilefollowI really enjoy learning, I really enjoy making. I'm learning to be less guarded.:
Short URLs are good. Memorable URLs are good. URLs spat out by URL shorteners are something entirely different.
The longer the text you need to store, the bigger a QR code needs to be in order to scan reliably. Also, you might be more confident in being able to keep a short URL stable (it's already a step of indirection, so if you want to reorg your site you can just update where the short URL points to). But people don't really take care to maintain short URLs anyway, apparently.
โ€ฆ
I sit in meetings all day long, I roll my eyes and die a bit and synergize and circle back inner life sacrosanct outer face smiling stone no need to rush: executives don't need to work just synergize and circle back #poemnotesfollow
This resonated a lot. Iโ€™m glad I read it now, before going totally insane lol. But I disagree that itโ€™s just a glorified spreadsheet. The UI/UX matters, how you present the data, how they can change and so on, all of those things play a role. The good thing with AI is iteration is cheaper than ever, so you can experiment and process the results quickly. But yeah sometimes I just do things here because I just have to be doing something, I canโ€™t leave it alone.
Agreed. The "just" makes the statement sound dismissive, but I do agree with the underlying sentiment that most software boils down to CRUD apps that help people organize information and complete tasks more efficiently. I think the path to developer enlightenment is realizing this truth without despairing over it.