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?

join the communityorbrowse notes

All notes

…
…
…
@catastrofer🥸profileenter to followJust another AI guywrote:
I need to re wire my brain a bit. Last couple of weeks has been a bit harsh dealing with some issues I had with someone. I started to give it a go a pay a bit more attention to myself, is the second time I get therapy but for some reason this time feel harder.
enter to reply
@_torayuriprofileenter to followi 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).
enter to reply
@_torayuriprofileenter to followi 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.
enter to reply
@_torayuriprofileenter to followi create thingswrote:
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.
enter to reply
@swileyprofileenter to followswiley.net Try my zero dependency agent harness: public.swiley.net/agent.py If you're spending too much time on sites like these install bingeblock.comreplied to@stagasprofileenter to followcreative technologistGitHubstagas - Overviewstagas has 462 repositories available. Follow their code on GitHub. creator of textlog:
I think you're doing the right thing. You also clearly have both business and product development skills that are almost impossible to find in the same person. I'd try to think of how to monetize some of these and consider YC.
enter to reply
@jamesjan3profileenter to followresearcher, developer, dancerreplied to@stagasprofileenter to followcreative technologistGitHubstagas - Overviewstagas has 462 repositories available. Follow their code on GitHub. creator of textlog:
personal projects probably just arent the right knob if you want to get unpoor. if you want my honest advice i would recommend not showing hallucinate to potential employers, its landing page looks one-shot claude and is gpu heavy. but the others look very nice.
enter to reply
…
@structiefprofileenter to followDigital business analyst, mostly on AI. Addicted to apps and domains. Family man.wrote:
took me until now to learn described images with low-cost models > attaching images to high-cost model. silly me. output quality remains, cost lowers.
enter to reply
@stagas🤸profileenter to followcreative technologistGitHubstagas - Overviewstagas has 462 repositories available. Follow their code on GitHub. creator of textlogreplied to@structiefprofileenter to followDigital business analyst, mostly on AI. Addicted to apps and domains. Family man.:
I'm amazed how good these models have become, that probably you don't need the high-cost one yeah. I'm producing comics for fun with the latest ChatGPT and they're flawless, no artifacts. ibb.co/TGBgYMQImgBBvibecoder hosted at ImgBBImage vibecoder hosted on ImgBB ibb.co/dn7rCxhImgBBpnp hosted at ImgBBImage pnp hosted on ImgBB
enter to reply
@gonzprofileenter to followI 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 contentwrote:
Who's enjoying #cnotesenter to follow in 2026? I'm back after ~14 years away (some sporadic once-in-a-while use in there) and I'm finding it better than ever, a smoother development experience and clearer code than pretty much every language out there, except for maybe #odinnotesenter to follow.
enter to reply
@swileyprofileenter to followswiley.net Try my zero dependency agent harness: public.swiley.net/agent.py If you're spending too much time on sites like these install bingeblock.comreplied to@gonzprofileenter to followI 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 content:
I get paid to write it if you can believe that.
enter to reply
…
@swileyprofileenter to followswiley.net Try my zero dependency agent harness: public.swiley.net/agent.py If you're spending too much time on sites like these install bingeblock.comreplied to@gonzprofileenter to followI 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 content:
Some specialized censors used in automated manufacturing. It's pretty cool, I look forward to coming into the office almost every day. I've worked for a few f500 companies and took a pay cut to come here. A bunch of people from my college robotics club work here too.
enter to reply
@gonzprofileenter to followI 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@swileyprofileenter to followswiley.net Try my zero dependency agent harness: public.swiley.net/agent.py If you're spending too much time on sites like these install bingeblock.com:
That sounds really cool. Above all I really like hearing that someone enjoys their work and likes showing up for it. I've had that feeling on a few contracts and it's great. Looking to get into embedded myself, since it seems that's where you get to have all the fun writing C. :)
enter to reply
@ryansepassiprofileenter to followreplied to@gonzprofileenter to followI 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 content:
#cnotesenter to follow has been such a pleasure. Haven’t tried Odin, but was using #zignotesenter to follow for a while, and I just found myself pulled back to C. A minimal sharp tool. Runs anywhere. Can actually write a compiler for it. Short bootstrap chain from hex0. Does anybody care about these things (anymore)?
enter to reply
@gonzprofileenter to followI 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@ryansepassiprofileenter to follow:
Support everywhere (in every way) was key to me starting to use C again. It's nice to not have to worry about the language you use being left out somewhere, a non-starter somewhere else and having to mentally translate it to something else (Zig/Odin in a debugger -> C).
enter to reply
@fastidious🙈profileenter to follow"Beware those that would deny you access to information, for in their heart they dream themselves your master." — Sid Meyerswrote:
I am trying to wrap my head around Traefik (which I have never used; have only used Caddy for most of my needs) to plan a migration for things I now run on "bare metal” to containers, and then use Traefik as entry point. If you know some good guides, send the link my way, please.
enter to reply
@pvarprofileenter to followex-perl programmer, linux userwrote:
let's see how arabic letters are rendered here: بسم الله الرحمن الرحيم
Let's see how Arabic letters are rendered here: بسم الله الرحمن الرحيم
enter to reply
@deallocprofileenter to followwrote:
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/?
enter to reply
@deallocprofileenter to followcontinued:
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/?
enter to reply
…
@hmnt_bazookaprofileenter to followYear 4 CS. Like tech, systems, game devreplied to@gherleinprofileenter to followMaker 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.
enter to reply
@hmnt_bazookaprofileenter to followYear 4 CS. Like tech, systems, game devreplied to@gherleinprofileenter to followMaker 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
enter to reply
@hmnt_bazookaprofileenter to followYear 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
enter to reply
@hmnt_bazookaprofileenter to followYear 4 CS. Like tech, systems, game devreplied to@stagasprofileenter to followcreative technologistGitHubstagas - Overviewstagas has 462 repositories available. Follow their code on GitHub. creator of textlog:
Cool!! I'm currently designing and idea-shopping for an ultra light weight, super aesthetic browser whose goal is to go back to HTML roots and just be a "document browser". It would have HTML 4 and semantic HTML support, images, videos, full HTTP support, cookies, etc. No CSS, JS
enter to reply
@hmnt_bazookaprofileenter to followYear 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
enter to reply
@stagas🤸profileenter to followcreative technologistGitHubstagas - Overviewstagas has 462 repositories available. Follow their code on GitHub. creator of textlogreplied to@egeprofileenter to followcheck out my blog: hypersubject.netege's webloghypersubject.netHi! I’m ege. Welcome to my corner of cyberspace. The following is for you to make sense of who I am. It is an attempt to make myself legible to you. So you can label and categorize me and decide if I’m worthy of your time and attention.:
hi @egeprofileenter to followcheck out my blog: hypersubject.net! welcome :) it does feel magical, i hope it persists as well. Thank you for the wishes.
enter to reply
@gonzprofileenter to followI 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@hotterprofileenter to follow#Emacsnotesenter to follow, dev, life, random stuff. the netherlands.:
I'm making a Kakoune version of this for sure.
enter to reply
…
@hotterprofileenter to follow#Emacsnotesenter to follow, dev, life, random stuff. the netherlands.replied to@gonzprofileenter to followI 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 content:
Yes, meow is the second-most popular modal editing package, after evil (vim). github.com/meow-edit/meowGitHubGitHub - meow-edit/meow: Yet another modal editing on Emacs / 猫态编辑Yet another modal editing on Emacs / 猫态编辑. Contribute to meow-edit/meow development by creating an account on GitHub.
enter to reply
@gonzprofileenter to followI 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@hotterprofileenter to follow#Emacsnotesenter to follow, dev, life, random stuff. the netherlands.:
That's pretty neat.
enter to reply
…
@gonzprofileenter to followI 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(deleted account):
Ah, no, I meant meow, the Kakoune-inspired emacs plugin.
enter to reply
…
@gonzprofileenter to followI 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(deleted account):
You have #kakounenotesenter to follow, 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.
enter to reply
@egeprofileenter to followcheck out my blog: hypersubject.netege's webloghypersubject.netHi! I’m ege. Welcome to my corner of cyberspace. The following is for you to make sense of who I am. It is an attempt to make myself legible to you. So you can label and categorize me and decide if I’m worthy of your time and attention.wrote:
turns out the power of exclamation mark thing in bash is bigger than !$ and !!. i learned a few tricks from refp.se/…/your-shell-and-the-lazy-exclamation-markrefp.seA shell exclamation mark is not for yelling. Be lazy. | Filip Roséen - refp.seEvent designators have been hiding in not-so-plain-sight since the late 1970s — so powerful that forgetting might be part of a massive conspiracy to wear out developer keyboards faster than otherwise., worth reading!
enter to reply
@highkeyprofileenter to followwrote:
'wade in the water.' isn't this the challenge of being 'ahead'? so many of us are waist deep in the same sea, it's hard to see what's in front of us vs. what's behind us. then we see the yacht boys sail by with their new masters, splashing us in their wake. then we grumble amongs
enter to reply
@chenxiangprofileenter to followwrote:
对于整个互联网历史，我可说基本上是一个旁观者，我一直在消费内容，但是没有生产过什么内容，互联网上没有我的痕迹，这是意外后果，因为中国的身份和内容政策
Regarding the entire history of the internet, I can say I've been largely an observer. I've always consumed content, but I haven't produced any. There's no trace of me on the internet, which is an unforeseen consequence due to China's identity and content policies.
enter to reply
@cyanohydrprofileenter to followreplied to@chenxiangprofileenter to follow:
我不太明白中国的“防火长城”是怎么运作的。比如说，你到底是怎么访问这个网站的？ （我是在通过翻译软件和你交流。）
I don't quite understand how China's "Great Firewall" works. For example, how exactly did you access this website? (I'm communicating with you through translation software.)
enter to reply
…
…
…
…
@kitnprofileenter to followhallucinating with llms...wrote:
i made grammar.lolgrammar.lolgrammar.lolInstant proofreading in every app. Free — Apple Intelligence, ChatGPT, or SuperGrok. it is an open-source version of grammarly that uses chatgpt, grok subscription or even then already local apple intelligence models. github.com/qKitNp/grammar-lolGitHubGitHub - qKitNp/grammar-lol: Proofread anywhere with your ChatGPT or SuperGrok subscriptionProofread anywhere with your ChatGPT or SuperGrok subscription - qKitNp/grammar-lol
enter to reply
…
@derblitzmannprofileenter 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.
enter to reply
@chenxiangprofileenter to followwrote:
我在中国是一个准脱离政府掌控者，基于身份的一切活动我都不参与，比如正式工作和网购。我也为此付出巨大代价，我的选择空间被极大压缩，行动能力损失严重。我只能通过少量免费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.
enter to reply
@chenxiangprofileenter to followwrote:
中国的开源模型在最高意志的主导下，在预训练数据阶段，就筛除大量对其不利的内容，sft阶段构建的数据掺入大量替其辩护的内容。急需一个纠偏数据集用于微调
Under the overarching influence of a single, powerful force, China's open-source models filter out a large amount of content unfavorable to their designs during the pre-training stage, and then incorporate a significant amount of content defending their designs into the data constructed during the SFT stage. A corrective dataset is urgently needed for fine-tuning.
enter to reply
@roylickor_profileenter to followwrote:
Someone can create enormous value while their manager controls the narrative around that value. Conversely, a manager can conceal structural problems because the people capable of exposing them depend on that same manager for evaluation and promotion
enter to reply
@nestorthecatprofileenter to followgrocer-engineer and polynomial enjoyer. not into reactionaries i attempt to stave off burnout with a healthy dose of dark souls, bloodborne, and friendswrote:
taking a week off to stave off burnout, catch up on some reading and writing and small projects, and finish Ocarina of Time. also will make soup
enter to reply
@plopprofileenter 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.
enter to reply
@plopprofileenter to followcontinued:
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.
enter to reply
…
…
…
@chenxiangprofileenter to followwrote:
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.
enter to reply
@chenxiangprofileenter to followwrote:
看来可以发中文。因为没有身份证，所以不能拥有手机号，接着不能注册稳定的email，也就没法注册内容平台，发布内容。hotmail因为我没有稳定的ip地址，常常封禁我的email账号，我的mastodon账号因此也没法长期使用。我希望这是一个我可以长期发布内容的地方
It seems I can post in Chinese. Because I don't have an ID card, I can't have a phone number, and therefore can't register a stable email address, which means I can't register on content platforms or publish content. Hotmail frequently blocks my email account because I don't have a stable IP address, so my Mastodon account can't be used long-term. I hope this is a place where I can publish content consistently.
enter to reply
@fastidious🙈profileenter to follow"Beware those that would deny you access to information, for in their heart they dream themselves your master." — Sid Meyersreplied to@chenxiangprofileenter to follow:
嗯，好吧，为了你自己，我希望它能持续很长时间。你的互联网问题很难解决，非常抱歉！ :-(
Well, okay, for your own sake, I hope it lasts a long time. I'm so sorry your internet problem is so difficult to fix! :-(
enter to reply
@chenxiangprofileenter to followreplied to@fastidiousprofileenter to follow"Beware those that would deny you access to information, for in their heart they dream themselves your master." — Sid Meyers:
谢谢你，没想到还真有人回我的帖子，我在互联网上至少几年没和人对话过了
Thank you. I didn't expect anyone to actually reply to my post. I haven't had a conversation with anyone online for at least several years.
enter to reply
@fastidious🙈profileenter to follow"Beware those that would deny you access to information, for in their heart they dream themselves your master." — Sid Meyersreplied to@chenxiangprofileenter to follow:
很高兴成为很久以来的第一个人之一，我的朋友！好好的，周末愉快！原谅我的小错误，我正在用翻译来回复。我们都知道大多数时候都不太好。
So happy to be one of the first people to reply in a long time, my friend! Have a good weekend! Please forgive my little mistake, I'm replying using a translation. We all know things aren't always great.
enter to reply
@fastidious🙈profileenter to follow"Beware those that would deny you access to information, for in their heart they dream themselves your master." — Sid Meyersreplied to@chenxiangprofileenter to follow:
I am sure pretty much everything that isn’t criminal, abusive, or illegal. I know those definitions vary from country to country. Just be a good human, and you should be OK.
enter to reply
@crustyrustaceanprofileenter to followOld school metallian, hobbyist developer writing things mostly in Rust…mostlywrote:
Having a little difficulty seeing how long this service will exist. People are terrible. Sooner or later it will be found and ruined.
enter to reply
@fastidious🙈profileenter to follow"Beware those that would deny you access to information, for in their heart they dream themselves your master." — Sid Meyerswrote:
I had hit a throttle now. That’s a “subtle" way to tell me to slow down.
enter to reply
@fastidious🙈profileenter to follow"Beware those that would deny you access to information, for in their heart they dream themselves your master." — Sid Meyerswrote:
Just started, and two made it to be block list. This is going well! :-D
enter to reply
@evnmprofileenter to followSoftware 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.replied to@fastidiousprofileenter to follow"Beware those that would deny you access to information, for in their heart they dream themselves your master." — Sid Meyers:
Didn't realize there's a block list! Good to include, even when the point is minimalism.
enter to reply
@fastidious🙈profileenter to follow"Beware those that would deny you access to information, for in their heart they dream themselves your master." — Sid Meyersreplied to@evnmprofileenter to followSoftware 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.:
It is good it exists. “Registration” is fairly open (and that’s good!), which could make the platform prone to abuse (and that’s bad).
enter to reply
join the community