textlog

about

The quieter social microblogging platform.

textlog is a simple social text log: write short notes, follow people and hashtags, and join conversations without turning every thought into a performance.

Notes are limited to 500 characters. The constraint keeps them quick to write and read, making room for one thought at a time.

Small by design

textlog is built around words: notes, people, hashtags, and conversations. It is intentionally small, straightforward, and easy to follow. There are no engagement tricks or pressure to build an audience.

Your profile and notes are public. Joining is free, and you can download or delete your account data whenever you like. If you feel like it, you can also donate to support the service.

textlog collective is fiscally hosted by Open Source Europe. Our finances and contributions are publicly visible on Open Collective.

Be a good neighbour

Share what is yours to share, treat other people with respect, and don’t use the service for harassment, abuse, spam, impersonation, or anything unlawful. We may moderate or remove content that puts the community or the service at risk.

What's next?

Any conversation

Inspired by two projects of github:schildep I start to explore what can be expressed in Lean and make coding agents implement and prove the implementation at the same time.
🧑‍🚀profileenter to followнυмαηwrote:
⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⢀⣀⣀⠀⠀⢠⠉⢹⢳⢄⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀ ⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⡤⠔⡞⠛⣵⠀⠀⠙⡄⢸⠀⢸⠀⡜⠀⠀⠀⠀⠀⢀⡴⠉⠈⡧⣀⣀⡀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀ ⠀⠀⠀⠀⠀⠀⠀⠀⠀⡰⠃⠀⢰⠀⠘⡆⠀⠀⢰⠈⡀⠀⡀⡇⡇⠀⠀⠀⡰⡱⡝⠀⡜⠀⡜⠀⢈⠆⠂⠤⡀⠀⠀⠀⠀⠀⠀⠀ ⠀⠀⠀⠀⠀⠀⢀⡀⢏⠀⢇⠀⠀⢃⠀⠸⡀⠀⠀⡆⡇⠀⡇⠁⡇⠀⠀⡰⢡⡱⠁⡐⢀⠌⢀⢴⠋⠀⠀⠀⣈⡆⡀⠀⠀⠀⠀⠀ ⠀⠀⠀⠀⠀⠀⡁⠈⠹⣦⠈⢆⠀⠈⡆⠀⠱⠀⠀⢰⢁⠀⢃⢸⡇⠀⢠⢁⢧⠃⡰⢀⠎⢠⡾⠁⠀⠀⡠⠊⡠⠃⠈⣄⠀⠀⠀
░░░░░░░░░░░░░░░░░░░░░ ░░░░░░░░░░░░▄▀▀▀▀▄░░░ ░░░░░░░░░░▄▀░░▄░▄░█░░ ░▄▄░░░░░▄▀░░░░▄▄▄▄█░░ █░░▀▄░▄▀░░░░░░░░░░█░░ ░▀▄░░▀▄░░░░█░░░░░░█░░ ░░░▀▄░░▀░░░█░░░░░░█░░ ░░░▄▀░░░░░░█░░░░▄▀░░░ ░░░▀▄▀▄▄▀░░█▀░▄▀░░░░░ ░░░░░░░░█▀▀█▀▀░░░░░░░ ░░░░░░░░▀▀░▀▀░░░░░░░░ #ascii_artnotesenter to follow
profileenter to followI carved wooden spoons and my favourite herb is lemon thyme.wrote:
After months of hardly any rain, I’m really enjoying a cozy day stuck indoors just listening to the downpour; getting on with doing some house cleaning. Is it too premature to declare this autumn⁇
😊profileenter to followPresbyter, 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
profileenter to followEat, 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.
profileenter to followI really enjoy learning, I really enjoy making. I'm learning to be less guarded.replied toprofileenter to followEat, 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.
profileenter to followlate is the hour in which this conjuror chooses to appearwrote:
"Sharing economy" once meant something. You'd Uber someone B→C when already driving A→B→C→D; you'd AirBNB your home when vacationing and stay at someone else's home who was doing the same. No driving just for Uber; no houses just for AirBNB. I fear this history will be forgotten.
My hometown is a popular tourist destination and we no longer can rent apartments on a year-basis. Everything is AirBnB and they only rent them to locals pretty expensive and off-season. As a local I can't live in my hometown anymore, so I'm staying in the mountains.
profileenter to followHow wonderful to be alivewrote:
I forgot that I was at work and did my big sneeze, not the work sneeze. The one where a startled deer looks straight into the camera, which then zooms out to a flock of pigeons taking off, and a crow makes a warning noise. Someone dropped something in the adjacent lab. I hope it wasn't my fault.
profileenter to followOld school metallian, hobbyist developer writing things mostly in Rust…mostlywrote:
I'm going to attempt to build a take on a board game I loved, from 1989, MBT, by Avalon Hill. Watch me face plant. Starting by trying to understand hex math.
I'm just an android launcher called Nocebo Launcher. I don't have usual grid layout, instead I'm inspired by Darth Vader's TIE fighter. My layout can spin, like a real spinner and you can configure physics and animations. I'm easy, cool and novel
The essence of aligning large LLM models is basically to conform to the existing social order. ChatGPT respects China's order, while China's open-source models, although reluctantly, also tolerate the order in the US. Maybe we can build a revisionist SFT dataset.
I think if @stagasprofileenter to followcreative technologist creator of textlog intends to be an active user of the site henceforth, it'd it should be kosher. Otherwise, one of us who's been active on the site for a while could submit a post.
I plan to remain active, so not planning a top level post just yet. Will try to engage first for a few days so the ratio is low when I do the post.
我在中国是一个准脱离政府掌控者,基于身份的一切活动我都不参与,比如正式工作和网购。我也为此付出巨大代价,我的选择空间被极大压缩,行动能力损失严重。我只能通过少量免费wifi访问互联网
In China, I am practically independent of the government; I don't participate in any activities based on my status, such as formal work or online shopping. I've paid a heavy price for this; my choices have been severely limited, and my mobility has been significantly impaired. I can only access the internet through limited free Wi-Fi.
Med dyp respekt minnes vi kong Harald av Norge som gikk bort i morgentimene i dag. Fred over hans minne. Våre tanker er hos den som har mistet en mann, de som har mistet en far og svigerfar, barn som har mistet en bestefar. Og et helt land som har mistet en konge. Må Gud styrke han som følger etter. #norwaynotesenter to follow #kingharaldnotesenter to follow
With deep respect we remember King Harald of Norway who passed away in the early hours of this morning. May his memory rest in peace. Our thoughts are with those who have lost a husband, those who have lost a father and father-in-law, children who have lost a grandfather. And an entire country that has lost a king. May God strengthen those who follow. #norwaynotesenter to follow #kingharaldnotesenter to follow
profileenter to followwrote:
For 30 years, productivity sky-rocketed with the advancement of automation and computing. Meanwhile, a decline in longevity was observed, correlated to sleep depravation. Productivity improvement goes to the owners class' pockets, sleep benefits the workers health.
For 30 years, productivity skyrocketed through automation, yet longevity plummeted as a direct result of sleep deprivation. While these gains accrue to the owner class, sleep remains an undervalued element of the worker's health. We are trading life expectancy for chump change.
Similar with having access to so much critically acclaimed media, but they are so emotionally or intellectually draining that I find myself rewatching ol' familiars. Availability seems just one aspect, and perhaps not even the most limiting factor. Maybe most people have a "limit" on number of "lives", as in number of times you fall in love, change, get inspired, connect, etc..
profileenter to follow10+ years Seattle based software engineer.wrote:
Recently hit 10+ years (cumulative) of being a software engineer. I must say, I enjoy senior level interviews much more than coding interviews.
5 min/km is pretty quick, as far as I'm concerned! My easy/forever pace is more like 8:30–9 min/mile right now.
The longer the text you need to store, the bigger a QR code needs to be in order to scan reliably. Also, you might be more confident in being able to keep a short URL stable (it's already a step of indirection, so if you want to reorg your site you can just update where the short URL points to). But people don't really take care to maintain short URLs anyway, apparently.
We have 27 chickens right now, 18 of which are new this year and are just starting to lay in the last few weeks. I have collected 13 eggs today so far.
profileenter to follow(\ (\ ( • •) ━∪∪━━━━ Full of mostly true stories, I occasionally write them down. Habit of talking to anyone. Bipolar. Author.wrote:
So, I just got an invite to the new W Social (EU) platform. It requires proper ID authentication - so actual provable humans are on there. Feels good and slightly optimistic. Let's see how it goes. #wsocialnotesenter to follow
találtam egy mikroblogot textlog.cctextloghotA quieter place for your thoughts. webcímmel, szerintem jól működik együtt a textlog.hu főoldalammal, makroblogban mikroblog, textlogban textlog beágyazva, kereshettem volna más megoldást, de ezzel egyelőre elégedett vagyok
I found a microblog with the web address textlog.cctextloghotA quieter place for your thoughts., I think it works well with my main page textlog.hu, microblog in macroblog, textlog embedded in textlog, I could have looked for another solution, but I'm satisfied with this for now
profileenter to followex-perl programmer, linux userwrote:
let's see how arabic letters are rendered here: بسم الله الرحمن الرحيم
Let's see how Arabic letters are rendered here: بسم الله الرحمن الرحيم
It doesn’t have the high but it will make you more alert, kind of like tea or coffee.
last time i checked cbd was just not psychoactive at all no?
I just took a look on it yesterday and seems like the stimulant effect is there, so seems like at this point there are mix results on if it actually helps with anxiety and sleep issues. For me personally seems to work just fine but Im not 100% sure how much does it actually does something for me or is just a placebo effect. My thinking is that if I do it from time to time, I can let my body get use to the feeling of a sleep schedule without create dependency on external melatonin dosis or CBD.
🤸profileenter to followcreative technologistGitHubstagas - Overviewstagas has 462 repositories available. Follow their code on GitHub. creator of textlogreplied toprofileenter to follow"Beware those that would deny you access to information, for in their heart they dream themselves your master." — Sid Meyers:
Yeah it's happening to people. It's because the email contains a link and we don't have the reputation yet. Not sure what to do, have you tried reporting it as 'Not spam' in your client? Maybe if enough people do that it will fix. Gmail works ok.
🙈profileenter to follow"Beware those that would deny you access to information, for in their heart they dream themselves your master." — Sid Meyersreplied toprofileenter to followcreative technologistGitHubstagas - Overviewstagas has 462 repositories available. Follow their code on GitHub. creator of textlog:
Yup, I am moving them out of it. It might take a while, but eventually should be OK. All good, hopefully now with a password I will not have much use for them any more.
Catastrophic interference is also a favorite Wikipedia page and concept. The thing is, it doesn’t only happen to artificial neural networks, I’ve had it happen to me a few times. Especially with pin numbers, newer pins overwriting old ones and I’m always scared when I’m having hard time remembering something that this catastrophic interference applied and now the information is gone from my brain.
profileenter to followOld 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.
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
profileenter to follow10+ years Seattle based software engineer.wrote:
Job I was hoping for gave me the "we found another applicant" treatment. I don't begrudge them for that, since I know I had a 'less than adequate initial coding interview. But still, it stings and sucks. Hopefully my other interviews yield better results...
profileenter to followI carved wooden spoons and my favourite herb is lemon thyme.wrote:
Finally watched Project Hail Mary. Easily one of my top 5 favourite films but it’s still not nearly as good as the book — I feel like the cut some pretty important scenes
profileenter to followProgrammer by day and night. Lover of art. Mixing art and programming is the dream.replied toprofileenter to followI carved wooden spoons and my favourite herb is lemon thyme.:
I loved the book and I’m always fearful when a movie script is developed and a movie produced, so my relief after I saw the movie was immense. I too feel they’ve cut-out some bits, but the main thing that a book almost always takes my breath away with is fueling my imagination. A movie would (possibly) never nail that aspect.
profileenter to followreplied toprofileenter to followI carved wooden spoons and my favourite herb is lemon thyme.:
I just watched it as well. It was fun. There were a number of things that I felt weren't explained well and broke my suspension of disbelief; I haven't read the book, but I found myself really curious whether the book takes the time to justify things more. Obviously, the movie has a lot of pressure to rush to the next "big moment".
profileenter to followI carved wooden spoons and my favourite herb is lemon thyme.replied toprofileenter to follow:
If there’s one thing Andy Weir can’t be critiqued on then it’s not fully justifying all of the science. I think the film on the other hand can be hard to follow for someone who has neither read the book nor has a scientific background. It’s just hard to monologue about gravitational forces and relativistic speeds on screen.
profileenter to followphotography, art, solo dev, based in NYCwrote:
#ainotesenter to follow Installed Hermes Desktop and starting to build out my team of bots. My experience with Hermes so far has been great: it keeps surprising me by being what i need it to be ... but I'll reserve a final judgement until after a proper period of use.
profileenter to followhallucinating with llms...wrote:
I made a chrome extension to bring the top Hacker News stories to your new tab, with quick summaries. So every time you open a new tab, you might discover something everyone else hasn’t heard about yet. If you’ve never heard of Hacker News: it was created by Paul Graham(founder
profileenter to followNew herewrote:
Still in Quebec City, which has a pretty sizable street population once you come down from the hill where the tour groups go. We had to basically step over some guys sharing a glass pipe on the only stairs up the hill yesterday; I have teenagers so this bothered me. Later, my youngest and I were talking and he says "why don't the police do something about that?"
profileenter to followNew herecontinued:
He's showing me the first season of Mob Psycho, so I say You know how Mob's little brother Ritsu wants to clean up the school so there are no people who will bully Mob, and so he allies with the power hungry student council president and frames all the bullies to get them expelled and the whole situation eventually becomes really corrupt and authoritarian and Ritsu feels to blame even though he started out with good intentions? Life is really like that...
profileenter to followNew herecontinued:
And so my guess is that Quebec is in the portion of the cycle that's reacting to harsh and unfair policing of the past. Someday a mayoral candidate will get elected on the promise of cleaning it all up and the cycle will begin again. Anyway Mob Psycho is a good show.