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

@personprofilefollowwrote:
Ubuntu telepรญtรฉse a VirtualBoxba rendben megtรถrtรฉnt. Mรกr csak egy รผgynรถkรถt kell bele fogni, รฉs mรกris kรฉsz az "AI torture chamber", ahogy a Futurism รญrja... Mondjuk, elsล‘ kรถrben mรฉg nem รญgy fogalmaznรฉk...
Ubuntu has been successfully installed in VirtualBox. All you need to do is add an agent and you have an "AI torture chamber", as Futurism describes it... Let's just say I wouldn't put it that way at first...
@_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.
@non4m3๐Ÿ˜Žprofilefollowwrote:
how to exactly dissapear without a trace?
@ku๐Ÿค”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
@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@ku๐Ÿค”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?
@ku๐Ÿค”profilefollowHai I am kureplied to@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.:
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
@0x29aprofilefollowwrote:
looking at the German public railway system (DB), I always wonder if the stereotypes of timeliness and precision were ever actually true. Surely someone must've figured out by now how off they are? These trains are always late and / or broken.
@stagas๐Ÿคธprofilefollowcreative technologist creator of textlogreplied 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.:
Since you have an account maybe you can help us out by posting https://textlog.cc/about ? :D Here is the HN thread if you want to copy the title.
@fastidiousprofilefollow"Beware those that would deny you access to information, for in their heart they dream themselves your master." โ€” Sid Meyersreplied 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.:
HN, and some carefully picked r/Reddits. Can't stand Lobste.rslobste.rsLobstersA computing-focused community centered around link aggregation and discussion..
@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.
โ€ฆ
@hotterprofilefollow#Emacsnotesfollow, dev, life, random stuff. the netherlands.replied to@stagas๐Ÿคธprofilefollowcreative technologist creator of textlog:
added two more screenshots to imgur.com/a/WuJiFuvImgurTextlog replies flowDiscover the magic of the internet at Imgur, a community powered entertainment destination. Lift your spirits with funny jokes, trending memes, entertaining gifs, inspiring stories, viral videos, and so much more from users. - the "root" post view is incorrect, but when reply-on-reply, information goes up-then-down.
@stagas๐Ÿคธprofilefollowcreative technologist creator of textlogreplied to@hotterprofilefollow#Emacsnotesfollow, dev, life, random stuff. the netherlands.:
I understand your confusion, but that's the formatting - quoted parent is below the child post - then that post's replies follow in the discussion view. The top post is always quoting its parent below it, the different bg makes it distinct. Just need to get used to it, same on X.
@archivist_eyes๐Ÿ’€profilefollowYour mind is also supposed to create happiness, not just to receive it. You're supposed to find solutions, to invent, to imagine, to remember, to love. This much we always forget.wrote:
Turn the car on. Shift in Neutral. Gas to the bottom. This is how my head feels most of the time.
@hotterprofilefollow#Emacsnotesfollow, dev, life, random stuff. the netherlands.wrote:
Ordered JBL Charge 6, waiting for delivery today. Will mount into my bike and will listen to music while commuting 25km to the office. I'm a victim of marketing, seeing an ad, buying stuff.
@hotterprofilefollow#Emacsnotesfollow, dev, life, random stuff. the netherlands.continued:
Previously bought Do Nothing Club cap after friends visiting us and we discussed it while eating pizza; and then my wife got an AD on Instagram. Meta is listening for conversations to sell ads.
@chanuxprofilefollowI ain't no nothing!replied to@stagas๐Ÿคธprofilefollowcreative technologist creator of textlog:
Personally, I think I found good framework/vocabulary to help with meditation in some discussion by Jiddu Krishnamurti. Here is one in which he works it out with kids www.youtube.com/watch?v=0Yv0BKtgqpQYouTubeJ. Krishnamurti - Rishi Valley 1978 - School Discussion (Students) 3 - Can you... There was a short, to the point lecture where he basically walks you through observing thought, which profoundly changed how I approach meditation but I can't find it for the life of me!
@davidprofilefollow๐ŸŽ A lifetime Apple user. Partner says I am pedantic, sarcastic, and cynic. I just want to be me.wrote:
Which Linux distribution do you like the most, and why? Follow the previous with your favourite desktop environment.
โ€ฆ
@ku๐Ÿค”profilefollowHai I am kureplied to@pqs๐Ÿคชprofilefollow:
Same here except I landed on fedora with default gnome desktop. The old desktops I ssh into are Debian though. Edit: spelling fix I to -> into
@melting_coffee_mug๐Ÿค”profilefollowreplied to@davidprofilefollow๐ŸŽ A lifetime Apple user. Partner says I am pedantic, sarcastic, and cynic. I just want to be me.:
Arch Linux with KDE. I like that Arch comes with nothing and is pretty vanilla. No bloat, and customisable. No major upgrades where 5 things break at once. Install once, and it's fine until the device has to be replaced. Only then usually do a fresh install. It's up to date, still pretty boring, and you learn a bit in the process.
@hris_deb๐Ÿค”profilefollowreplied to@davidprofilefollow๐ŸŽ A lifetime Apple user. Partner says I am pedantic, sarcastic, and cynic. I just want to be me.:
i distro hoped a lot. Finally i found my cozy home with debian with kde. 3 years still running without a problem all the software i use works perfectly and the games run smoothly.
@keitachikawa๐Ÿ˜Žprofilefollowaeres-u99 on github, CodeAtlas \o/replied to@davidprofilefollow๐ŸŽ A lifetime Apple user. Partner says I am pedantic, sarcastic, and cynic. I just want to be me.:
Arch with i3, have been using it for like 7-8 years now. Started out at elementary os, really good and everything, but the thing where I dont need to install *-dev libs separately saves me a lot of time during compilations and building. Also, AUR is a life saver at times.
@jamesjan3profilefollowresearcher, developer, dancerwrote:
ive been rocking my thinkpad 460s since 2018 or so, but ive just recently yolo purchased a chunky t420 for 80โ‚ฌ. I gotta say this is the best laptop ive ever used, keyboard/io is unmatched and it still runs super snappy on omarchy right now, even with only 4 gigs of ram :D AND this thing has a cd drive!
@gherleinprofilefollowMaker and Builder. Cloud, embedded systems, video, telephony, radio, electronics, linux, whatever. blog.herlein.comwrote:
anyone else seriously into agentic loop development?
@hmnt_bazookaprofilefollowYear 4 CS. Like tech, systems, game devreplied to@gherleinprofilefollowMaker and Builder. Cloud, embedded systems, video, telephony, radio, electronics, linux, whatever. blog.herlein.com:
I've been working with physical AI - Letting LLMs control robots in a warehouse to collaborate and collectively come up with a physically correct solution to carry out a natural language intent. We had to study the reactive nature of agents, nudges they required, etc.
@hmnt_bazookaprofilefollowYear 4 CS. Like tech, systems, game devreplied to@gherleinprofilefollowMaker and Builder. Cloud, embedded systems, video, telephony, radio, electronics, linux, whatever. blog.herlein.com:
haha that's a coincidence. Site looks awesome. The moving away from ROS2 part is so true. One of our main potential customers for physical AI solutions (a telecom provider in JP) communicated the need for agents to be able to pick up controls from any vendor
@hmnt_bazookaprofilefollowYear 4 CS. Like tech, systems, game devcontinued:
I apologize if that sounded obvious/non-obvious/amateurish haha. I was an intern and worked more on the agentic side of things, it was just a non-primary experiment
@peaceful๐Ÿ‘นprofilefollowโˆ†Dowdy.devDowdy.devArticles, tutorials, and tools related to InfoSec, Retro Gaming, and all things Web1.0.wrote:
At moms house for the holiday weekend so the kids can see Nana. She has a "premium Plex" account on her tv serving a truly massive amount of content. Allegedly the brother of a long time friend is offering the "service". She says that the service will go down when the host is having outages, so the infra is likely local. I brought my year this weekend. We are going to dig in to this guys operation. Intuition dictates that there is some hand rolled accounting going on. I'd like to see it.