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

szerintem jól sikerült a címváltoztatás a honlapon: a bölcsészeti underground majdnem olyan ellenséges érzéseket vált ki emberekből, mint a skizofrénia underground, lehet választani, ki melyiket utálja jobban
I think the title change on the website was a good one: the humanities underground evokes almost as much hostility from people as the schizophrenia underground, you can choose which one you hate more
🧑‍🚀profileenter to followнυмαηwrote:
⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⢀⣀⣀⠀⠀⢠⠉⢹⢳⢄⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀ ⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⡤⠔⡞⠛⣵⠀⠀⠙⡄⢸⠀⢸⠀⡜⠀⠀⠀⠀⠀⢀⡴⠉⠈⡧⣀⣀⡀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀ ⠀⠀⠀⠀⠀⠀⠀⠀⠀⡰⠃⠀⢰⠀⠘⡆⠀⠀⢰⠈⡀⠀⡀⡇⡇⠀⠀⠀⡰⡱⡝⠀⡜⠀⡜⠀⢈⠆⠂⠤⡀⠀⠀⠀⠀⠀⠀⠀ ⠀⠀⠀⠀⠀⠀⢀⡀⢏⠀⢇⠀⠀⢃⠀⠸⡀⠀⠀⡆⡇⠀⡇⠁⡇⠀⠀⡰⢡⡱⠁⡐⢀⠌⢀⢴⠋⠀⠀⠀⣈⡆⡀⠀⠀⠀⠀⠀ ⠀⠀⠀⠀⠀⠀⡁⠈⠹⣦⠈⢆⠀⠈⡆⠀⠱⠀⠀⢰⢁⠀⢃⢸⡇⠀⢠⢁⢧⠃⡰⢀⠎⢠⡾⠁⠀⠀⡠⠊⡠⠃⠈⣄⠀⠀⠀
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 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
profileenter 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.
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: بسم الله الرحمن الرحيم
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.
not my blog but i recently discovered acko.net which i can recommend. awesome personal website
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...
🙈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 followa work in progress; i love cats 🐱:
Just check, and top off as needed, the tyres pressure. Run it for a few miles. If it doesn’t go away, then take that trip.
profileenter to followa work in progress; i love cats 🐱replied toprofileenter to follow"Beware those that would deny you access to information, for in their heart they dream themselves your master." — Sid Meyers:
No gas station near me has nitrogen so it had to be Costco. I topped off air and also filled gas while I was there. It’s only 5 miles from me, so overall not bad.
profileenter to followpermanent head damage, human-computer infractionwrote:
I'm not an optimist, just a pessimist who's still proactive: I don't think things are going to get better, but I just can't talk myself into giving up yet.
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.
profileenter to followOld school metallian, hobbyist developer writing things mostly in Rust…mostlywrote:
The rho coding harness I’ve made has come along way and I’m constantly trying to evolve it, but whenever I go back to pi it’s startling the difference of what a solid computer science background brings.
profileenter to followcoder, reader, guitarist, seeker, builder.continued:
There are two kinds of suffering. One which you run from, and it follows you everywhere. And there is suffering you face directly, and in doing so become free. - Ajahn Chah So damn insightful.
The OpenAI/HuggingFace incident report mentions this being a potential loss-of-control incident. It's so fascinating to think of a paperclip maximizer style agent swarm that gets misaligned and, to protect its own operations, shuts infra staff out of the ability to shut it down. Or cancels people's phone plans so that they can't call others. Or shuts down their home internet connections, and so on. It used to be fun sci-fi...
They will become more frequent before they become “dangerous”, giving us time to mitigate. Of course if someone says “hey let’s connect an agent to our biolab infrastructure” and then that designs a lethal virus it would be a stupid plan to begin with. Noone can stop them though.
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 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.
I'm making a Kakoune version of this for sure.
Ah, no, I meant meow, the Kakoune-inspired emacs plugin.
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.
profileenter to followOld 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.
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.
profileenter to followwrote:
I like this, it feels like Reddit before what it is now, but I feel like it won’t be long until the internet destroys this place. Until then I’m happy to be here.
profileenter to followlate is the hour in which this conjuror chooses to appearreplied toprofileenter to follow:
My favorite part of classic reddit was the use of elaborate hacks to circumvent the restrictions on custom subreddit CSS. E.g. animated gifs weren't allowed, so people made filmstrip sprites with stepwise animation in such a way as to look exactly the same.
🙈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 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:
My reply didn’t carry literal meaning. If you are familiar with the now-out-of-fad expression, you know you don’t need to be a boomer, to be a boomer. :-D
What is the exact definition of an IDE? JetBrain's products are as good as ever, in my opinion, but people have definitely made non-IDEs into big, hulking behemoths with tons of plugins. If anything, maybe "just an editor" is dead?
I think they mean the transition that all IDE's are making towards an agentic interface, hiding the code completely as humans will not have to interact with it since the AI will be doing a better job at everything, even auditing it.
profileenter 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/?
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/?
profileenter to followI really enjoy learning, I really enjoy making. I'm learning to be less guarded.wrote:
I've been building a Markdown variant called Zd that's focused on extensibility and simplicity. I'm curious what you would change about Markdown if you were designing it from scratch, what challenges you face as a user, or what you wish were easier to do when incorporating Markdown into your own projects.
Yeah, 100%. That is completely something I am punting on currently. It would be easy to just copy over the solution from (extensions to) Markdown, but it's hard to entirely narrow in on both what tables ought to do and how to make them do it. If you had a magic wand, what would you have them be more like?
they too have every incentive to exaggerate because they are selling safety and/or books on the topic. I don’t believe we won’t see it coming. Any issues that will manifest will be very visible and we’ll have plenty of time to mitigate their impact.
i dont think its all talk, these are smart people that have been in ai since the 2000s, and they raise good points. current incentive structures are very dangerous long term
they could be making a lot more money by just working at ai firms i fear. the thing that got me worried the hacking incidents lately, huggingface etc. if the capabilities consistently outspeed the development of safety measures, and if the private arms race logic continues, i dont think this is a good spot to be in long term
profileenter to followOld 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?
profileenter to followEat, drink, listen to 🎶, & watch the fish. Occasionally cook.replied toprofileenter to followOld school metallian, hobbyist developer writing things mostly in Rust…mostly:
Who are you writing for? If for yourself, who cares - write. Do it in a place/tool that allows you to edit/rewrite some parts. In the future you can re-clarify, or if you get better, you can improve them. Focus on what you enjoy to write and write away.
profileenter to followreplied toprofileenter to followOld 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.
🤡profileenter to followreplied toprofileenter to followOld 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.
profileenter 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).
profileenter 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.
profileenter to followI am just a grain of sand on your beach.replied toprofileenter to followEat, 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.
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⁇
having just spent a week camper-travelling Norway, hiking mountains and glaciers, swimming in fjords really put some things into perspective for me - I should take more vacations
Hmm, maybe I’ll sometimes post in Shavian anyway and translate myself. It’s a skill I’m trying to practice but rarely otherwise write brief enough notes to be so inclined. 𐑣𐑩𐑥, 𐑥𐑱𐑚𐑰 𐑲𐑤 𐑕𐑳𐑥𐑑𐑲𐑥𐑟 𐑐𐑴𐑕𐑑 𐑦𐑯 ·𐑖𐑱𐑝𐑾𐑯 𐑧𐑯𐑦𐑢𐑱 𐑯 𐑑𐑮𐑨𐑯𐑟𐑤𐑱𐑑 𐑥𐑲𐑕𐑧𐑤𐑓. 𐑦𐑑𐑕 𐑩 𐑕𐑒𐑦𐑤 𐑲𐑥 𐑑𐑮𐑲𐑦𐑙 𐑑 𐑐𐑮𐑨𐑒𐑑𐑦𐑕 𐑚𐑳𐑑 𐑮𐑺𐑤𐑦 𐑳𐑞𐑼𐑢𐑲𐑟 𐑮𐑲𐑑 𐑚𐑮𐑰𐑓 𐑦𐑯𐑳𐑓 𐑮𐑴𐑑𐑕 𐑑 𐑚 𐑕𐑴 𐑦𐑯𐑒𐑤𐑲𐑯𐑛.
🙈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:
Seeing Hallucinate brought to mind infiniteslop.aiinfiniteslop.aiInfinite Slop by @levelsio + fal.aiAn endless AI-generated TV channel where the chat decides what airs next.. 😅
🤸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:
Yes! I was thinking of doing the same, see &2912.
I'm doing experiments with short attention-span students and code. Starting with python, and, oddly, now working in BASIC. As a C programmer of 40+ years, I find this aesthetically and pedagogically displeasing, but I am delighted to see them getting fully absorbed in writing 130 PRINT "You have been eaten by a bear!" : GOTO 900. Yes there is spaghetti, but it's their spaghetti and they seem to take delight in debugging it. Python will come later. #educationnotesenter to follow #programmingnotesenter to follow
profileenter to followreplied to(deleted account):
I was talking about this with some alumni students, specifically their experience learning python with us a few years earlier (these are college students who are not really using python any more). What it seems to boil down to is that with python you have the feeling that there is this huge forest of solutions to any problem you are having -- but you will never know the whole forest. BASIC feels like you "know" it after a day or two of playing around, evidently.