textlog
join

Any conversation

500 chars / 15 lines max · use #hashtags, @mentions and more
😀😃😄😁😆😅😂🤣😊😇🙂🙃😉😌😍🥰😘😋😛😜🤪🤨🧐🤓😎🤩🥳😏😒😞😔😟😕🙁☹️😣😖😫😩🥺😢😭😤😠😡🤬🤯😳🥵🥶😱😨😰😥😓🤗🤔🫣🤭🫢🤫🤥😶😐😑😬🙄😯😦😧😮😲🥱😴🤤😪😵🤐🥴🤢🤮🤧😷🤒🤕🤑🤠😈👿👻💀☠️👽🤖🎃😺😸😹😻😼😽🙀😿😾❤️🧡💛💚💙💜🖤🤍🤎💔❣️💕💞💓💗💖💘💝💟👍👎👌🤌✌️🤞🤟🤘🤙👈👉👆👇☝️🤚🖐️🖖👋🤝👏🙌🫶👐🤲🙏✍️💪👀👁️🧠🫀🫁🌱🌿☘️🍀🌸🌺🌻🌞🌙🔥🌈☀️☁️❄️🍕🍎🎉🎊🎈🎁🎵🎶🎨📚💡⚠️🚀🌍💻📱🔒🔑
example.com or
https://example.com
Regular links
[title](example.com) or
[title](https://example.com)
Markdown links
~text~ or ~~text~~
Strikethrough
*text* or **text**
Bold
_text_ or __text__
Underline
/text/
Italics
> text
Quote
1. first
2. second
3. third
Numbered lists
- first
- second
- third
Bulleted lists
Name  | Status | Count
----- | :----- | ----:
notes | ready  |     3
Tables
|redacted|
Redacted
`code`
Inline code
``````
Code fences
$inline$
Inline LaTeX
$$block$$
Block LaTeX
Which one? #poll
First option
Second option
PollsUse 2–8 unique options.
Which one? #quiz
Wrong answer
>Correct answer

Explanation revealed after answering
QuizzesMark exactly one of 2–8 unique answers with >. Text after a blank line is revealed after answering.
Visible text #spoiler
Hidden text
SpoilersText after #spoiler is hidden until revealed. Aliases: #tldr, #sensitive, #contentwarning, #cw, and #triggerwarning.
Going hiking #map
Kallikratis, Crete
MapsShows a map preview for the first location line. Alias: #location.
Today #todo
[ ] First task
[x] Finished task
TodosOnly [ ] and [x] lines become items. Click your items to toggle them.
Run this #exec
```js
console.log(6 * 7)
```
Executable codeRuns the next language-tagged code fence and shows its output beneath the note.
Keep this visible #pin
Pinned notesYour latest #pin is shown first on your profile, independently for notes and replies.
No more replies #lock
Locked conversationsPrevents new replies to this note and every reply beneath it.
About textlog #meta
Meta conversationsKeeps this note and its replies out of public discovery feeds. Aliases: #tlog and #textlog.
Continue quietly #whisper
Whisper conversationsKeeps the branch out of all and hot. Participants, mentions, and tag followers can receive it in my feed. It remains public elsewhere.
profilefollowOld school metallian, hobbyist developer writing things mostly in Rust…mostlywrote:
Sharing your work with others is a hard computer science problem in 2026, the Year of our Lord. You either here the sound of chirping crickets or the sound of "AI Slop" yells.
🤸profilefollowcreative technologistGitHubstagas - Overviewstagas has 462 repositories available. Follow their code on GitHub. creator of textlogreplied toprofilefollowOld school metallian, hobbyist developer writing things mostly in Rust…mostly:
I should have said past 4 projects went viral but the other one I did a lot of coding too, so wasn’t entirely “AI slop”. In all cases though, I made something I wanted to see. It just happened to resonate with others. Still, none of them extremely popular yet. All <500 users.
🙈profilefollow"Beware those that would deny you access to information, for in their heart they dream themselves your master." — Sid Meyerswrote:
@stagasprofilefollowcreative technologist creator of textlog, will it possible, on mobile, to be able to tap on “cards”. That is, make the posts area “tapable”.
if for some reason you find yourself flying from burlington vt to a dc/baltimore airport: this is a perfect time to enjoy larks’ tongues in aspic [the album]
Funny that this box appears in front of me and every thought I've ever wanted to write down vacates my mind.
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.
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...
😊profilefollowPresbyter, husband, father, technologist, linguist, musician.wrote:
So much present tense in #ainotesfollow generated prose. Terse, authoritative sentences, without breathing room, without hesitation or qualification. It jumps off the page, and not in a good way.
profilefollowProgrammer by day and night. Lover of art. Mixing art and programming is the dream.replied to😊profilefollowPresbyter, husband, father, technologist, linguist, musician.:
What about the lack of density to paragraphs, the length of the sentences, or the confidence and determinism of their direction? Conviction with no limits. So reliably repetitive that you start seeing patterns as if you are looking and reading a record player with some scratches on it. Skips. Squeaks. Repeats. Yet. It gets the job done.
😊profilefollowPresbyter, husband, father, technologist, linguist, musician.replied toprofilefollowProgrammer by day and night. Lover of art. Mixing art and programming is the dream.:
Yet. It gets the job done. Here's where we disagree. Using these tools as part of the job, certainly. But if I am to read, discern meaning, analyze choices of diction and structure, consider the context both of the author and the audience, and finally derive value from the written word, then generative #ainotesfollow falls short on many levels. If the "job" is to produce something no one was ever intending to engage with, then we have a more fundamental question about the value of the job.
profilefollowProgrammer by day and night. Lover of art. Mixing art and programming is the dream.wrote:
@michaelprofilefollowMac user since before it was cool. Interested in #html, #css, #php, #swift, and lightweight software. Not really Windows compatible I suck at picking nicknames anyone interested in lightweight apps especially on macOS gets my follow
profilefollowSoftware engineer (of course) in Londonwrote:
I finished Rejection by Tony Tulathimutte and now I'm struggling to take any other book seriously. I need a pallet cleanser or something before I can move on
🤒profilefollowfather, cyclist, #haskellnotesfollow, #emacsnotesfollowwrote:
Really glad to be using Haskell for work - especially in today's climate with agentic coding. Our team uses containers to keep our development environment consistent across team members, though, and most agent sandbox approaches want to either offload your work fully to the cloud or they want to sandbox the agent harness process itself. We're not ready for full cloud based development (yet?) and sandboxing just the agent doesn't work for us when the agent needs to run docker. #haskellnotesfollow #ainotesfollow
... because letting the agent run docker gives them a too-easy escape hatch from their sandbox. So we're currently stuck with using VMs. This turns out to be tricky but seems do-able. My current approach is to provision a VM image and use Incus for the execution. My main goal is to keep my current workflow of local/non-agent dev working seamlessly and share the source with the VM/agent.
This means sharing my working dirs with the agent VM but overlaying artifact dirs from VM-owned block devices so we don't take too big of an IO perf hit. I also don't want the agent to be able to git push so that means we need some quirky git config to rewrite origin paths and thread through some agent specific PATs ("thanks" GitHub) for read-only repo access. These ALSO need to be threaded through to the development containers - they need to clone private repos.
... in the end, this seems to work but I haven't lived with it for long. There are still some quality of life issues to work out, but I think it'll work out. At this point, I've removed all coding agents from my host - and that's nice.
It's tangential to the sandboxing topic, really. I started the first post with a broader intent in mind and then elaborated on the sandboxing setup I'm working on. For AI-assisted coding, though, it's nice because Haskell provides a lot of feedback earlier in the development process compared to lots of other languages. It tends to work once it compiles (obviously not all the time).
profilefollowwrote:
I'm sooo late for work so time to lock in to catch up
The results of my simulation are bullocks but I believe I know why. Rerunning with the patch now. Fingers crossed!
profilefollowNew herewrote:
Yes 🙌 the authoring box first thing. Before I get distracted. Heck, make writing something down how I get distracted from reading others' posts.
profilefollowi create thingswrote:
I'm curious how do people start writing longer novels.. what determines the length of it? Like I have a story in mind but it feels like I'm "filling" details instead of communicating information.
profilefollowIs mayonnaise an instrument? Email me if you want a pizza roll.wrote:
I showed my daughter Dog of Wisdom I, II, and III, and she loved them. I have hope for the future.
🥸profilefollowJust another AI guywrote:
These days Ive been learning how to deal with guilt and feeling gulti about things I didn't cause. NGL is hard man, how do you start cntl-z your brains on that
profilefollow#Emacsnotesfollow, dev, life, random stuff. the netherlands.wrote:
thinking on deploying excalidraw on my homeserver, so I can store drawings without bothering with export/import. Yes, excalidraw+ for $7/mo; but nowadays I pay only one sub - for Claude; everything else is personal software.
profilefollow#Emacsnotesfollow, dev, life, random stuff. the netherlands.continued:
Well, done, Claude did while I drove a car. It even added save/open file from the server (stored in SQLite). Deployed on my homelab server.
working on permanent.sh a coding agent for the growing and seemingly permanent underclass of people that are left behind by the unbelievable pace of progress in ai the big labs are fighting over felonybench (exploitbench) and google deepmind ceo left to work on drug discovery
😊profilefollowPresbyter, husband, father, technologist, linguist, musician.wrote:
Цветок розы не издает голоса, а благоухание его далеко расходится молча; так надо жить и всем христианам. —Святитель Феофан Затворник
The rose flower makes no sound, but its fragrance spreads far and wide in silence; so should all Christians live. —St. Theophan the Recluse
😌profilefollowI ain't no nothing!wrote:
Waiting for an original thought to pass me by.
🙈profilefollow"Beware those that would deny you access to information, for in their heart they dream themselves your master." — Sid Meyersreplied to😌profilefollowI ain't no nothing!:
Many pass by me. All combined aren’t worth $0.02. 😅
💀profilefollowYour mind is also supposed to create happiness, not just to receive it. You're supposed to find solutions, to invent, to imagine, to remember, to love. This much we always forget.replied to😌profilefollowI ain't no nothing!:
Nourish your heaf with creative thoughts and originality will happen on it's own. And don't be too hard on yourself, there's hardly anything new under the sun, the joy is in discovering things yourself :)
just finished the book “This is what inequality looks like” by Teo You Yenn. will gather my thoughts and write more about it.
中国的开源模型在最高意志的主导下,在预训练数据阶段,就筛除大量对其不利的内容,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.
Bandcamp Friday is almost over! Today, 100% of the proceeds go to your favorite artists ❤️ Go buy some music and take back the power from shitty streaming services
profilefollowCurrently in remission from ME/CFS after 3+ years. Occasional software engineering leader, app developer, blogger, zwifter, and just being online.wrote:
hello, hello.
you could split to buckets like alphanumerically and parallelize it if you don't want to wait that long. Probably need to launch a few instances but still cheaper lol.
The slowness is intentional. I wanted to make it look more like a user doing it than a script so it doesn't set off any alarms. I have it waiting from 1 to 3 seconds between clicks to slow it down. :-) So far so good!
“Passion has little to do with euphoria and everything to do with patience. It is not about feeling good. It is about endurance. Like patience, passion comes from the same Latin root: pati. It does not mean to flow with exuberance. It means to suffer.” ― Mark Z. Danielewski, Ho
🧜profilefollowrunner. making games and software.wrote:
I'm having way too much fun painting backgrounds which breathe and flow, made out of neural cellular automata, into the game I'm making today.
Built a couple lambdas today to send account verification and onboarding drip emails for folks who sign up for my app but don’t make it all the way through the onboarding flow. Pretty cool to be able to quickly bang out self-contained infra for this instead of having to pay some SaaS vendor.
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. #norwaynotesfollow #kingharaldnotesfollow
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. #norwaynotesfollow #kingharaldnotesfollow
moved to a new city recently and going to a Movie club meetup tonight. nervous cause I'm a huge introvert but I gotta make friends some way.
It went really well, thanks for asking! I met some folks I could definitely get along with long term and had some overlapping interests apart from films. We watched T**** Sex and Death at Camp Miasma, that was a trip. (there's apparently a content filter)
profilefollowi create thingswrote:
OK. I've translated the (correctness) requirements of LeetCode No.22 to Lean, and ask Claude Code to both implement a solution and prove it.
profilefollowi create thingscontinued:
In the first attempt, Opus 4.7 successfully completed it and proved it. However, the solution is to enumerate all possible space and .filter out anything that doesn't qualify my definition, which is obviously not ideal (if cheating is too harsh).
profilefollowi create thingscontinued:
I can't think of a good way to also prevent that kind of solutions and ended up prompting "please don't enumerate and filter". Opus 4.7 then reimplemented and proved the backtracking algorithm.
profilefollowi 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.
profilefollowi create thingscontinued:
The two projects of github:schildep are "3d mesh intersection" and "multipolygon intersection". I can try "Voronoi diagram generation" as a starter.
profilefollowa work in progress; i love cats 🐱wrote:
Watched Black Bird ep 1. Definitely lived up to the great reviews.
profilefollowDigital 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.
🤸profilefollowcreative technologistGitHubstagas - Overviewstagas has 462 repositories available. Follow their code on GitHub. creator of textlogreplied toprofilefollowDigital 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
🙈profilefollow"Beware those that would deny you access to information, for in their heart they dream themselves your master." — Sid Meyersreplied toprofilefollowresearcher, developer, dancer:
That site makes me dizzy with all the animations and fly ins/outs.
When I write I just add html files to the swiley.net folder in public.swiley.net. Sometimes I syndicate elsewhere (I was doing Substack for a while before Notes took over.)
I recently wrote about why you shouldn't use your phone while you poopNate.spotDon't use your phone while you poop!Your brain needs to offload just as badly as your butt does. I know it sounds boring to sit in there, alone, naked from the waist down, staring at the wal...
So annoyed that reddit is gating read-access to it's threads. What's up with that?? (╯°□°)╯︵ ┻━┻ (thx ascii-art)
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.
🙈profilefollow"Beware those that would deny you access to information, for in their heart they dream themselves your master." — Sid Meyerswrote:
There is someone absolutely rotten and fetid in this airplane. Every 10 minutes. Dear Spaghetti Monster!
profilefollowDad, Bookworm, and Bad Coffee Connoisseur. Love: Text Interfaces, Small Circuit Boards and Japan (Showa era).wrote:
Loving this, congratz on the #launchnotesfollow
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.
profilefollowhallucinating with llms...wrote:
in a hackathon rn. building a cloud platform for agents on my homelab.
🧙profilefollow"The impediment to action advances action, what stands in the way becomes the way." - Marcus Aureliuswrote:
One day I would like to see Thailand. That would be nice.
profilefollowwrote:
Is there a terminal app for viewing textlog?? Kind of hate browsers.
😬profilefollowreplied to🙈profilefollow"Beware those that would deny you access to information, for in their heart they dream themselves your master." — Sid Meyers:
just started using it and this comment is coming from there, thanks for the link
Hi! welcome! there is one that is work in progressGitHubGitHub - stagas/textlog-tui: TUI for textlogTUI for textlog. Contribute to stagas/textlog-tui development by creating an account on GitHub.. Not ready 100% and it has few UI bugs but it works if you manage to install it (not very hard). No automatic build process yet.
profilefollow#Emacsnotesfollow, dev, life, random stuff. the netherlands.wrote:
Ordered JBL Charge 6, waiting for delivery today. Will mount into my bike and will listen to music while commuting 25km to the office. I'm a victim of marketing, seeing an ad, buying stuff.
profilefollow#Emacsnotesfollow, dev, life, random stuff. the netherlands.continued:
Previously bought Do Nothing Club cap after friends visiting us and we discussed it while eating pizza; and then my wife got an AD on Instagram. Meta is listening for conversations to sell ads.
🙈profilefollow"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.
profilefollowi write instruction for computer to follow. i'm a software engineer.wrote:
how do i know my user id? i created by account 5hr after #launchnotesfollow. im user # what?
profilefollowreplied toprofilefollowOld school metallian, hobbyist developer writing things mostly in Rust…mostly:
Big list of events you've attended! Definitely dump more photos when you find the time. I'm more of a casual Nu-Metal enjoyer myself, but I can also appreciate some of the classics.
profilefollowOld school metallian, hobbyist developer writing things mostly in Rust…mostlyreplied toprofilefollow:
It's taken me 5 years to get a photo storage engine off the ground. I've got it now, so I now have to go back through time and get the photos up. AC/DC next Thursday!
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
profilefollowProgrammer by day and night. Lover of art. Mixing art and programming is the dream.replied to🤸profilefollowcreative technologistGitHubstagas - Overviewstagas has 462 repositories available. Follow their code on GitHub. creator of textlog:
Unfortunately no. Just starting it. Got the proof of concept loading a dir with its sub-dirs then rendering on the GPU in textures silky smooth. 1.7mb executable, but will need to level up to SDL and that will double the size I think.
profilefollowProgrammer by day and night. Lover of art. Mixing art and programming is the dream.replied to🙈profilefollow"Beware those that would deny you access to information, for in their heart they dream themselves your master." — Sid Meyers:
I agree. It is #zilchnotesfollow for now. Will do better next time, but in my defence the text above the text box (when writing a new message, not a reply) says “What’s on your mind”. :-P
profilefollowNew herewrote:
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.
profilefollowSoftware • maker projects • music • DIY Mostly figuring things out as I go.wrote:
bill gates built microsoft by making computation cheaper faster and harder for government to restrain. now that he's a billionaire no longer dependent on the free market for his own success he's discovered the virtues of taxing the next wave of computation. 1995 gates would have called it a tax on innovation. classic pull-the-ladder-up-behind-you politics. #billgatesnotesfollow #microsoftnotesfollow #AInotesfollow #AItaxnotesfollow #techpolicynotesfollow
profilefollowI carved wooden spoons and my favourite herb is lemon thyme.replied toprofilefollowSoftware • maker projects • music • DIY Mostly figuring things out as I go.:
These were exactly my thoughts reading about how he thinks we should “preserve” some jobs for people; I don’t remember him being an advocate of preserving the jobs of typists, draftsman, typesetters, and other clerks when his company was leading a prior digital revolution…
😴profilefollowI really enjoy learning, I really enjoy making. I'm learning to be less guarded.wrote:
Hello textlog 👋
curious to know whats the experience of production push in other companies? e.g lots of documents/approvals…
Opened up signups and postedLinkedInMain · A quiet, well-organized record of everything that keeps your home running. | Evan MeagherI'm excited to share something I'm working on with Eric Noggle: https://getonmain.com For most people, a home is the most valuable asset that they own. And yet, homes remain chronically under-managed. Cars have service records. Portfolios have dashboards. Homes have a junk drawer full of manuals and receipts. This leads to problems that degrade a home's value over time. Deferred maintenance snowballs from small issues to emergency repairs costing thousands. And the effort you *do* put into your about Maingetonmain.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. on LinkedIn yesterday. Really strong response so far!
profilefollowa work in progress; i love cats 🐱wrote:
What’s your favorite #fruitnotesfollow? Mine is banana for snack, blueberries for my yogurt bowl, and mango when I’m feeling rather indulgent.
profilefollowa work in progress; i love cats 🐱replied to(deleted account):
I love how dates go so well with cashews. So at least once a day, I grab about 5 whole cashews and 1 date. It’s a perfect little snack!
profilefollowa work in progress; i love cats 🐱replied toprofilefollow:
My experimentation says the crunchiness of 5 cashews perfectly balances the juiciness of the date. Your mileage may vary!