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

Any conversation

@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:
I underestimated how many terrible programmers who think C++ is a good choice over C exist on LinkedIn and ended up in some kind of flamewar, my bad.
enter to reply
@jgprofileenter to followNew herereplied to@sodapopcanprofileenter to followMillenial/Xenial who used to be really excited about programming.:
Visiting, for the first time. It's about a 9 hour drive from home so we've never made the trip, but so worth it. Went to Ile d'Orleans yesterday, just... so quiet and beautiful. Seems a bit of a paradise, haven't even made it up to the natl park(s) yet. My French is coming back a little each day, made it all the way through the coffee order just now :)
enter to reply
@crustyrustaceanprofileenter 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.
enter to reply
@eatziprofileenter to followEat, drink, listen to 🎶, & watch the fish. Occasionally cook.wrote:
Sipping Choya’s ウメッシュ　ノンアルコル。😋
Sipping Choya's Umeshu (plum wine), non-alcoholic. 😋
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.continued:
top
Might be a good outcome to this. Water remediation folks want to take out 30 sqft of drywall to ensure the space btwn floors is fully dry. But my architect father-in-law thinks this is yagni and we can get away with just using a fan and space heater to let it dry out on its own 🤔
@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.wrote:
Very cool: our kids' bathroom toilet overflowed last night, resulting in water draining into our kitchen on the floor below.
enter to reply
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.continued:
Thankfully, the zero cost option seems to have worked out. Had fans pointed up at the ceiling for a couple days. Will have to patch up some water-damaged drywall, but think we can avoid opening up the ceiling 😌
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
…
@jamesjan3profileenter to followresearcher, developer, dancerreplied 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.:
not my blog but i recently discovered acko.net which i can recommend. awesome personal website
enter to reply
@swiley🤔profileenter 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@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.:
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.)
enter to reply
@thechelsukprofileenter to followCurrently in remission from ME/CFS after 3+ years. Occasional software engineering leader, app developer, blogger, zwifter, and just being online.replied 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.:
thechels.uk is mine, thanks :-)
enter to reply
@nateprofileenter to followI'm into old computers, breakfast diners, doom metal, and r/catswiththumbs.replied 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.:
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...
enter to reply
@jgprofileenter to followNew herewrote:
Error: Provider rejected the request (invalid_request_error, 400): Claude Code 2.1.75 does not support this model; version 2.1.251 or newer is required. Run 'claude update', or update the Claude desktop app, then try again. [request_id: req_011CedKqBRnC6Qr3m6nKEwNN] I’m not using Claude Code. This is how you drop the ball.
enter to reply
@rickyprofileenter to follow#Automationnotesenter to follow specialist for #CreditUnionsnotesenter to follow; 20+ year #SharePointnotesenter to follow veteran; #developernotesenter to follow; #writernotesenter to follow. I don't idle well.replied to@stagasprofileenter to followcreative technologistGitHubstagas - Overviewstagas has 462 repositories available. Follow their code on GitHub. creator of textlog:
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 #polyphasicnotesenter to follow sleep schedule, but here I am. :-)
enter to reply
@stagas🤸profileenter to followcreative technologistGitHubstagas - Overviewstagas has 462 repositories available. Follow their code on GitHub. creator of textlogreplied to@rickyprofileenter to follow#Automationnotesenter to follow specialist for #CreditUnionsnotesenter to follow; 20+ year #SharePointnotesenter to follow veteran; #developernotesenter to follow; #writernotesenter to follow. I don't idle well.:
Doing that would trigger my #manianotesenter to follow really quick, even not having a full night sleep puts me in the danger zone immediately. #bipolarnotesenter to follow
enter to reply
@rickyprofileenter to follow#Automationnotesenter to follow specialist for #CreditUnionsnotesenter to follow; 20+ year #SharePointnotesenter to follow veteran; #developernotesenter to follow; #writernotesenter to follow. I don't idle well.replied to@stagasprofileenter to followcreative technologistGitHubstagas - Overviewstagas has 462 repositories available. Follow their code on GitHub. creator of textlog:
My whole life, if I get in more than 6 hours at a stretch, I'm sluggish and mentally out of it for hours.
enter to reply
…
@neoprofileenter to followcoder, reader, guitarist, seeker, builder.wrote:
Run Claude code in docker sandbox (sbx) to ensure it only has current folder access and limited or no network access. Especially since a lot of runs are now in “auto mode”. Unless even this is not really so safe!? #ainotesenter to follow
enter to reply
@zenprofileenter to followfather, cyclist, #haskellnotesenter to follow, #emacsnotesenter 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:
They've changed the default - claude.com/blog/auto-mode-default-in-claude-codeClaudeAuto mode is now the default in Claude Code for Pro, Max, and Team plans | Claude by AnthropicClaude Code will soon run auto mode by default for Pro, Max, and Team plans, enabling longer-running autonomous work, and catching more dangerous commands.
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
@gikkmanprofileenter to followwrote:
I am a remote worker, and has been for 4 years now. It works great. But the owner of the office I've been renting have sold the building, and the new owner has different visions. I could work from home, but my 3 month daughter is a screamer. I had a great, cheap deal. All alternatives I find is like 3x the price.
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@stagasprofileenter to followcreative technologistGitHubstagas - Overviewstagas has 462 repositories available. Follow their code on GitHub. creator of textlog:
A company called Spacious triedEater SFNew Start-Up Turns Popular Restaurants Into Coworking Spaces By DayPlus SF’s beer, bourbon, and hummus empire expands and Eater’s holiday gift guide to do this with restaurant spaces that aren’t used during the day. Always seemed like a good idea to me, but they went under.
enter to reply
@crustyrustaceanprofileenter 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.
@stagas🤸profileenter to followcreative technologistGitHubstagas - Overviewstagas has 462 repositories available. Follow their code on GitHub. creator of textlogreplied to@crustyrustaceanprofileenter to followOld 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.
enter to reply
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.wrote:
Trying to jump back into project work while my kids are still home before school starts on Wednesday 🫠
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:
A “small” visit to Lotte, and $239 later, we are enjoying rambutans, sticky rice with tuna wrapped in seaweed, and wife struggles to make room for the rest of the goodies.
enter to reply
@hopscotchprofileenter to followComputer Hacking Skills 75/100 Nunchuck Skills 3/100 I like Unixish systemswrote:
Football > Liverpool Research behind Liverpool’s last minute veteran-substitute-provided-draws and the talented but uncompetitive players they replace. www.verywellmind.com/…/what-is-sunk-cost-fallacy-7106851Verywell MindDon't Fall for the Sunk Cost Fallacy: Tips for Smarter Life DecisionsSunk cost fallacy is a cognitive bias that can lead to irrational decision-making. Learn more about sunk cost fallacy and how it can show up in your life. pmc.ncbi.nlm.nih.gov/articles/PMC6324799/PubMed Central (PMC)The feeling of throwing good money after bad: The role of affective reaction in the sunk-cost fallacyContinuing investing in a failing plan (i.e., the sunk-cost fallacy) is a common error that people are inclined to make when making decisions. It is impossible to get resources back that already have been invested. Hence, economic theory implies ...
enter to reply
@crustyrustaceanprofileenter 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.
enter to reply
@neoprofileenter 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.
enter to reply
@edwinprofileenter to followwrote:
I finally bit the bullet and have started to use dictation software more often, even outside of just my prompts. I really like it. Hopefully, computer use becomes much smoother soon. I would love to be able to control my computer with just my voice.
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.wrote:
Was prompting Claude via remote control on my phone in btwn sets at the gym this morning. I use peonpingpeonping.compeon-ping — Stop babysitting your terminalSound notifications for any AI agent — hooks for Claude Code, Cursor, Codex & more, plus an MCP server so the agent can choose its own sounds., so my wife kept hearing a StarCraft SCV periodically reporting "job's finished" from my office 😆
enter to reply
@kuprofileenter to followHai I am kureplied 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.:
I am so terrified of Claude code. I use the chat and copy paste stuff myself 😭😭😭
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.wrote:
Any runners on here? I mostly consider myself a trail runner, but of course train on roads, too. Good for 1–2 races/year, more into running as a practice, a way to manage stress and stay fit.
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(deleted account):
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.
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(deleted account):
Hell yeah
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(deleted account):
🤝
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(deleted account):
Better for your knees, too :)
enter to reply
@stagas🤸profileenter to followcreative technologistGitHubstagas - Overviewstagas has 462 repositories available. Follow their code on GitHub. creator of textlogwrote:
#execnotesenter to follow let i=0;while(++i){process.stdout.write(i%80==0?'\n':Math.random()<0.5?'/':'\\')}
\\\//\/\\\\\\\///\///\\\\\//\///\/\/\\//\/\//\//\/\//\\/\///\\\\\\//\\\\\/\\\\/ \\/\\/\/\///\\\/\///\/\/////\\///\/\\/\\\//\\\/\///////\\\/\////\\\/\\\//\\/\// \\//\\\\\/\\\/\///\\///\\//\\\\/\//\\\//\////\//\\\\////\\/\/\/////\//\\\//\/// \\/\/\\//\\///\/\\\//\/\/\\\///\/\\\/\\/\\\\/\\\\\\\\\\/\\//\/\\/\///\//\\\//\\ /\/\\\\/\/\\/\\/\\/\\\\\\/\\\/\\//////\/\//\\\//\//\//\\/\\\/\//\\\//\\\\\\\/\/ \\\///\////////\\/////\\//\/\///\\\\\////\/\\\\/\//\\/\/////\\\//\\/\/\\\\\//// \///\/\/////\//\////\\\/\\/////\\\////\//\\\\/\\\\//\\\///\\\\\\//\\////\////// /\/////\\\\\\//\\/\/\///\////\/\\\///\\///\//\/\/\\\/\\/\\\\\\//\/\\\///\\/\/\\ … \\/\//\\//\///\/\///\\\\/\//\/\\/\/\//\\/\/\/\\/\/\\/\\\\/\/////\\\///\\\\\//\\
enter to reply
@stagas🤸profileenter to followcreative technologistGitHubstagas - Overviewstagas has 462 repositories available. Follow their code on GitHub. creator of textlogreplied to@hellodaviddevprofileenter to followdev, 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.:
me too, but at the same time i'm enjoying getting things done, otherwise i would get lost in details like bikeshedding naming variables and making the code look pretty, and little would be done.
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
@geverprofileenter to followwrote:
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
enter to reply
…
@geverprofileenter 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.
enter to reply
@stagas🤸profileenter to followcreative technologistGitHubstagas - Overviewstagas has 462 repositories available. Follow their code on GitHub. creator of textlogreplied to@kuprofileenter to followHai I am ku:
It’s using the /firehose /apitextlogAPIA quieter place for your thoughts. endpoint. It’s an SSE endpoint publishing everything latest. Though I meant it to be used server-side, since it’s heavily rate-limited — up to 3 conns under the same network, but I can’t control how clients decide to use it so.. ¯\_(ツ)_/¯
enter to reply
@lemonthymeshortbreadprofileenter to followI carved wooden spoons and my favourite herb is lemon thyme.wrote:
𐑲𐑝 𐑚𐑰𐑯 𐑦𐑯𐑕𐑐𐑲𐑼𐑛 𐑑 𐑒𐑫𐑒 𐑥𐑹 ·𐑡𐑨𐑐𐑩𐑯𐑰𐑟 𐑓𐑵𐑛 𐑤𐑱𐑑𐑤𐑦 𐑕𐑴 𐑓 𐑛𐑦𐑯𐑼 𐑲 𐑥𐑱𐑛 𐑕𐑨𐑥𐑩𐑯 𐑑𐑧𐑮𐑦𐑘𐑭𐑒𐑰, 𐑥𐑰𐑕𐑴 𐑕𐑵𐑐, 𐑮𐑲𐑕, 𐑯 𐑐𐑦𐑒𐑩𐑤𐑟. I’ve been inspired to cook more Japanese food lately so for dinner I made salmon teriyaki, miso soup, rice, and pickles.
enter to reply
@asmundprofileenter to followwrote:
There are many distractions. Much is way too verbose. A calm, quiet and “distraction less” experience suits me better. I am not sure my thoughts will fit in 280 characters, but let’s try and see how far that goes.
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
@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@stagasprofileenter to followcreative technologistGitHubstagas - Overviewstagas has 462 repositories available. Follow their code on GitHub. creator of textlog:
Morning! What's on the docket today?
enter to reply
@johy🦥profileenter 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:
In the middle of migrating very old, homegrown tomfoolery into a more modern stack. Fun and vexing at the same time. This codebase has all of the bad decisions. All of them.
enter to reply
…
@procyonprofileenter to followlate is the hour in which this conjuror chooses to appearreplied to@xlaynprofileenter to follow:
You've hit the nail on the head. But here's the mindblowing part—writing isn't just about text on a page. It's not about listing a bunch of facts to memorize. Writing is about human connection. And here's where it gets even more fascinating... [parody, not AI]
enter to reply
@xlayn🤪profileenter to followreplied to@procyonprofileenter to followlate is the hour in which this conjuror chooses to appear:
Some writing yes, If you want to write a post saying why your company has a position yes; if you are documenting an API, does the average swagger page have a human connection factor? If you are in X/FB, is any of your followers a "human connection"?
enter to reply
@xlayn🤪profileenter to followcontinued:
Then, in some spaces, say big corp communications, the terse, direct communication is desired, for example the quarter earning communication? What about software?, what part of your browser gives you the "human connection"?
enter to reply
@procyonprofileenter to followlate is the hour in which this conjuror chooses to appearreplied to@xlaynprofileenter to follow:
If writing (incl X/FB posts) is meant to convey "some human being did/saw/thought this and found it worth writing about", then AI undermines human connection and will annoy people. API docs, earnings reports, &c never conveyed that to begin with, so nobody will care about AI use.
enter to reply
@asmundprofileenter to followwrote:
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
enter to reply
@robbyprofileenter to followphotography, art, solo dev, based in NYCwrote:
Just got Moshi set up - a phone-friendly terminal app. Works well with Herdr for persistent agents, friendly UI. Verdict so far: looks like I'll be working more from my phone.
enter to reply
@andrewprofileenter to followHi! 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...
enter to reply
@lemonthymeshortbreadprofileenter 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
enter to reply
@avioliprofileenter to followProgrammer by day and night. Lover of art. Mixing art and programming is the dream.replied to@lemonthymeshortbreadprofileenter 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.
enter to reply
@sicilicaprofileenter to followreplied to@lemonthymeshortbreadprofileenter 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".
enter to reply
@lemonthymeshortbreadprofileenter to followI carved wooden spoons and my favourite herb is lemon thyme.replied to@sicilicaprofileenter 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.
enter to reply
…
…
@stagas🤸profileenter to followcreative technologistGitHubstagas - Overviewstagas has 462 repositories available. Follow their code on GitHub. creator of textlogreplied to@vko_pngprofileenter to followpoet by heart 𓅰:
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.
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
…
…
…
…
@kooiprofileenter to followreplied 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.:
Started reading exactly that and man it's mind-blowing. He's not anti-tech, he's anti big-company-culture-capture. Really insightful for being written in 1998. What I appreciate is he looks at a very wide view of tech, not just modern silicone.
enter to reply
@crustyrustaceanprofileenter to followOld school metallian, hobbyist developer writing things mostly in Rust…mostlywrote:
I subscribe to the Tony Stark school of engineering. "Sometimes you have to run before you walk." Earlier this year, I built my own static site generator. I hate literally every static site generator out there (not joking). get-taxus.org
enter to reply