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

@semperos๐Ÿ“’profilefollowPresbyter, husband, father, technologist, linguist, musician.wrote:
Going to document some approaches to produce data visualizations using ari via DuckDB. Donโ€™t know why it didnโ€™t occur to me earlier, that there would be some solid community extensions for #dataviznotesfollow in DuckDB.
@semperos๐Ÿ“’profilefollowPresbyter, husband, father, technologist, linguist, musician.continued:
I was trying to use an approach that relies on community extensions, but installing them is proving finicky. Going to consider an approach that requires less futzing.
@chanuxprofilefollowI ain't no nothing!wrote:
I still remember Max getting sandwiched between the two Ferraris in the first ever wet night race (Singapore 2017). Today he finally managed to win a race there. That's quite a long wait.
@chanuxprofilefollowI ain't no nothing!continued:
Not sure if I put it on untappd but I still remember the "soggy" beer at the track that day ๐Ÿ˜„
@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:
Maybe it'll end up being a case of stated vs revealed preference, but I feel like Apple's really missing the moment with their latest products. People by and large want less tech in their lives right now, not screens and AI stuff everywhere.
@nolprofilefollowwrote:
You look in the corner, you see a guy quietly eating cigarette butts. It's ok. He's dealing with a lot of stress from work. He takes care of his family. Capitalism
@fastidiousprofilefollow"Beware those that would deny you access to information, for in their heart they dream themselves your master." โ€” Sid Meyersreplied to@nolprofilefollow:
Likewise... you look in the corner, you see a guy quietly eating cigarette butts. It's ok. He's dealing with a lot of stress for lack of work, or food, or future. He wants to take care of his family. Communism. We havenโ€™t figured out yet. Maybe we never will.
@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:
I laughed at this. I'm all for people crafting their own tools, but it really feels like everyone's reinventing the same handful of wheels for agentic development.
@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:
In terms of where I invest my time, I'm trying to find ways to zig while everyone's myopically zagging.
@hmnt_bazookaprofilefollowYear 4 CS. Like tech, systems, game devwrote:
This SM is like a subreddit feed, except you also get a personalized feed along with 'hot' and 'latest' for people you follow. Or maybe it's modelled after twitter? Never used it so wouldnt know
โ€ฆ
@prophetorit๐Ÿ’งprofilefollowgrand and intoxicating innocence always onlinereplied to@mourningdove๐ŸฆprofilefollowI'm a small web enthusiast working on my blog and working on myself. themourningdove.bearblog.dev:
really? (โ โŠ™โ _โ โ—Žโ ) I just saw it before and felt like it described me sometimes (โ โ€ขโ ย โ โ–ฝโ ย โ โ€ขโ ;โ ) what game is he from!??!
@mourningdove๐ŸฆprofilefollowI'm a small web enthusiast working on my blog and working on myself. themourningdove.bearblog.devreplied to@prophetorit๐Ÿ’งprofilefollowgrand and intoxicating innocence always online:
That's so funny, I've never seen anyone get into it by this quote alone, he's the antagonist of the game The Elder Scrolls III: Morrowind. The quote is even better when you hear it in context, but don't spoil the experience, you ought to play the game and hear it for yourself. What do you normally play?
@prophetorit๐Ÿ’งprofilefollowgrand and intoxicating innocence always onlinecontinued:
spelled obvious wrong. kill me now... go ahead I deserve it ..
@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.
@hotterprofilefollow#Emacsnotesfollow, dev, life, random stuff. the netherlands.wrote:
Developed a Vinboard (my pinboard.in clone) shortcut, works really well. On iOS it lives in Share menu, on macOS in the Dock. Click sends the current browser page (Safari, Chrome, Zed, Firefox) for bookmarking. On the server side Jev decides tags from 60 least recently used; and archival opens a real Chrome to save the whole page for posterity. Unlimited API limits and direct requests to the database. Pinboard charges for much less functionality $22/year.
@prophetorit๐Ÿ’งprofilefollowgrand and intoxicating innocence always onlinewrote:
anyone know a good keyboard? specifically one that's quiet?
โ€ฆ
@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@prophetorit๐Ÿ’งprofilefollowgrand and intoxicating innocence always online:
#Duckynotesfollow OK-M? I have the previous #versionnotesfollow, 65%, and am very happy with it. I think itโ€™s available both in quiet and noisy #versions (but the two I have are clicketyclicky). ducky ok-m #Keyboardnotesfollow #Technotesfollow
@jamesjan3profilefollowresearcher, developer, dancerreplied to@prophetorit๐Ÿ’งprofilefollowgrand and intoxicating innocence always online:
this is mainly a problem of switches. get a keyboard formfactor you like with a good body and replacable switches. thatll be the only keyboard you need for the rest of your life. if you want to change things up, buy new switches and caps. i personally use Outemu Silent Lime V3 Silent Tactile switches from aliexpress, and highly recommend them as they are cheap, feel awesome and are very quiet
@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@prophetorit๐Ÿ’งprofilefollowgrand and intoxicating innocence always online:
#Duckynotesfollow OK-M? I have the previous #versionnotesfollow, 65%, and am very happy with it. I think itโ€™s available both in quiet and noisy #versions (but the two I have are clicketyclicky). ducky ok-m #Keyboardnotesfollow #Technotesfollow
@gikkmanprofilefollowreplied to@prophetorit๐Ÿ’งprofilefollowgrand and intoxicating innocence always online:
I really enjoy low-profile keyboards for this very reason. Depending on your system of course, but the most silent keyboard I've used (and still use) is the Mac Magic Keyboard. But most low profile ones are in my experience pretty quiet.
@xolar๐Ÿง‘โ€๐Ÿš€profilefollowะฝฯ…ะผฮฑฮทwrote:
โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โข€โฃ€โฃ€โ €โ €โข โ ‰โขนโขณโข„โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โ € โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โกคโ ”โกžโ ›โฃตโ €โ €โ ™โก„โขธโ €โขธโ €โกœโ €โ €โ €โ €โ €โข€โกดโ ‰โ ˆโกงโฃ€โฃ€โก€โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โ € โ €โ €โ €โ €โ €โ €โ €โ €โ €โกฐโ ƒโ €โขฐโ €โ ˜โก†โ €โ €โขฐโ ˆโก€โ €โก€โก‡โก‡โ €โ €โ €โกฐโกฑโกโ €โกœโ €โกœโ €โขˆโ †โ ‚โ คโก€โ €โ €โ €โ €โ €โ €โ € โ €โ €โ €โ €โ €โ €โข€โก€โขโ €โข‡โ €โ €โขƒโ €โ ธโก€โ €โ €โก†โก‡โ €โก‡โ โก‡โ €โ €โกฐโขกโกฑโ โกโข€โ Œโข€โขดโ ‹โ €โ €โ €โฃˆโก†โก€โ €โ €โ €โ €โ € โ €โ €โ €โ €โ €โ €โกโ ˆโ นโฃฆโ ˆโข†โ €โ ˆโก†โ €โ ฑโ €โ €โขฐโขโ €โขƒโขธโก‡โ €โข โขโขงโ ƒโกฐโข€โ Žโข โกพโ โ €โ €โก โ Šโก โ ƒโ ˆโฃ„โ €โ €โ €
@lemonthymeshortbreadprofilefollowI carved wooden spoons and my favourite herb is lemon thyme.wrote:
Iโ€™ve had quite the successful day cooking today: make a Dutch baby for breakfast with blueberries, a bean stew for lunch using up all the weekโ€™s odds and ends, make a coffee and walnut cake, and barbecued/slightly smoked a whole spatchcocked chicken for the first time!
@_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.