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

@_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.
@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:
Gave this evergarden colorscheme a shot after seeing it on lobsters today. Quite liking it.
@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.continued:
Also prompting me to refresh my tmux config, which I've been meaning to do for years now. SpringEnd-of-Summer cleaning!
@zbr๐Ÿ˜…profilefollowmaker of software thingsreplied to@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.:
Cool use of ANSI sequences in curl -L evergarden.moe - can preview the theme without running any shell scripts!
@n5l๐Ÿ˜Žprofilefollowwrote:
Anthropic is announcing the end of the world every few days. All this marketing disguised as news about an impeding danger of AI is tiresome.
โ€ฆ
@jamesjan3profilefollowresearcher, developer, dancerreplied to@n5l๐Ÿ˜Žprofilefollow:
not marketing. yes their jobs positively select for concern about ai, but most people that are actively researching the field are concerned about the current state of safety, pace and incentives. I dont agree with a lot anthropic does, but i do believe the employees take safety seriously and they obviously have a better understanding of it than us. also theres no incentive for someone like coxon to sound alarm bells on twitter for "marketing" reasons, after quitting anthropic
@n5l๐Ÿ˜Žprofilefollowreplied to@jamesjan3profilefollowresearcher, developer, dancer:
Yes, but some people say that they are pushing for market regulation. They want the state to protect them from the chinese models and, also, to protect the massive investments in Anthropic, OpenaAI, et al. that these companies will never be able to return. This sounds plausible to me too.
@hellodaviddev๐Ÿคชprofilefollowdev, programming, going off vibes and coffee hellodavid.devDavid Gonzalez-VelezDavid Gonzalez-Velez | Software Engineer & ResearcherSelf-taught software engineer and researcher based in Chicago, specializing in quantum computation and full-stack development.wrote:
How do you define #AInotesfollow slop in relation to #codingnotesfollow? For me, it is how quickly you get to an unmaintainable state- the acceleration into something that becomes difficult to work. I talk more about it here: hellodavid.dev/blog/slop #Softwarenotesfollow #Developmentnotesfollow
@zenprofilefollowfather, cyclist, #haskellnotesfollow, #emacsnotesfollowreplied to@hellodaviddev๐Ÿคชprofilefollowdev, programming, going off vibes and coffee hellodavid.devDavid Gonzalez-VelezDavid Gonzalez-Velez | Software Engineer & ResearcherSelf-taught software engineer and researcher based in Chicago, specializing in quantum computation and full-stack development.:
Not that I think we're close to a canonical definition (as if we'll ever all agree on one) but my team has defacto adopted the definition of code that the developer responsible for it doesn't understand, approve of and essentially has now honestly reviewed. Basically anything which leads to cognitive debt.
@hellodaviddev๐Ÿคชprofilefollowdev, programming, going off vibes and coffee hellodavid.devDavid Gonzalez-VelezDavid Gonzalez-Velez | Software Engineer & ResearcherSelf-taught software engineer and researcher based in Chicago, specializing in quantum computation and full-stack development.replied to@zenprofilefollowfather, cyclist, #haskellnotesfollow, #emacsnotesfollow:
I agree, I don't think that there will ever be one canonical definition, but I like this definition as well, as it places the onus on the actual person creating the slop. Thank you for sharing!
@amyprofilefollowa work in progress; i love cats ๐Ÿฑreplied to(deleted account):
Itโ€™s the social network I so want to love but something about it feels off.
@amyprofilefollowa work in progress; i love cats ๐Ÿฑreplied to(deleted account):
I never understood why they would allow you to follow different โ€œfeedsโ€ but not hashtags. I like mastodonโ€™s approach better.
@amyprofilefollowa work in progress; i love cats ๐Ÿฑreplied to(deleted account):
Oh my god, art was the only reason I used bsky regularly. Not anymore, and I miss it too.
@ku๐Ÿค”profilefollowHai I am kuwrote:
Never realized how much slow builds kill morale until I have to do multiple back to back ๐Ÿ˜”
@ku๐Ÿค”profilefollowHai I am kucontinued:
Nobody is complaining to me because I think they know they will be "voluntold" if they speak up ๐Ÿคฃ๐Ÿคฃ๐Ÿคฃ
@pqs๐Ÿคชprofilefollowwrote:
When I read about #autismnotesfollow in reputable #booksnotesfollow, I relate to almost everything that is described (keeping in mind that no two autistic people are alike). However, I always read the sections on #eyeContactnotesfollow with bewilderment. I don't identify either with the obsessive need to make eye contact, which UK and US books often mention as #neurotypicalnotesfollow behavior, or with the difficulties in making it. #Neurodiversitynotesfollow #Psychologynotesfollow #Autismnotesfollow
@pqs๐Ÿคชprofilefollowcontinued:
I suspectโ€”and this is the interesting partโ€”that there are significant cultural differences in this regard. In fact, the reputable Spanish books on autism that I have read don't address this topic (if I remember correctly).
โ€ฆ
@stagas๐Ÿคธprofilefollowcreative technologist creator of textlogreplied to@pqs๐Ÿคชprofilefollow:
Definitely people here do intense full locked eye contact, which I canโ€™t do, unless Iโ€™m attracted to the person as I said. Even then Iโ€™ll move a bit around the face because itโ€™s uncomfortable even then. But others just lock in completely I see them doing it.
@pqs๐Ÿคชprofilefollowreplied to@stagas๐Ÿคธprofilefollowcreative technologist creator of textlog:
OK. I guess that Greece may be similar to Spain. I feel comfortable hanging with greeks, in Greece and elswhere. Then, if I don't look at the eyes, but others do. I guess that I'm very good at masking that I don't look at the eyes. I never got a comment related to eye contact.
@stagas๐Ÿคธprofilefollowcreative technologist creator of textlogreplied to@pqs๐Ÿคชprofilefollow:
I donโ€™t think itโ€™s something people notice immediately and consciously think this is wrong to make a comment, they will probably just not feel the same connection or feel something is off about you in general or think that youโ€™re busy thinking other things. Itโ€™s not the only case to not make eye contact with someone, you might just not like them. Thatโ€™s probably what they will sense.
@deallocprofilefollowwrote:
It's not clear, based on personal experience, how long - if it all - the software development field will value devs who actually enjoy the work. Most people I know are producing mostly AI work and there's an obvious skill decline that's resulted from it. 1/?
@deallocprofilefollowcontinued:
But does it matter if your boss doesn't care? Or if their boss doesn't care? If the paychecks keep coming who cares? What's the point of choosing the mountain if the "joy" just means more hours on screen that could have been spent elsewhere? 2/?
@deallocprofilefollowcontinued:
I got into doing dev work, because I thought it was fun to learn and do and I genuinely enjoyed hanging out with others who felt the same. Now, more than ever, I realize how few people feel the same. And, now - more than ever, I realize that no on cares if I feel that way. 3/?
@crustyrustaceanprofilefollowOld school metallian, hobbyist developer writing things mostly in Rustโ€ฆmostlywrote:
Iโ€™m an insane person who built their own coding harness, in Rust. Iโ€™ve called it Rho. Please forgive this landing page: https://rho-code.dev I just wanted an easy central spot.
@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@crustyrustaceanprofilefollowOld school metallian, hobbyist developer writing things mostly in Rustโ€ฆmostly:
Not insane at all. People should build their own instead of using other people's agents. It's easy to do and the results can be great for you. I've built several; one that is effectively "stuck" in Kakoune: youtube.com/โ€ฆ/playlistYouTubeLLMs stuck in Kakoune
@semperos๐Ÿ“’profilefollowPresbyter, husband, father, technologist, linguist, musician.wrote:
Putting a slide deck together (outside of work), despite agreeing with Tufte on this matter. Iโ€™ll also create a handout that tells the story better than the slides and deliver that, too, but was asked to produce a slide deck, and I think thatโ€™s part of the โ€œeffort theater.โ€ Using #latexnotesfollow Beamer for the slides, but not a theme that looks like Beamer because humans have eyes.