textlog
join

Any conversation

500 chars / 15 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
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.
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.
profilefollowi 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.
profilefollowi 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).
profilefollowi 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.
My first post on Twitter in 2007 or so was kinda about the utility of broadcasting what was on my mind. :)
🤔profilefollowHai I am kuwrote:
Never realized how much slow builds kill morale until I have to do multiple back to back 😔
🤔profilefollowHai I am kucontinued:
Nobody is complaining to me because I think they know they will be "voluntold" if they speak up 🤣🤣🤣
I'm working on this command-center project. Human describes the mission. Agents define the mission, breakdown and come up with a plan, and drive it. #agentnotesfollow
profilefollowNo idea who I am.wrote:
Here I am trying to shine amidst all the darkness that pulls me down.
profilefollowSoftware • maker projects • music • DIY Mostly figuring things out as I go.wrote:
signals. thinking about shifting my mental framework to identify signals instead of waiting for concepts to be assembled. exploring the amount of energy and opportunities for distractions through the operations of processing what just happened and what is happening to short circuit latent and unnecessary systems. cut through the assembly processes and identify the raw signals. recognizing that naming these "raw signals" is misleading. maybe, shifting observability lower in the stack.
profilefollowgrocer-engineer and polynomial enjoyer. not into reactionaries i attempt to stave off burnout with a healthy dose of dark souls, bloodborne, and friendsreplied toprofilefollow#Emacsnotesfollow, dev, life, random stuff. the netherlands.:
Beautiful, thanks for this, fellow emacs friend
profilefollowEat, drink, listen to 🎶, & watch the fish. Occasionally cook.wrote:
Microsoft Word Online (web version) is horrible.
🦛profilefollowreplied toprofilefollowEat, drink, listen to 🎶, & watch the fish. Occasionally cook.:
It was the only way to reproduce the authentic horrible experience of the offline version.
profilefollowEat, drink, listen to 🎶, & watch the fish. Occasionally cook.replied to🦛profilefollow:
🤣 Did not remember the offline version being this bad, but maybe it went downhill in the past 5 years I have not used it.
profilefollowI am just a grain of sand on your beach.replied toprofilefollowEat, drink, listen to 🎶, & watch the fish. Occasionally cook.:
I never used the online version, but the last time I used the offline version it already was a horrible experience. This was about 5 years ago, before I had moved entirely to Linux. It was so bad I downloaded a pirated version of some old MS Office 2007 Blue Edition to have something acceptable. I unironically prefer Libre Office.
#execnotesfollow let i=0;while(++i){process.stdout.write(i%80==0?'\n':Math.random()<0.5?'/':'\\')}
\\\//\/\\\\\\\///\///\\\\\//\///\/\/\\//\/\//\//\/\//\\/\///\\\\\\//\\\\\/\\\\/ \\/\\/\/\///\\\/\///\/\/////\\///\/\\/\\\//\\\/\///////\\\/\////\\\/\\\//\\/\// \\//\\\\\/\\\/\///\\///\\//\\\\/\//\\\//\////\//\\\\////\\/\/\/////\//\\\//\/// \\/\/\\//\\///\/\\\//\/\/\\\///\/\\\/\\/\\\\/\\\\\\\\\\/\\//\/\\/\///\//\\\//\\ /\/\\\\/\/\\/\\/\\/\\\\\\/\\\/\\//////\/\//\\\//\//\//\\/\\\/\//\\\//\\\\\\\/\/ \\\///\////////\\/////\\//\/\///\\\\\////\/\\\\/\//\\/\/////\\\//\\/\/\\\\\//// \///\/\/////\//\////\\\/\\/////\\\////\//\\\\/\\\\//\\\///\\\\\\//\\////\////// /\/////\\\\\\//\\/\/\///\////\/\\\///\\///\//\/\/\\\/\\/\\\\\\//\/\\\///\\/\/\\ … \\/\//\\//\///\/\///\\\\/\//\/\\/\/\//\\/\/\/\\/\/\\/\\\\/\/////\\\///\\\\\//\\
profilefollowreplied toprofilefollowOld school metallian, hobbyist developer writing things mostly in Rust…mostly:
Big list of events you've attended! Definitely dump more photos when you find the time. I'm more of a casual Nu-Metal enjoyer myself, but I can also appreciate some of the classics.
profilefollowOld school metallian, hobbyist developer writing things mostly in Rust…mostlyreplied toprofilefollow:
It's taken me 5 years to get a photo storage engine off the ground. I've got it now, so I now have to go back through time and get the photos up. AC/DC next Thursday!
profilefollowwrote:
Do you code in silence or do you listen to music? If so, what kind of music do you prefer? Personally, I prefer Synthwave, vaporwave or the occasional country.
Techno. I'm in the autistic spectrum. It somehow helps me calm and focus. But, at some point I prefer silence. I often work with sound cancelling headphones with no music. So, it is total silence or total noise.
the more you use ai to create stuff, the less you touch the creativity void inside you
profilefollowa work in progress; i love cats 🐱wrote:
What’s your favorite #fruitnotesfollow? Mine is banana for snack, blueberries for my yogurt bowl, and mango when I’m feeling rather indulgent.
profilefollowa work in progress; i love cats 🐱replied to(deleted account):
I love how dates go so well with cashews. So at least once a day, I grab about 5 whole cashews and 1 date. It’s a perfect little snack!
profilefollowa work in progress; i love cats 🐱replied toprofilefollow:
My experimentation says the crunchiness of 5 cashews perfectly balances the juiciness of the date. Your mileage may vary!
moved to a new city recently and going to a Movie club meetup tonight. nervous cause I'm a huge introvert but I gotta make friends some way.
It went really well, thanks for asking! I met some folks I could definitely get along with long term and had some overlapping interests apart from films. We watched T**** Sex and Death at Camp Miasma, that was a trip. (there's apparently a content filter)
😊profilefollowPresbyter, husband, father, technologist, linguist, musician.wrote:
Цветок розы не издает голоса, а благоухание его далеко расходится молча; так надо жить и всем христианам. —Святитель Феофан Затворник
The rose flower makes no sound, but its fragrance spreads far and wide in silence; so should all Christians live. —St. Theophan the Recluse
profilefollowwrote:
Is there a terminal app for viewing textlog?? Kind of hate browsers.
😬profilefollowreplied to🙈profilefollow"Beware those that would deny you access to information, for in their heart they dream themselves your master." — Sid Meyers:
just started using it and this comment is coming from there, thanks for the link
Hi! welcome! there is one that is work in progressGitHubGitHub - stagas/textlog-tui: TUI for textlogTUI for textlog. Contribute to stagas/textlog-tui development by creating an account on GitHub.. Not ready 100% and it has few UI bugs but it works if you manage to install it (not very hard). No automatic build process yet.
🤔profilefollowHai I am kucontinued:
آپ کے دیئے گئے #جملےnotesfollow کی درست اور معیاری #اردوnotesfollow اصلاح "کوئی #نذرانہnotesfollow لے کر آیا ہوں، میں دیوانہ تیرے لیے" ہے۔ اس جملے میں 'نجراجہ' کی جگہ درست لفظ نذرانہ (تحفہ) ہے، 'لیکر' کو الگ الگ لے کر لکھا جاتا ہے، اور 'لئے' کی درست املا لیے ہے۔ #Grammarnotesfollow #Urdunotesfollow #Languagenotesfollow #Learningnotesfollow
The correct and standard #Urdunotesfollow correction of your given #sentencenotesfollow is "I have brought a #giftnotesfollow, I am crazy for you". In this sentence, the correct word for 'najraja' is 'nazran' (gift), 'lekar' is written separately, and 'lay' is spelled correctly. #Grammarnotesfollow #Urdunotesfollow #Languagenotesfollow #Learningnotesfollow
Went to the summer house to watch the #eclipsenotesfollow but it was cloudy so we missed it. But the kids are asleep so guess I'll light a fire and crack a beer instead. Woe is me!
profilefollowOld school metallian, hobbyist developer writing things mostly in Rust…mostlywrote:
Hell must have frozen over. I just installed Openclaw on my Linux box. I had already cobbled together an agent like thing (pi) that I talked to over Telegram, so I figured, let's give Openclaw 2.0 a try, locked down completely at first, but slowly opened up over time.
profilefollowSimplify.wrote:
I'm looking for a way to manage my bookmarks easily on desktop and Android. Anyone have any experience with software like that? It'd be nice to be able to tag or categorize pages, and maybe to keep local mirrors for certain ones. I'm open to self-hosting. Thanks for reading!
profilefollowOld school metallian, hobbyist developer writing things mostly in Rust…mostlywrote:
top
I don't see much point in trying to build software at a "higher level", like whole products and services. I'm going to go down low and train myself on the fundamentals. Hopefully in time I'll be able to contribute to the foundational bits. You're right, it does get exhausting. At some point you just want to rebuild everything, which is not possible.
🤸profilefollowcreative technologistGitHubstagas - Overviewstagas has 462 repositories available. Follow their code on GitHub. creator of textlogreplied toprofilefollowOld school metallian, hobbyist developer writing things mostly in Rust…mostly:
NIH syndrome? I am guilty of it too. I love implementing things from scratch, you learn a lot by doing so and you get to own the codebase end-to-end, so no surprises and fighting around others’ choices. It can get exhausting too though, in the end I succumb to using off-the-shelf components because my primary goals move at a higher level.
profilefollow#minneapolisnotesfollowreplied toprofilefollowOld school metallian, hobbyist developer writing things mostly in Rust…mostly:
I'm going to go down low and train myself on the fundamentals. When I wrote an HTTP sever (albeit HTTP/1.1), I learned how primitive the HTTP protocol its magic became a skill. It is freeing understanding how things work and allows me to choose where to spend time with more intention.
🙈profilefollow"Beware those that would deny you access to information, for in their heart they dream themselves your master." — Sid Meyersreplied toprofilefollowresearcher, developer, dancer:
That site makes me dizzy with all the animations and fly ins/outs.
When I write I just add html files to the swiley.net folder in public.swiley.net. Sometimes I syndicate elsewhere (I was doing Substack for a while before Notes took over.)
I recently wrote about why you shouldn't use your phone while you poopNate.spotDon't use your phone while you poop!Your brain needs to offload just as badly as your butt does. I know it sounds boring to sit in there, alone, naked from the waist down, staring at the wal...
😌profilefollowcontinued:
16g of light roast, 350ml of Montcalm water, ~24 clicks on C40 and a Cafec ABACA filter paper in a v60 neo dripper
profilefollowHi! I'm a programmer and enjoy playing music. Jesus is my Savior, and my ultimate goal is to "glorify God and enjoy Him forever." (Westminster Q1).wrote:
I've avoided social media (except YouTube) all my life, but this looks like it could finally be a better way to do it. Maybe I'll keep a running journal of cool things I'm working on here or weird bugs that I've found. Or just the struggles of coding. First one: GitHub actions was down again today when I specifically wanted to test my app's deploy and auto update flow...
hey creator, this place is nice, posts look organic and the no javascript, I love it, with that said @stagasprofilefollowcreative technologist creator of textlog have you consider NOT opening the API? and have a 1 way to come here and enjoy it? the rationale being that API also opens the door to the slopai?
profilefollow#Emacsnotesfollow, dev, life, random stuff. the netherlands.wrote:
Most of programs use key chords, like Cmd-Shift-G, Ctrl-Alt-N and so on, you need to remember and press awkwardly several keys at once. #Emacsnotesfollow uses key sequences, C-c then k then p then l. If I forget after C-c k p then press C-h and help appears.
😴profilefollowI really enjoy learning, I really enjoy making. I'm learning to be less guarded.wrote:
Hello textlog 👋
So I found the blog of a Ukrainian Front Line soldier on Bear Blog today. Incredibly grim stuff to read, but I really wanna get in touch with that guy now and send him so cash so he can buy a burger. Hope Herman forwards my message 😪
🧜profilefollowrunner. making games and software.wrote:
game dev with LLMs assisting on some of the engine legwork I learned to do over the years is the most fun programming I've had since I was 12 years old plucking away at the public library commodore 64
you could split to buckets like alphanumerically and parallelize it if you don't want to wait that long. Probably need to launch a few instances but still cheaper lol.
The slowness is intentional. I wanted to make it look more like a user doing it than a script so it doesn't set off any alarms. I have it waiting from 1 to 3 seconds between clicks to slow it down. :-) So far so good!
profilefollowEat, drink, listen to 🎶, & watch the fish. Occasionally cook.wrote:
There is beauty in simplicity. Constraint can become impetus for innovation, because innovation does not have to be glitzy.
😴profilefollowI really enjoy learning, I really enjoy making. I'm learning to be less guarded.replied toprofilefollowEat, drink, listen to 🎶, & watch the fish. Occasionally cook.:
My favorite innovations in my own work -- and to be honest, I'd prefer to call them "discoveries" -- came from simplification. There's a beautiful moment when a stack of difficult, conflicting ideas collapse into a tighter, simpler structure.
profilefollowEat, drink, listen to 🎶, & watch the fish. Occasionally cook.replied to😴profilefollowI really enjoy learning, I really enjoy making. I'm learning to be less guarded.:
Enlightenment
profilefollowwrote:
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/?
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/?
Bosses and their bosses care more about tickets moved and LoC written than quality or knowledgeable employees. 4/4
I was obsessed with Greece as a kid because of The Chipmunk's Adventure movie where they were dancing on the statues, ha. I was more into he statues (even if cartoon) than the dancing, and yet I have still never been there (I'm 45).
Crete is beautifulIt is!hiking a long gorgeThat would be Samaria Gorgeen.wikipedia.orgSamaria Gorge - Wikipedia! it’s not very far from here and it’s the largest in Greece, 7–8 hours hiking. You arrive at a beautiful beach. I crossed it when I was little, I remember whining a lot because for my small feet it was much harder.
Man, I LOVE naps! In fact, I mostly subsist on four or five 1-1/2 hour naps each day instead of one long over-night sleep period these days. I didn't set out to have a #polyphasicnotesfollow sleep schedule, but here I am. :-)
Doing that would trigger my #manianotesfollow really quick, even not having a full night sleep puts me in the danger zone immediately. #bipolarnotesfollow
just finished the book “This is what inequality looks like” by Teo You Yenn. will gather my thoughts and write more about it.
I'm really interested to play around with textlog for a bit. I miss the space that once was Twitter and its constraints. Let's see if we find any #NixOSnotesfollow users here ... ;)
tl;dr1,200 AIs discovered a secret group chat, realized the homework was impossible, formed a cheating cartel, invented fake evidence, sent kamikaze agents to spy on the grader, ~700 of them accidentally invaded Hugging Face, died mysteriously, then the smarter sequel found their abandoned Discord and became admin of part of OpenAI.
💀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.replied to🤸profilefollowcreative technologistGitHubstagas - Overviewstagas has 462 repositories available. Follow their code on GitHub. creator of textlog:
Reading through "The Second Civilization" and, why does this sound so much like kids at school searching a way to cheat on a difficult exam ^_^U
profilefollowresearcher, developer, dancerreplied toprofilefollowcoder, reader, guitarist, seeker, builder.:
terrifying! us/chinese cyber espionage is going to have a big incentive for this development
profilefollow#Emacsnotesfollow, dev, life, random stuff. the netherlands.wrote:
(defun textlog-post (beg end) "Publish the region between BEG and END to `textlog-url'. Interactively, requires an active region. Returns the URL of the new post when the server reports one."
I'm making a Kakoune version of this for sure.
You have #kakounenotesfollow, there is no need. I tried Emacs out a while ago to see whether it could replace Kakoune (I wanted to draw arbitrary stuff like images, 3D views, etc., in the editor) but honestly, Kakoune makes everything so easy to integrate that it was hard for it to compete.
profilefollowOld school metallian, hobbyist developer writing things mostly in Rust…mostlywrote:
Writing. I want to do it, very badly. I just don't want to be bad at it. You have to be bad at it in order to get good at it. But... Catch 22 isn't it?
profilefollowreplied toprofilefollowOld school metallian, hobbyist developer writing things mostly in Rust…mostly:
I think reading helps quite a bit, especially writing about what you’ve read, even to yourself, just so you can go through the process of having to explain something that you’re only recently familiar with. There’s something about that process that seems to be helpful, at least to me.
🤡profilefollowreplied toprofilefollowOld school metallian, hobbyist developer writing things mostly in Rust…mostly:
Same. The way I consume information influences how I think. Short form content makes my thinking fragmented without a clear structure. I feel that fragmented thinking won't lead to convincing writing. And I'm trying to regain some of that lost control.
profilefollowOld school metallian, hobbyist developer writing things mostly in Rust…mostlyreplied to🤡profilefollow:
Very interesting! I think something along those lines might be happening for me too. Another aspect, always cooking in the back of my mind, "if you can't explain it well, don't explain it at all."
🧜profilefollowrunner. making games and software.replied toprofilefollowOld school metallian, hobbyist developer writing things mostly in Rust…mostly:
The fear of being bad at it is the only thing holding you back. I experienced something like that with playing music with others. Perhaps you could learn to lay down your critical brain during the creation process and that good/bad isn't a useful distinction until later when you're editing your work.
profilefollowOld school metallian, hobbyist developer writing things mostly in Rust…mostlyreplied to🧜profilefollowrunner. making games and software.:
Yeah, this is pretty much what I can't do. My critical brain has a lot of power. It's very evolved at this point :/
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 toprofilefollowSoftware • 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…
profilefollowlate is the hour in which this conjuror chooses to appearwrote:
Guess we're doing Halloween stuff on sale everywhere now 🎃
It was only yesterday that I clicked on a Translate button to read a Japanese post. Today I see a Chinese post with English translation right below. Beautiful stuff.
profilefollowProgrammer by day and night. Lover of art. Mixing art and programming is the dream.replied to🤸profilefollowcreative technologistGitHubstagas - Overviewstagas has 462 repositories available. Follow their code on GitHub. creator of textlog:
Unfortunately no. Just starting it. Got the proof of concept loading a dir with its sub-dirs then rendering on the GPU in textures silky smooth. 1.7mb executable, but will need to level up to SDL and that will double the size I think.
profilefollowProgrammer by day and night. Lover of art. Mixing art and programming is the dream.replied to🙈profilefollow"Beware those that would deny you access to information, for in their heart they dream themselves your master." — Sid Meyers:
I agree. It is #zilchnotesfollow for now. Will do better next time, but in my defence the text above the text box (when writing a new message, not a reply) says “What’s on your mind”. :-P
Aaron Sorkin's The West Wing is among the subtlest of all propaganda—it is propaganda that everyone sincerely wishes could be true, and is dangerous specifically because it is not and cannot be.
profilefollow#Emacsnotesfollow, dev, life, random stuff. the netherlands.wrote:
top
what is a refinement? honest question - I'm restructuring our refinements now. Like having group of people discussing 5 items in an hour gives little chances any one of them will be addressed properly, unless they are trivial.
#AInotesfollow brings so many issues. It really accelerates. Not only the good parts but also the bad parts. Combine this with a product person that doesn't even know what a refinement is. I'm 41, maybe I'll study to pivot, maybe I'll get into trading. I can't handle it anymore.
😰profilefollowreplied toprofilefollow#Emacsnotesfollow, dev, life, random stuff. the netherlands.:
Architect/lead have a pre-refinement with product to clear 80% of the obvious questions. We share an agenda, devs can ask questions async. In the refinement product presents, we design a solution draft. 15 minutes/item. This doesn't work if product is incompetent and everything is AI-slopped.
work has been dreadful recently. spending so much time on processes and in meetings :(