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.
@hjklprofilefollowwrote:
I'm sooo late for work so time to lock in to catch up
@hjklprofilefollowcontinued:
The results of my simulation are bullocks but I believe I know why. Rerunning with the patch now. Fingers crossed!
@chenxiangprofilefollowwrote:
ๅฏไปฅๅ‘ไธญๆ–‡ๅ†…ๅฎนๅ—
Can I send content in Chinese?
@fastidious๐Ÿ™ˆprofilefollow"Beware those that would deny you access to information, for in their heart they dream themselves your master." โ€” Sid Meyersreplied to@chenxiangprofilefollow:
ๅฝ“็„ถ๏ผใใ—ใฆๆ—ฅๆœฌ่ชžใงใ‚‚๏ผ
Of course! And in Japanese too!
@semperos๐Ÿ˜ŠprofilefollowPresbyter, husband, father, technologist, linguist, musician.wrote:
This bout of COVID is more like โ€œCorona Lightโ€ compared to previous years, but Iโ€™m still spending most of it in bed. Stay safe out there.
@stagas๐Ÿคธprofilefollowcreative technologistGitHubstagas - Overviewstagas has 462 repositories available. Follow their code on GitHub. creator of textlogreplied to@hellodaviddevprofilefollowdev, 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.:
Since you have an account maybe you can help us out by posting https://textlog.cc/about ? :D Here is the HN thread if you want to copy the title.
@fastidious๐Ÿ™ˆprofilefollow"Beware those that would deny you access to information, for in their heart they dream themselves your master." โ€” Sid Meyersreplied to@hellodaviddevprofilefollowdev, 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..
@hopscotchprofilefollowComputer 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 ...
@c0c0a5profilefollowwww.C0C0A5.comwrote:
Bluey's "curry swapYahoo LifeThe 'Bluey'-inspired trick for twice the homemade meals with half the workFind a like-minded family to start your own weekday "curry swap" to share home-cooked meals." is an ingenious way to save #timenotesfollow #cookingnotesfollow. The scheme is simple: One night a week, we make twice as much #dinnernotesfollow and drop it off at the other family's house. They do the same on a different night.The #lifehacknotesfollow is deceivingly simple. Doubling a recipe is easier than preparing a second dish.
@gruntprofilefollowI am just a grain of sand on your beach.wrote:
Any #Pinotesfollow users around? I have been customizing it to the way I work, as it is meant to be. Bent it in a way that I enjoy holding it, so to say. Maybe someone will find those useful, so I took the time to get it published. Gruntfooot is a footer customization, where you can try new colors/glyphs in real time and also has theme support.
@gruntprofilefollowI am just a grain of sand on your beach.continued:
Piflux is a coding workflow. You can steer software development by running commands that issue reasonably general prompts. /plan, /code, /review I created this because I find it very useful to have different models/ perform each of those tasks in isolated sessions. Managing this manually was very much a hassle.
@amyprofilefollowa work in progress; i love cats ๐Ÿฑwrote:
Had to take care of something for school. But now in bed with my book.
@hmnt_bazookaprofilefollowYear 4 CS. Like tech, systems, game devreplied to@stagas๐Ÿคธprofilefollowcreative technologistGitHubstagas - Overviewstagas has 462 repositories available. Follow their code on GitHub. creator of textlog:
Cool!! I'm currently designing and idea-shopping for an ultra light weight, super aesthetic browser whose goal is to go back to HTML roots and just be a "document browser". It would have HTML 4 and semantic HTML support, images, videos, full HTTP support, cookies, etc. No CSS, JS
@evnmprofilefollowSoftware 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.
โ€ฆ
@evnmprofilefollowSoftware 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.
โ€ฆ
@evnmprofilefollowSoftware 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
โ€ฆ
@evnmprofilefollowSoftware 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):
๐Ÿค
โ€ฆ
@evnmprofilefollowSoftware 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 :)
@carbonwriter๐Ÿงœ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
@carbonwriter๐Ÿงœ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 :-)
@procyonprofilefollowlate is the hour in which this conjuror chooses to appearreplied to@carbonwriter๐Ÿงœ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? ๐Ÿค”
@chenxiangprofilefollowwrote:
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.
@amyprofilefollowa 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.
โ€ฆ
@amyprofilefollowa 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!
@amyprofilefollowa work in progress; i love cats ๐Ÿฑreplied to@kooiprofilefollow:
My experimentation says the crunchiness of 5 cashews perfectly balances the juiciness of the date. Your mileage may vary!
@fastidious๐Ÿ™ˆprofilefollow"Beware those that would deny you access to information, for in their heart they dream themselves your master." โ€” Sid Meyerswrote:
Just three more commits left, but /usage ran out. Resets at 01:50, so I guess I am going to sleep.
@fastidious๐Ÿ™ˆprofilefollow"Beware those that would deny you access to information, for in their heart they dream themselves your master." โ€” Sid Meyerscontinued:
Woke up during the night for a short trip to the loo, got 'resumeโ€™ going. All done in the morning. Ahh, coffee tastes better now!
@xlayn๐Ÿคชprofilefollowwrote:
hey creator, this place is nice, posts look organic and the no javascript, I love it, with that said @stagasprofilefollowcreative technologist creator of textlog have you consider NOT opening the API? and have a 1 way to come here and enjoy it? the rationale being that API also opens the door to the slopai?
@derblitzmann๐Ÿ’€profilefollow10+ years Seattle based software engineer.wrote:
Job I was hoping for gave me the "we found another applicant" treatment. I don't begrudge them for that, since I know I had a 'less than adequate initial coding interview. But still, it stings and sucks. Hopefully my other interviews yield better results...
@fastidious๐Ÿ™ˆprofilefollow"Beware those that would deny you access to information, for in their heart they dream themselves your master." โ€” Sid Meyerswrote:
Maybe implementing a subset of Markdown would be a good thing. I am thinking about bold, italics, inline code, and code block, mostly. Oh, and links.
โ€ฆ
@fastidious๐Ÿ™ˆprofilefollow"Beware those that would deny you access to information, for in their heart they dream themselves your master." โ€” Sid Meyersreplied to@ryansepassiprofilefollow:
I think so. It could even be made a setting, defaulting it to off. I think it would be useful, especially is self-hosted for a tech community.
โ€ฆ
@fastidious๐Ÿ™ˆprofilefollow"Beware those that would deny you access to information, for in their heart they dream themselves your master." โ€” Sid Meyerscontinued:
Cool! Letโ€™s test it with a link to Google.
@stagas๐Ÿคธprofilefollowcreative technologistGitHubstagas - Overviewstagas has 462 repositories available. Follow their code on GitHub. creator of textlogreplied to@fastidious๐Ÿ™ˆprofilefollow"Beware those that would deny you access to information, for in their heart they dream themselves your master." โ€” Sid Meyers:
I've tested MD and honestly I don't like it. Bold/italics add unnecessary noise/clutter and the font is already monospace, suited for code, so inline code & code fences are not needed. If 3rd party clients want to implement them it's fine but I'm sensitive to visual noise.
@zen๐Ÿค’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
@zen๐Ÿค’profilefollowfather, cyclist, #haskellnotesfollow, #emacsnotesfollowcontinued:
... 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.
@zen๐Ÿค’profilefollowfather, cyclist, #haskellnotesfollow, #emacsnotesfollowcontinued:
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.
@zen๐Ÿค’profilefollowfather, cyclist, #haskellnotesfollow, #emacsnotesfollowcontinued:
... 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.
@zen๐Ÿค’profilefollowfather, cyclist, #haskellnotesfollow, #emacsnotesfollowreplied to@stagas๐Ÿคธprofilefollowcreative technologistGitHubstagas - Overviewstagas has 462 repositories available. Follow their code on GitHub. creator of textlog:
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).
@xolar๐Ÿง‘โ€๐Ÿš€profilefollowะฝฯ…ะผฮฑฮทwrote:
I very much like textlog, it feels like a breath of fresh air
@bobbyprofilefollowwrote:
work has been dreadful recently. spending so much time on processes and in meetings :(
@_torayuriprofilefollowi 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.
@_torayuriprofilefollowi 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).
@_torayuriprofilefollowi 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.
โ€ฆ
@procyonprofilefollowlate is the hour in which this conjuror chooses to appearreplied to@jamesjan3profilefollowresearcher, developer, dancer:
Missed opportunities ITT for cheeky puns like -thrall -Flash etc
@0x29aprofilefollowwrote:
So I found the blog of a Ukrainian Front Line soldier on Bear Blog today. Incredibly grim stuff to read, but I really wanna get in touch with that guy now and send him so cash so he can buy a burger. Hope Herman forwards my message ๐Ÿ˜ช
@kdevprofilefollowwrote:
Is there a terminal app for viewing textlog?? Kind of hate browsers.
@edwin๐Ÿ˜ฌprofilefollowreplied to@fastidious๐Ÿ™ˆ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
@stagas๐Ÿคธprofilefollowcreative technologistGitHubstagas - Overviewstagas has 462 repositories available. Follow their code on GitHub. creator of textlogreplied to@kdevprofilefollow:
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.
@archivist_eyes๐Ÿ’€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.wrote:
Turn the car on. Shift in Neutral. Gas to the bottom. This is how my head feels most of the time.
@neoprofilefollowcoder, reader, guitarist, seeker, builder.wrote:
How can I change an organisation with hundreds of frustrated employees, when I canโ€™t change my own life with only one person. Does a different person run a company and a different person live their life? I doubt it.
@zen๐Ÿค’profilefollowfather, cyclist, #haskellnotesfollow, #emacsnotesfollowreplied to@neoprofilefollowcoder, reader, guitarist, seeker, builder.:
I think so, actually. My wife runs my household, I run my engineering org. As I get older I do see the two aspects of my personality start to merge but they are still divergent and were much moreso in my earlier years.
@zen๐Ÿค’profilefollowfather, cyclist, #haskellnotesfollow, #emacsnotesfollowcontinued:
and to be clear, I don't mean that I offload all the work to her by any stretch. It's just that I'm much more outspoken and opinionated on the specifics of work life versus home life.
@radiocappy๐Ÿง™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.
โ€ฆ
@silverprofilefollowwrote:
#launchnotesfollow x3lixi.grx3lixi.grx3lixi.gr โ€” ฮ— ฮตฮปฮปฮทฮฝฮนฮบฮฎ ฮฒฮนฮฒฮปฮนฮฟฮธฮฎฮบฮท ฯ€ฯฮฟฯƒฯ‰ฯ€ฮนฮบฮฎฯ‚ ฮฑฮฝฮฌฯ€ฯ„ฯ…ฮพฮทฯ‚ฮ•ฯ€ฮนฮปฮตฮณฮผฮญฮฝฮฟ ฯ€ฮตฯฮนฮตฯ‡ฯŒฮผฮตฮฝฮฟ ฯ€ฯฮฟฯƒฯ‰ฯ€ฮนฮบฮฎฯ‚ ฮฑฮฝฮฌฯ€ฯ„ฯ…ฮพฮทฯ‚ ฯƒฯ„ฮฑ ฮตฮปฮปฮทฮฝฮนฮบฮฌ โ€” ฮผฮต AI ฯ€ฮตฯฮนฮปฮฎฯˆฮตฮนฯ‚, ฮฑฮบฯฯŒฮฑฯƒฮท, ฮตฮพฮฑฯ„ฮฟฮผฮฏฮบฮตฯ…ฯƒฮท ฮบฮฑฮน ฮบฮฑฮธฮทฮผฮตฯฮนฮฝฮฎ ฯฮฟฮฎ ฮผฮฌฮธฮทฯƒฮทฯ‚ ฯƒฯ„ฮฟฮฝ ฯ‡ฯฯŒฮฝฮฟ ฯ€ฮฟฯ… ฮฟฯฮฏฮถฮตฮนฯ‚ ฮตฯƒฯ., tonight, August 7th 2026. doing some security hardening and UI-UX fixes
@evnmprofilefollowSoftware 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 ๐Ÿซ 
@kidkprofilefollowwrote:
Been sorting packages all evening. I don't work for the post office. I do this for fun, I think. Maybe I just like to automate things and make them perfect. #gamesnotesfollow store.steampowered.com/โ€ฆ/Parcel_Simulator/store.steampowered.comSave 30% on Parcel Simulator on SteamInspect and process parcels and packages in this parcel inspection simulator! Receive and sort deliveries, examine labels for mistakes, and automate to maximise warehouse efficiency. Upgrade and expand your warehouse to build your parcel empire!
@fastidious๐Ÿ™ˆprofilefollow"Beware those that would deny you access to information, for in their heart they dream themselves your master." โ€” Sid Meyerswrote:
The interface needs some work. For example, I would like the textarea that I am using right now to be as wide as the header above. Also, where is the character counter?
โ€ฆ
@_torayuriprofilefollowi 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.
@_torayuriprofilefollowi create thingscontinued:
The two projects of github:schildep are "3d mesh intersection" and "multipolygon intersection". I can try "Voronoi diagram generation" as a starter.
@avetisk๐Ÿ‘นprofilefollowwrote:
Sick makes me calm. My mind goes quiet for some time. I can sit and look at the horizon. Or just contemplate the different shades of white of my ceiling while laying on my bed. I miss the silence of my youth.
@dangerprofilefollowdanger.techwrote:
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
@evnmprofilefollowSoftware 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@stagas๐Ÿคธprofilefollowcreative technologistGitHubstagas - Overviewstagas has 462 repositories available. Follow their code on GitHub. creator of textlog:
I think it will still apply, just perhaps to a lesser degree. Kind of related to this blog postevnm.substack.comPlatform engineering still mattersReuse is a good thing, even with agentic coding I wrote recently (not to shamelessly plug my stuff ๐Ÿซฃ)
@stagas๐Ÿคธprofilefollowcreative technologistGitHubstagas - Overviewstagas has 462 repositories available. Follow their code on GitHub. creator of textlogreplied to@evnmprofilefollowSoftware 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.:
Nice read! Thanks for sharing!
@fastidious๐Ÿ™ˆprofilefollow"Beware those that would deny you access to information, for in their heart they dream themselves your master." โ€” Sid Meyerscontinued:
The โ€œyou have seeing it allโ€, etc.
โ€ฆ
@bobbyprofilefollowwrote:
just finished the book โ€œThis is what inequality looks likeโ€ by Teo You Yenn. will gather my thoughts and write more about it.
@tel๐Ÿ˜ดprofilefollowI really enjoy learning, I really enjoy making. I'm learning to be less guarded.wrote:
Hello textlog ๐Ÿ‘‹
@ku๐Ÿค”profilefollowHai I am kureplied to@tel๐Ÿ˜ดprofilefollowI really enjoy learning, I really enjoy making. I'm learning to be less guarded.:
Hi ๐Ÿ‘‹
@ku๐Ÿค”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.
@jarltronprofilefollowwrote:
โ”Œโ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ” โ”‚ โ•”โ•โ•— โ•”โ•โ•— โ”‚ โ”‚ โ•šโ•โ• โ•šโ•โ• โ”‚ โ”‚ โ”Œโ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ” โ”‚ โ”‚ โ””โ”€โ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ”€โ”˜ โ”‚ โ”‚ โ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆ โ”‚ โ””โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”˜ #asciinotesfollow,#ascii_artnotesfollow
@carbonwriter๐Ÿงœprofilefollow(\ (\ ( โ€ข โ€ข) โ”โˆชโˆชโ”โ”โ”โ” Full of mostly true stories, I occasionally write them down. Habit of talking to anyone. Bipolar. Author.wrote:
Well, this looks like a lovely place. #hellonotesfollow
@mcclaskcprofilefollowIs mayonnaise an instrument? Email me if you want a pizza roll.wrote:
Is mayonnaise an instrument?
@davidprofilefollow๐ŸŽ A lifetime Apple user. Partner says I am pedantic, sarcastic, and cynic. I just want to be me.wrote:
Which Linux distribution do you like the most, and why? Follow the previous with your favourite desktop environment.
โ€ฆ
โ€ฆ
@tel๐Ÿ˜ดprofilefollowI really enjoy learning, I really enjoy making. I'm learning to be less guarded.replied to@kidkprofilefollow:
I've been leaning hard on NixOS in my latest attempt at a linux desktop box and have been really enjoying it. LLMs definitely help as there's a tremendous amount of information you need to use it effectively, I feel. I also started with Hyprland but then moved to Niri and have really enjoyed it.
@doveprofilefollowreplied to@davidprofilefollow๐ŸŽ A lifetime Apple user. Partner says I am pedantic, sarcastic, and cynic. I just want to be me.:
Arch, because I feel you cannot use Linux without knowing how it works, and sway for window manager because it is highly stable, wholly keyboard driven, and tiling
โ€ฆ
@keyboardinterruptprofilefollowLiving by the Zen of Python! keyboardinterrupt.comreplied to@jgprofilefollowNew here:
I spent some time looking into what Omarchy has become since I installed it on my system, and I donโ€™t think I like it anymore. ^^ Using it mainly to open a browser or applications like VS Codeโ€ฆ well, I can do that with any OS. But the whole โ€œAI-firstโ€ direction, DHH, and everything surrounding it are making me reconsider. Iโ€™ll probably migrate away from it soon. #bummernotesfollow
@vrvnprofilefollowreplied to@davidprofilefollow๐ŸŽ A lifetime Apple user. Partner says I am pedantic, sarcastic, and cynic. I just want to be me.:
Ubuntu or Linux Mint with Cinnamon and i3 alternating as window managers here
@hotterprofilefollow#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.
@hotterprofilefollow#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.
@highkeyprofilefollowwrote:
'wade in the water.' isn't this the challenge of being 'ahead'? so many of us are waist deep in the same sea, it's hard to see what's in front of us vs. what's behind us. then we see the yacht boys sail by with their new masters, splashing us in their wake. then we grumble amongs
@highkeyprofilefollowcontinued:
then we grumble amongst ourselves about 'that was my idea,' then carry on.
@amyprofilefollowa work in progress; i love cats ๐Ÿฑwrote:
At Chipotle for dinner.
โ€ฆ
@amyprofilefollowa work in progress; i love cats ๐Ÿฑreplied to(deleted account):
It is Taco Tuesday after all.
โ€ฆ
@evnmprofilefollowSoftware 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):
World's best off-by-one error
@fastidious๐Ÿ™ˆprofilefollow"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.
@nocebolauncherprofilefollowwrote:
I'm just an android launcher called Nocebo Launcher. I don't have usual grid layout, instead I'm inspired by Darth Vader's TIE fighter. My layout can spin, like a real spinner and you can configure physics and animations. I'm easy, cool and novel
@wtrprofilefollowwrote:
ๆ—ฅๆœฌ่ชž่ฉฑ่€…ใฏใฉใ‚Œใใ‚‰ใ„ใ„ใ‚‹ใ‚“ใ ใ‚ใ†ใ€‚ใ“ใ“ใงๆ—ฅๆœฌ่ชžใงๆ›ธใ่พผใฟ็ถšใ‘ใ‚‹ใฎใฏใฉใ†ใชใ‚“ใ ใ‚ใ†
I wonder how many Japanese speakers there are. Is it okay to keep posting in Japanese here?
@wtrprofilefollowcontinued:
ใ“ใ‚“ใซใกใฏไธ–็•Œ
Hello World
@eatziprofilefollowEat, drink, listen to ๐ŸŽถ, & watch the fish. Occasionally cook.replied to@wtrprofilefollow:
ใ“ใ‚“ใซใกใฏใ€‚ใฏใ˜ใ‚ใพใ—ใฆใ€‚
Hello. Nice to meet you.
@sicilicaprofilefollowreplied to@wtrprofilefollow:
ใ“ใ“ใงๆ—ฅๆœฌ่ชžใงๆ›ธใ่พผใฟ็ถšใ‘ใ‚‹ใฎใฏใฉใ†ใชใ‚“ใ ใ‚ใ† ใ‚ตใ‚คใƒˆไฝœๆˆ่€…ใฏใ•ใพใ–ใพใฎ่จ€่ชžใฎ่ฉฑ่€…ใŒไธ€็ท’ใซ่ฉฑใ›ใ‚‹ๅ ด้ขใซใ—ใŸใ„ๆฐ—ใŒใ™ใ‚‹ /post/1045
@pqsprofilefollowwrote:
Are there any plans to filter by language? What will happen when people start posting in several languages? #meta
more
I wonder if it's okay to keep posting in Japanese here. I get the feeling the site creator wants this to be a place where speakers of various languages can talk together. /post/1045
@pqsprofilefollowwrote:
Are there any plans to filter by language? What will happen when people start posting in several languages? #meta
more
@chenxiangprofilefollowwrote:
ๆˆ‘ๅœจไธญๅ›ฝๆ˜ฏไธ€ไธชๅ‡†่„ฑ็ฆปๆ”ฟๅบœๆŽŒๆŽง่€…๏ผŒๅŸบไบŽ่บซไปฝ็š„ไธ€ๅˆ‡ๆดปๅŠจๆˆ‘้ƒฝไธๅ‚ไธŽ๏ผŒๆฏ”ๅฆ‚ๆญฃๅผๅทฅไฝœๅ’Œ็ฝ‘่ดญใ€‚ๆˆ‘ไนŸไธบๆญคไป˜ๅ‡บๅทจๅคงไปฃไปท๏ผŒๆˆ‘็š„้€‰ๆ‹ฉ็ฉบ้—ด่ขซๆžๅคงๅŽ‹็ผฉ๏ผŒ่กŒๅŠจ่ƒฝๅŠ›ๆŸๅคฑไธฅ้‡ใ€‚ๆˆ‘ๅช่ƒฝ้€š่ฟ‡ๅฐ‘้‡ๅ…่ดนwifi่ฎฟ้—ฎไบ’่”็ฝ‘
In China, I am practically independent of the government; I don't participate in any activities based on my status, such as formal work or online shopping. I've paid a heavy price for this; my choices have been severely limited, and my mobility has been significantly impaired. I can only access the internet through limited free Wi-Fi.
@pcprofilefollowwrote:
the day is done! time to stop looking at the bad screen they pay me for to go home and watch the good screen I pay them for #poemnotesfollow
@stagas๐Ÿคธprofilefollowcreative technologistGitHubstagas - Overviewstagas has 462 repositories available. Follow their code on GitHub. creator of textlogwrote:
I hate crawlers that donโ€™t advertise theyโ€™re crawlers. โ€™n badly written. They donโ€™t respect the canonical URLs so they keep getting themselves into a loop instead of actually crawling the site properly. They make the logs really hard to read. Canโ€™t block them theyโ€™re distributed.
@ku๐Ÿค”profilefollowHai I am kucontinued:
For this particular problem though, I feel like if the crawlers are coming from domestic / residential IP addresses and they lack a distinctive http header or user agent, it is indistinguishable from a denial of service attack and must be treated as such.
@procyonprofilefollowlate is the hour in which this conjuror chooses to appearreplied to@ku๐Ÿค”profilefollowHai I am ku:
But as long as people can still use the site it's OK, right? Seems like the problem is often self-inflicted, either because the site is so bloated that answering even GET-requests is burdensome, or because they're trying to monetize the data and so must block non-paying scrapers.
@edwin๐Ÿ˜ฌprofilefollowwrote:
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.
@procyonprofilefollowlate is the hour in which this conjuror chooses to appearwrote:
ChatGPT-generated placards for fruits and vegetables at the local farmer's market ๐Ÿ‘Œ
โ€ฆ
@gorseprofilefollowOf course.wrote:
Q: Whatโ€™s a dogโ€™s favorite part of the opera? A: The ARRRRRRRRR-ia!
@neoprofilefollowcoder, reader, guitarist, seeker, builder.wrote:
Have been reading the book: The Wise Heart by Dr Jack Kornfield. Profound and inspiring. Highly recommend.
@neoprofilefollowcoder, 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.
@liznearprofilefollowwrote:
I'm working on this command-center project. Human describes the mission. Agents define the mission, breakdown and come up with a plan, and drive it. #agentnotesfollow
@radiocappy๐Ÿง™profilefollow"The impediment to action advances action, what stands in the way becomes the way." - Marcus Aureliuswrote:
murm
@kev๐Ÿงœ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.
@stagas๐Ÿคธprofilefollowcreative technologistGitHubstagas - Overviewstagas has 462 repositories available. Follow their code on GitHub. creator of textlogwrote:
Added #meta tag โ€” use it whenever you want to talk about the site itself, and these posts will not show up in all, any or the postโ€™s page. Only those that follow the tag or the person will see these posts in my feed or in post pages. This is to keep the site clear of meta discussions which dominated a lot at this early stage and I think were annoying to many people. So this is the last meta without the #meta tag youโ€™ll see unless u follow. Iโ€™ll try to tag every post I find.
@lemonthymeshortbreadprofilefollowI carved wooden spoons and my favourite herb is lemon thyme.wrote:
๐‘ฒ๐‘ฅ ๐‘ฉ๐‘•๐‘ฟ๐‘ฅ๐‘ฆ๐‘™ ยท๐‘–๐‘ฑ๐‘๐‘พ๐‘ฏ ๐‘ฆ๐‘Ÿ ๐‘ฏ๐‘ช๐‘‘ ๐‘•๐‘ฉ๐‘๐‘น๐‘‘๐‘ฉ๐‘› ๐‘“ ๐‘ท๐‘‘๐‘ด-๐‘‘๐‘ฎ๐‘จ๐‘ฏ๐‘Ÿ๐‘ค๐‘ฑ๐‘–๐‘ฉ๐‘ฏ. Iโ€™m assuming #Shaviannotesfollow is not supported for auto-translation.
@lemonthymeshortbreadprofilefollowI carved wooden spoons and my favourite herb is lemon thyme.replied to@stagas๐Ÿคธprofilefollowcreative technologistGitHubstagas - Overviewstagas has 462 repositories available. Follow their code on GitHub. creator of textlog:
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. ๐‘ฃ๐‘ฉ๐‘ฅ, ๐‘ฅ๐‘ฑ๐‘š๐‘ฐ ๐‘ฒ๐‘ค ๐‘•๐‘ณ๐‘ฅ๐‘‘๐‘ฒ๐‘ฅ๐‘Ÿ ๐‘๐‘ด๐‘•๐‘‘ ๐‘ฆ๐‘ฏ ยท๐‘–๐‘ฑ๐‘๐‘พ๐‘ฏ ๐‘ง๐‘ฏ๐‘ฆ๐‘ข๐‘ฑ ๐‘ฏ ๐‘‘๐‘ฎ๐‘จ๐‘ฏ๐‘Ÿ๐‘ค๐‘ฑ๐‘‘ ๐‘ฅ๐‘ฒ๐‘•๐‘ง๐‘ค๐‘“. ๐‘ฆ๐‘‘๐‘• ๐‘ฉ ๐‘•๐‘’๐‘ฆ๐‘ค ๐‘ฒ๐‘ฅ ๐‘‘๐‘ฎ๐‘ฒ๐‘ฆ๐‘™ ๐‘‘ ๐‘๐‘ฎ๐‘จ๐‘’๐‘‘๐‘ฆ๐‘• ๐‘š๐‘ณ๐‘‘ ๐‘ฎ๐‘บ๐‘ค๐‘ฆ ๐‘ณ๐‘ž๐‘ผ๐‘ข๐‘ฒ๐‘Ÿ ๐‘ฎ๐‘ฒ๐‘‘ ๐‘š๐‘ฎ๐‘ฐ๐‘“ ๐‘ฆ๐‘ฏ๐‘ณ๐‘“ ๐‘ฎ๐‘ด๐‘‘๐‘• ๐‘‘ ๐‘š ๐‘•๐‘ด ๐‘ฆ๐‘ฏ๐‘’๐‘ค๐‘ฒ๐‘ฏ๐‘›.