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.
Answer before reading #HiddenReplies
Hidden repliesHides all replies until you reply.
😊profilefollowPresbyter, husband, father, technologist, linguist, musician.wrote:
I read larsfaye.com/…/ai-coding-will-prevent-expertiselarsfaye.comAI Coding will Prevent Expertise | Lars FayeThe need for ongoing friction in long-term skill formation. #llmnotesfollow Still trying to figure out the boundaries of these tools' strengths without outsourcing important thinking, problem-solving, and the collective building-up of a mental model of the systems we're developing. The shape of LLM tools as tools—fit for a purpose, ergonomic—is becoming clearer, and human patterns of behavior with them that do more harm than good are also becoming easier to recognize.
profilefollowEat, drink, listen to 🎶, & watch the fish. Occasionally cook.wrote:
Sipping Choya’s ウメッシュ ノンアルコル。😋
Sipping Choya's Umeshu (plum wine), non-alcoholic. 😋
profilefollowphotography, 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.
profilefollowI 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.
profilefollowcoder, reader, guitarist, seeker, builder.wrote:
When I sit with curious people, I build a lot of curiosity. And inspiration.
"Everything worth doing is worth doing badly." Meditate even if you have the time, even if you can only do two minutes. Train even if you're tired and you're not gonna do it well. Start that project even if you're not ready. Don't wait for perfection. #philosophynotesfollow #lifenotesfollow
🥸profilefollowJust another AI guywrote:
I was curious of testing the Omarchy distribution this week just because I had some free time to work on it. I saw a lot of hate around it and kind of get the point but so far at least for what I have been doing it wasn't terrible (at least at the point of writing this) although I am not trying to convince anybody to use it. But it just remember me how much do I hate MS.
🤒profilefollowfather, cyclist, #haskellnotesfollow, #emacsnotesfollowreplied to🥸profilefollowJust another AI guy:
I think a lot of the pull around Omarchy is you get a riced desktop out of the box? Personally, I wouldn't really consider it for a number of reasons but I do appreciate a nice looking desktop. If you want something similarly pretty but a bit more normal and less monolithic (who needs a whole 'distro' for what Omarchy provides anyway?) approach then I'd suggest Niri + Noctalia.
profilefollowpermanent 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.
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.
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!
🙈profilefollow"Beware those that would deny you access to information, for in their heart they dream themselves your master." — Sid Meyersreplied toprofilefollowdev, 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.:
HN, and some carefully picked r/Reddits. Can't stand Lobste.rslobste.rsLobstersA computing-focused community centered around link aggregation and discussion..
🤔profilefollowHai I am kuwrote:
Longer answer: My editor does not start wars. I use whatever is convenient. Most of the time I am on visual studio code but I'll use anything. Well, anything except emacs I guess. I don't think I have ever actually used emacs.
🤔profilefollowHai I am kucontinued:
آپ کے دیئے گئے #جملےnotesfollow کی درست اور معیاری #اردوnotesfollow اصلاح "کوئی #نذرانہnotesfollow لے کر آیا ہوں، میں دیوانہ تیرے لیے" ہے۔ اس جملے میں 'نجراجہ' کی جگہ درست لفظ نذرانہ (تحفہ) ہے، 'لیکر' کو الگ الگ لے کر لکھا جاتا ہے، اور 'لئے' کی درست املا لیے ہے۔ #Grammarnotesfollow #Urdunotesfollow #Languagenotesfollow #Learningnotesfollow
The correct and standard #Urdunotesfollow correction of your given #sentencenotesfollow is "I have brought a #giftnotesfollow, I am crazy for you". In this sentence, the correct word for 'najraja' is 'nazran' (gift), 'lekar' is written separately, and 'lay' is spelled correctly. #Grammarnotesfollow #Urdunotesfollow #Languagenotesfollow #Learningnotesfollow
curious to know whats the experience of production push in other companies? e.g lots of documents/approvals…
profilefollowlate is the hour in which this conjuror chooses to appearreplied to🦛profilefollow:
Using the internet these days is like pulling off an elaborate heist operation. Every time I successfully load a page I feel like I've "gotten away with something".
🦛profilefollowreplied toprofilefollowlate is the hour in which this conjuror chooses to appear:
It is sometimes tempting to mutter, "I'm in!" in your movie hacker voice when you finally get past all the cookie/subscription/notification pop-ups.
Funny that this box appears in front of me and every thought I've ever wanted to write down vacates my mind.
Two roads diverged in a wood, and I I took the one less traveled by, And that has made all the difference.
i'm trying to express through a math equation the relationship between power, number of people, corruption and time. corruption = (time in a position of power * power)/number of people who have power what do you think?
profilefollowIs mayonnaise an instrument? Email me if you want a pizza roll.wrote:
Follow me if you want me to email you a pizza roll
profilefollowa work in progress; i love cats 🐱wrote:
The TPMS indicator came back on again today; on the same road, can you believe it? I might have to get it checked at Costco this weekend.
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.
profilefollowcoder, reader, guitarist, seeker, builder.wrote:
Have been reading the book: The Wise Heart by Dr Jack Kornfield. Profound and inspiring. Highly recommend.
profilefollowcoder, 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.
profilefollow#Emacsnotesfollow, dev, life, random stuff. the netherlands.wrote:
Turned Stepper (self-hosted AWS StepFunctions) into client-server. Server hosts state machines, clients poll for tasks. New resources about running #claudenotesfollow. claude -p works, now thinking if I need interactive session management.
So annoyed that reddit is gating read-access to it's threads. What's up with that?? (╯°□°)╯︵ ┻━┻ (thx ascii-art)
profilefollowSimplify.wrote:
I'm looking for a way to manage my bookmarks easily on desktop and Android. Anyone have any experience with software like that? It'd be nice to be able to tag or categorize pages, and maybe to keep local mirrors for certain ones. I'm open to self-hosting. Thanks for reading!
Using Linux hasn't really been fun lately, idk. Nobara, despite building on fedora breaks a lot, but overall the whole ecosystem is so damn inconsistent and fragmented. Not sure if I have gotten more sensitive to this over the years but all I want is a system that "just works" and feels good 😔
profilefollowI am just a grain of sand on your beach.replied toprofilefollow:
I had a great run with Mint for years. I was as boring as it gets. I got a new laptop recently and decided to try OpenSUSE Tumbleweed. I am really enjoying it, but it is a bit too recent for me to swear by it.
profilefollowwrote:
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/?
Bosses and their bosses care more about tickets moved and LoC written than quality or knowledgeable employees. 4/4
🤒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).
Do you walk your neighborhood? Do you sit on your front porch and say hello to passersby?
🙈profilefollow"Beware those that would deny you access to information, for in their heart they dream themselves your master." — Sid Meyerswrote:
Well, I think my IRCd (Eris v2) is close to be complete.
profilefollowlate is the hour in which this conjuror chooses to appearwrote:
🐉 #execnotesfollow let N=6,D0=[0,1,0,-1],D1=[1,0,-1,0],s=[],g={},d=x=y=xa=xb=ya=yb=0; for(let n=0;n<N;n++){s=s.concat([1]).concat(s.map(x=>!x).reverse())} for(let i=0;i<s.length;i++) { x<xa && (xa=x);y<ya && (ya=y);x>xb && (xb=x);y>yb && (yb=y); let t=s[i]?1:-1,e=(d+t+4)%4; g[x]||(g[x]={}); g[x][y]=g[x][y]?"┼":"┌┐└┘"[(t*(D0[d]+D0[e])>0?0:2)+(t*(D1[d]+D1[e])>0?0:1)]; x+=D0[e];y+=D1[e];d=e; } for(j=yb;j>=ya;j--) { let u=""; for(i=xa;i<=xb;i++){u+=(g[i][j]||"·")} console.log(u); }
·┌┐┌┐······· ┌┘└┼┘····┌┐· └··└┐┌┐···└┐ ···┌┼┼┘···┌┘ ···└┼┼┐┌┐┌┼┐ ···┌┼┘└┼┼┘└┘ ···└┼┐·└┼┐·· ····└┘··└┘··
profilefollowlate is the hour in which this conjuror chooses to appearcontinued:
OK, so you only get 10 lines of output. (I tried to get ChatGPT to write this program but it kept messing up, so I wrote it by hand.)
profilefollowI carved wooden spoons and my favourite herb is lemon thyme.wrote:
Why do so many tools have JSON config files‽ Commenting why options have been set the way they have is just such a basic thing to want to do… Why do tech people have such an aversion to writing things down⁇
😎profilefollowreplied toprofilefollowI carved wooden spoons and my favourite herb is lemon thyme.:
TOML is a better format for configuration files IMO, if not for many reasons, primarily because TOML accepts comments. However, one annoying thing for TOML was the lack of schema, and the reliance on JSON Schema for that. Which I decided to tackle years ago when I started the TOML Schema project. In the past few months I leveraged code agents to take to the finish line and got something compelling: tomlschema.org
profilefollowI carved wooden spoons and my favourite herb is lemon thyme.replied to😎profilefollow:
That’s really cool. I suppose it would allow people to verify their config file is valid without having to pass it to in the intended program, which might be running in production or infeasible to run locally — very interesting
😎profilefollowreplied toprofilefollowI carved wooden spoons and my favourite herb is lemon thyme.:
Exactly! The schema also enables tools to have rich editors to config files without having to know about the config file format upfront. There is an editor for TOML Schema as an example, on the website.
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…
🧜profilefollow(\ (\ ( • •) ━∪∪━━━━ Full of mostly true stories, I occasionally write them down. Habit of talking to anyone. Bipolar. Author.wrote:
I love the "feel" of this place. It's minimal, but not too minimal. Nice work! I'm probably gonna be a little chatty on here. If anyone minds that, then just @ me :-) #launchnotesfollow
🧜profilefollow(\ (\ ( • •) ━∪∪━━━━ Full of mostly true stories, I occasionally write them down. Habit of talking to anyone. Bipolar. Author.continued:
Also, thank you for not turning my emoticons into emoji!! As someone from the pre-internet era, I appreciate that :-)
profilefollowlate is the hour in which this conjuror chooses to appearreplied to🧜profilefollow(\ (\ ( • •) ━∪∪━━━━ Full of mostly true stories, I occasionally write them down. Habit of talking to anyone. Bipolar. Author.:
But can we use emoji if we want? 🤔
🤔profilefollowswiley.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.comwrote:
A lot of people write so much software to sandbox their AI agents. I say don't bother. Just give your agent its own non-admin local user account. It's easier and much more effective.
My first post on Twitter in 2007 or so was kinda about the utility of broadcasting what was on my mind. :)
At dragoncon, and it's even more than a zoo than I expected. way more people than I thought would be here on a Friday.
🙈profilefollow"Beware those that would deny you access to information, for in their heart they dream themselves your master." — Sid Meyerswrote:
Productive weekend started four hours ago for me (at 06:00 EDT). Visited aunties and mum. Just got home, and waiting for wife to finish preparing to get on the road again. Next destination: nursing home (visit family, and “adopted” elders).
🙈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”.
profilefollowa work in progress; i love cats 🐱wrote:
Had to take care of something for school. But now in bed with my book.
profilefollowhallucinating with llms...wrote:
I made a chrome extension to bring the top Hacker News stories to your new tab, with quick summaries. So every time you open a new tab, you might discover something everyone else hasn’t heard about yet. If you’ve never heard of Hacker News: it was created by Paul Graham(founder
به نام خداوند جان آفرین
In the name of God, the Giver of Life.
😴profilefollowI really enjoy learning, I really enjoy making. I'm learning to be less guarded.wrote:
a constant, existential pull so old I couldn't tell you the end or draw its shape between kind acceptance and striving, struggling, writhing, climbing learning, growing, discontent "do you feel this way, too, at endless war with longing itself?" but the birds and trees and ants and wind in their own marvelous design don't reply #poemnotesfollow
🙈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!
Been working on an old mastodon hosting project I tried to start a few years ago, with a focus on privacy. This is the first big project I've tried to come back to with the help of coding agents and find it invigorating, and gives me the confidence to actually finish the project. Who knows if it will ever make a dollar, but it sure is fun to watch my ideas come to life.
profilefollowwrote:
对于整个互联网历史,我可说基本上是一个旁观者,我一直在消费内容,但是没有生产过什么内容,互联网上没有我的痕迹,这是意外后果,因为中国的身份和内容政策
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.
我不太明白中国的“防火长城”是怎么运作的。比如说,你到底是怎么访问这个网站的? (我是在通过翻译软件和你交流。)
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.)
😌profilefollowI ain't no nothing!wrote:
At a philosophical level, can we have nice things?
👹profilefollowreplied to😌profilefollowI ain't no nothing!:
If speaking on a philosophical level, then first we have to ask: what’s “nice” and what’s “to have” 👀
🥷profilefollowreplied to😌profilefollowI ain't no nothing!:
If you consider what you have nice, you can have nice things. If your expectations to your surroundings are very very low, you will be amazed with all the nice things you get from people you meet through your day. My personal approach. #simplelifenotesfollow
Current #jjnotesfollow aliases: # The canonical tug tug = ["bookmark", "move", "--from", "closest_bookmark(@-)", "--to", "@-"] # Show my current work-in-progress(es). To wip it, whip it good. wips = ["log", "-r", "bookmarks() | description(exact:'')"]
🤔profilefollowHai I am kuwrote:
Since you guys are on textlog I think you will find this article and discussion interesting lobste.rs/s/5gcd3t/html_can_doLobstersHTML Can Do That22 comments chrisburnell.com/html-can-do-that/Chris BurnellHTML Can Do ThatHTML has been gobbling up swathes of what used to be JavaScript’s remit. This page lists a bunch of dynamic functionality that we can now achieve with just HTML. A character count though that still requires JavaScript sadly enough 🥺
I think if @stagasprofilefollowcreative 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.
profilefollowgrocer-engineer and polynomial enjoyer. not into reactionaries i attempt to stave off burnout with a healthy dose of dark souls, bloodborne, and friendsreplied toprofilefollow#Emacsnotesfollow, dev, life, random stuff. the netherlands.:
Beautiful, thanks for this, fellow emacs friend