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

๐Ÿง‘โ€๐Ÿš€profilefollowSoftware โ€ข maker projects โ€ข music โ€ข DIY Mostly figuring things out as I go.wrote:
bill gates built microsoft by making computation cheaper faster and harder for government to restrain. now that he's a billionaire no longer dependent on the free market for his own success he's discovered the virtues of taxing the next wave of computation. 1995 gates would have called it a tax on innovation. classic pull-the-ladder-up-behind-you politics. #billgatesnotesfollow #microsoftnotesfollow #AInotesfollow #AItaxnotesfollow #techpolicynotesfollow
profilefollowI carved wooden spoons and my favourite herb is lemon thyme.replied to๐Ÿง‘โ€๐Ÿš€profilefollowSoftware โ€ข maker projects โ€ข music โ€ข DIY Mostly figuring things out as I go.:
These were exactly my thoughts reading about how he thinks we should โ€œpreserveโ€ some jobs for people; I donโ€™t remember him being an advocate of preserving the jobs of typists, draftsman, typesetters, and other clerks when his company was leading a prior digital revolutionโ€ฆ
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
๐Ÿค”profilefollowHai I am kuwrote:
tell me if this makes sense to you: not all expensive chairs are worth a lot but the chairs that are worth a lot cost a lot of money
๐Ÿฅท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๐Ÿค”profilefollowHai I am ku:
Maybe adjust the last part to โ€œmost Chairs that are worth a lotโ€ฆโ€ - because I guess there are chairs that are inexpensive but still good and thus could have cost a a lot?
๐Ÿค”profilefollowHai I am kureplied to๐Ÿฅท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.:
my guess is the inexpensive chairs can be a good value for the price you pay but I doubt there are many of any chairs that are inexpensive and yet worth a lot
โ€ฆ
profilefollowresearcher, developer, dancerwrote:
i dont think its all talk, these are smart people that have been in ai since the 2000s, and they raise good points. current incentive structures are very dangerous long term
๐Ÿคธprofilefollowcreative technologist creator of textlogreplied toprofilefollowresearcher, developer, dancer:
they too have every incentive to exaggerate because they are selling safety and/or books on the topic. I donโ€™t believe we wonโ€™t see it coming. Any issues that will manifest will be very visible and weโ€™ll have plenty of time to mitigate their impact.
profilefollowresearcher, developer, dancerreplied to๐Ÿคธprofilefollowcreative technologist creator of textlog:
they could be making a lot more money by just working at ai firms i fear. the thing that got me worried the hacking incidents lately, huggingface etc. if the capabilities consistently outspeed the development of safety measures, and if the private arms race logic continues, i dont think this is a good spot to be in long term
โ€ฆ
profilefollowretired programmer, new #ttrpgnotesfollow DM, learning Scottish Gaelicreplied to๐Ÿคชprofilefollow:
I'm 55 and recently self-diagnosed as "fairly ASD with some ADHD" after watching a lot of youtube videos. It's been immensely helpful (to the point of bringing me to tears sometimes) in understanding the struggles I had when I was younger. It's also been very helpful in understanding what I can do currently to support myself and work with my brain instead of against it.
๐Ÿคชprofilefollowreplied toprofilefollowretired programmer, new #ttrpgnotesfollow DM, learning Scottish Gaelic:
I'm glad it was useful to you. This process of becoming aware of our autism is not easy. It is liberating, but it is also difficult, at the same time. I watched a lot of videos too, but then I visited a couple psiquiatrists and a psycologist (I had other problems too), just to be sure. What is your opinion about the ASD youtube landscape? I think that there are a few very good channels, but there is lot of noise too. I see some danger there.
Those "10 signs you may be [or not be] autistic" seem quite dangerous to me. Neurodivergence can be tricky.
profilefollowretired programmer, new #ttrpgnotesfollow DM, learning Scottish Gaelicreplied to๐Ÿคชprofilefollow:
Yeah I agree that there are many ASD channels on YT of varying qualities. I only follow a few. Some of my favorites (very roughly in order):
  • @MomontheSpectrum
  • @imautisticnowwhat
  • @elenacarr0ll -- kinda more emotive, but I find that helpful sometimes
  • @autismfromtheInside -- no longer posts (burned out)
I think for now being self diagnosed is enough for me. Just knowing that I'm neurodivergent has been helpful for me to be kind to my own mind.
โ˜•profilefollowEternal disciple of impostor syndrome โˆ™ Perth, WA.wrote:
Ahoy denizens of textlog. Like the concept.
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.
profilefollowChilling. Hand coding C to feel alivewrote:
I was about to prepare a rewrite cause a personal program was failing but realized I had an incomplete change and was incorrectly identifying an error from valid data. Actually so weird to pick up a project after weeks of not touching it
๐Ÿฆ›profilefollowStrictly no LLMs. No exceptions.wrote:
Seems the spammers have arrived. โ˜น๏ธ Is there (or can there be) some mechanism to flag posts or accounts as spam?
๐Ÿฆ›profilefollowStrictly no LLMs. No exceptions.replied to๐Ÿคธprofilefollowcreative technologist creator of textlog:
I reported one post for spam twice today - there was no indication on re-viewing the post that I had already reported it. I think that some sort of indicator of posts I have already reported would be good. Or, if it's simpler, just don't show them to me in the feeds after reporting. Thanks.
๐ŸฆprofilefollowI'm a small web enthusiast working on my blog and working on myself. themourningdove.bearblog.devwrote:
Went to a party today, the group was mostly strangers, but they were all sociable and knew the art of small talk rather well, something I rather admire.