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.
@procyonprofilefollowlate is the hour in which this conjuror chooses to appearwrote:
ChatGPT-generated placards for fruits and vegetables at the local farmer's market 👌
…
@kooiprofilefollowwrote:
So annoyed that reddit is gating read-access to it's threads. What's up with that?? (╯°□°)╯︵ ┻━┻ (thx ascii-art)
@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.
@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.
@kev🧜profilefollowrunner. making games and software.wrote:
game dev with LLMs assisting on some of the engine legwork I learned to do over the years is the most fun programming I've had since I was 12 years old plucking away at the public library commodore 64
@reyewonprofilefollowProfessional photographer, marketer and developer with a love for creative problem solving and quite the proud nerdy side!wrote:
I have developed a beautiful free app that lays out Instagram feed photos as a perfect masonry grid every time, no matter which photos you provide it. It's completely free to use if anyone wants to check it out msnry.appmsnrymsnry — Instagram carousels laid like masonryCompose your photographs into one wide grid. msnry slices it into pages that swipe as one continuous strip. #ainotesfollow #saasnotesfollow #developmentnotesfollow
@stagas🤸profilefollowcreative technologistGitHubstagas - Overviewstagas has 462 repositories available. Follow their code on GitHub. creator of textlogreplied to@reyewonprofilefollowProfessional photographer, marketer and developer with a love for creative problem solving and quite the proud nerdy side!:
Very cool! At least the landing page is amazing! I couldn’t try the app because I don’t have photographs locally, I thought it would be able to fetch my photos from Instagram, that part I found a bit confusing.
@pvarprofilefollowex-perl programmer, linux userwrote:
let's see how arabic letters are rendered here: بسم الله الرحمن الرحيم
Let's see how Arabic letters are rendered here: بسم الله الرحمن الرحيم
@ryuichiprofilefollowwrote:
I like this, it feels like Reddit before what it is now, but I feel like it won’t be long until the internet destroys this place. Until then I’m happy to be here.
@procyonprofilefollowlate is the hour in which this conjuror chooses to appearreplied to@ryuichiprofilefollow:
My favorite part of classic reddit was the use of elaborate hacks to circumvent the restrictions on custom subreddit CSS. E.g. animated gifs weren't allowed, so people made filmstrip sprites with stepwise animation in such a way as to look exactly the same.
@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
@geverprofilefollowwrote:
I recently made a 10 foot sailboat and took it on a fifty-mile adventure in the Salish Sea. I can still feel the way the wind pushed the boat over the water. I kept imagining the way that our progress was the sum of the vectors of wind, current, and gravity. #tinkeringnotesfollow
@_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.
@eatziprofilefollowEat, drink, listen to 🎶, & watch the fish. Occasionally cook.wrote:
top
What kind of olive oil do you like? I am not big on the peppery stuffs
@saturnine🤠profilefollowtalkingwrote:
Bought some delicious olive oil.
@saturnine🤠profilefollowtalkingreplied to@eatziprofilefollowEat, drink, listen to 🎶, & watch the fish. Occasionally cook.:
I like La Tourangelle Smooth and Fruity -- but I only get it when I have giftcards because it's 16$ a can ._.
@zielprofilefollowwrote:
Using deep research for trip planning and visualising it with coding agent is fun.
@kitnprofilefollowhallucinating with llms...wrote:
in a hackathon rn. building a cloud platform for agents on my homelab.
@ku🤔profilefollowHai I am kuwrote:
One idea that I've been thinking about is an #Androidnotesfollow or #iPhonenotesfollow #appnotesfollow where it is a #journalingnotesfollow app so you get a new file everyday right except the app keeps track of all the files for you. the idea is that anytime you type anything it it basically makes a #gitnotesfollow commit and use #sha256notesfollow so anytime you type something it commits automatically after a quick pause after you stop typing. #codingnotesfollow #automationnotesfollow #devnotesfollow
@crustyrustaceanprofilefollowOld school metallian, hobbyist developer writing things mostly in Rust…mostlywrote:
Writing. I want to do it, very badly. I just don't want to be bad at it. You have to be bad at it in order to get good at it. But... Catch 22 isn't it?
…
@dcprofilefollowreplied to@crustyrustaceanprofilefollowOld school metallian, hobbyist developer writing things mostly in Rust…mostly:
I think reading helps quite a bit, especially writing about what you’ve read, even to yourself, just so you can go through the process of having to explain something that you’re only recently familiar with. There’s something about that process that seems to be helpful, at least to me.
@prtys🤡profilefollowreplied to@crustyrustaceanprofilefollowOld school metallian, hobbyist developer writing things mostly in Rust…mostly:
Same. The way I consume information influences how I think. Short form content makes my thinking fragmented without a clear structure. I feel that fragmented thinking won't lead to convincing writing. And I'm trying to regain some of that lost control.
@crustyrustaceanprofilefollowOld school metallian, hobbyist developer writing things mostly in Rust…mostlyreplied to@prtys🤡profilefollow:
Very interesting! I think something along those lines might be happening for me too. Another aspect, always cooking in the back of my mind, "if you can't explain it well, don't explain it at all."
@kev🧜profilefollowrunner. making games and software.replied to@crustyrustaceanprofilefollowOld school metallian, hobbyist developer writing things mostly in Rust…mostly:
The fear of being bad at it is the only thing holding you back. I experienced something like that with playing music with others. Perhaps you could learn to lay down your critical brain during the creation process and that good/bad isn't a useful distinction until later when you're editing your work.
@crustyrustaceanprofilefollowOld school metallian, hobbyist developer writing things mostly in Rust…mostlyreplied to@kev🧜profilefollowrunner. making games and software.:
Yeah, this is pretty much what I can't do. My critical brain has a lot of power. It's very evolved at this point :/
@derblitzmann💀profilefollow10+ years Seattle based software engineer.wrote:
Recently hit 10+ years (cumulative) of being a software engineer. I must say, I enjoy senior level interviews much more than coding interviews.
@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.
@asmund🥷profilefollowwrote:
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.
@edwin😬profilefollowwrote:
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.
@crustyrustaceanprofilefollowOld 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
@pcprofilefollowwrote:
I have a toddler. I come home from work, cook, feed, clean, wash up. We read stories and play. I put him to bed. Then I put something on the television and my wife and I scroll on our phones until she goes to bed. I am not so careless with the little free time I have. I continue to scroll until about 1 am. The next morning I do it again. On the weekends, I get to drink wine.
@eatziprofilefollowEat, drink, listen to 🎶, & watch the fish. Occasionally cook.replied to@pcprofilefollow:
I prefer to drink wine at night and read an eBook or watch when something good comes up on streaming media. Can’t always get what I prefer and that is life.
@structiefprofilefollowDigital business analyst, mostly on AI. Addicted to apps and domains. Family man.replied to@pcprofilefollow:
Same. And on Monday, I look back and wonder how I ever got to fit five or six things in one weekend, and now one or two things fill it up entirely. Love the little ones though, they're my world.
@avioliprofilefollowProgrammer by day and night. Lover of art. Mixing art and programming is the dream.replied to@stagas🤸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.
@avioliprofilefollowProgrammer by day and night. Lover of art. Mixing art and programming is the dream.replied to@fastidious🙈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
@ku🤔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
@asmund🥷profilefollowwrote:
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
@rossdavidhprofilefollowwrote:
I think more than 50% of our economy's businesses, are cosplaying. Not in it for customers or profit; in it for investors and investments. "Looking like a business", as your real line of work.
…
@sicilicaprofilefollowreplied to@ryansepassiprofilefollow:
I've never thought of something like OF as gambling. But I guess your point is that young adults are pushed to a lot of "you have a 0.1% chance of hitting it big and a 99.9% chance of getting no online traction at all" types of careers?
@ryansepassiprofilefollowreplied to@sicilicaprofilefollow:
Yeah, no point in investing in yourself or a real sustainable long-term future, just gamble the little you have for a shot at life above the line. Barbell economy.
…
@jamesjan3profilefollowresearcher, developer, dancerreplied to@rossdavidhprofilefollow:
a business loan is not an investment, it is debt financing that pays back with interest. An investment means putting money into a company to gain ownership or a share of future profits. to me it feels like youre arguing against cosplaying, showing small businesses struggle and arent just playing boss for the funzies.
@stagas🤸profilefollowcreative technologistGitHubstagas - Overviewstagas has 462 repositories available. Follow their code on GitHub. creator of textlogwrote:
I have to constantly be working or I get very agitated. Is this #workaholismnotesfollow? I don’t like entertainment other than background music while working and maybe before going to sleep I watch a series on Netflix to relax. That’s when I’m on my introvert mode. When I’m extrovert (I’m ambivert) I have to constantly be around people and outdoors, I get agitated indoors, can’t work at all and definitely can’t watch anything. How do these two personalities co-exist in me?
@amyprofilefollowa 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.
@jgprofilefollowNew herewrote:
How did all the tech oligarchs seem to go fash so quickly?
@jgprofilefollowNew herewrote:
Yes 🙌 the authoring box first thing. Before I get distracted. Heck, make writing something down how I get distracted from reading others' posts.
@ben😊profilefollowDesigner, no-code maker of stuffwrote:
Hello people 👋
…
@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:
The dream of Twitter circa 2007 is alive in 2026
@fastidious🙈profilefollow"Beware those that would deny you access to information, for in their heart they dream themselves your master." — Sid Meyersreplied 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.:
Twitter was 140 chars. That makes it double the dream, right?
@gonzprofilefollowI 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@hotterprofilefollow#Emacsnotesfollow, dev, life, random stuff. the netherlands.:
This is what we need.
@ilyaprofilefollowwrote:
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...
@gonzprofilefollowI 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:
Who's enjoying #cnotesfollow in 2026? I'm back after ~14 years away (some sporadic once-in-a-while use in there) and I'm finding it better than ever, a smoother development experience and clearer code than pretty much every language out there, except for maybe #odinnotesfollow.
@swiley🤔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.comreplied to@gonzprofilefollowI 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:
I get paid to write it if you can believe that.
…
@swiley🤔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.comreplied to@gonzprofilefollowI 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:
Some specialized censors used in automated manufacturing. It's pretty cool, I look forward to coming into the office almost every day. I've worked for a few f500 companies and took a pay cut to come here. A bunch of people from my college robotics club work here too.
@gonzprofilefollowI 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@swiley🤔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.com:
That sounds really cool. Above all I really like hearing that someone enjoys their work and likes showing up for it. I've had that feeling on a few contracts and it's great. Looking to get into embedded myself, since it seems that's where you get to have all the fun writing C. :)
@ryansepassiprofilefollowreplied to@gonzprofilefollowI 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:
#cnotesfollow has been such a pleasure. Haven’t tried Odin, but was using #zignotesfollow for a while, and I just found myself pulled back to C. A minimal sharp tool. Runs anywhere. Can actually write a compiler for it. Short bootstrap chain from hex0. Does anybody care about these things (anymore)?
@gonzprofilefollowI 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@ryansepassiprofilefollow:
Support everywhere (in every way) was key to me starting to use C again. It's nice to not have to worry about the language you use being left out somewhere, a non-starter somewhere else and having to mentally translate it to something else (Zig/Odin in a debugger -> C).
@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. 𐑣𐑩𐑥, 𐑥𐑱𐑚𐑰 𐑲𐑤 𐑕𐑳𐑥𐑑𐑲𐑥𐑟 𐑐𐑴𐑕𐑑 𐑦𐑯 ·𐑖𐑱𐑝𐑾𐑯 𐑧𐑯𐑦𐑢𐑱 𐑯 𐑑𐑮𐑨𐑯𐑟𐑤𐑱𐑑 𐑥𐑲𐑕𐑧𐑤𐑓. 𐑦𐑑𐑕 𐑩 𐑕𐑒𐑦𐑤 𐑲𐑥 𐑑𐑮𐑲𐑦𐑙 𐑑 𐑐𐑮𐑨𐑒𐑑𐑦𐑕 𐑚𐑳𐑑 𐑮𐑺𐑤𐑦 𐑳𐑞𐑼𐑢𐑲𐑟 𐑮𐑲𐑑 𐑚𐑮𐑰𐑓 𐑦𐑯𐑳𐑓 𐑮𐑴𐑑𐑕 𐑑 𐑚 𐑕𐑴 𐑦𐑯𐑒𐑤𐑲𐑯𐑛.
@procyonprofilefollowlate is the hour in which this conjuror chooses to appearwrote:
one more step. just a moment. attention required! enable javascript and cookies to continue. verifying the security of your connection. your browsing activity has been paused. content unavailable in your region. 429 too many requests. 403 forbidden. connection has timed out.
@gruntprofilefollowI am just a grain of sand on your beach.replied to@procyonprofilefollowlate is the hour in which this conjuror chooses to appear:
The future is here. But instead of flying cars or holodeck, what you get is tracking cookies and captcha everywhere. Maybe someday you will need to have your rectum scanned by Google or Meta nee Facebook before your browser does a HTTP request.
@_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.
@snufkinprofilefollowwrote:
I am trying to learn emacs for the fun of it. The tutorial is brilliant and clear. Any tips that would help me learning more things. I know all I need is practice but if you may have used it, you may know a thing or two.
@ag🥰profilefollowwrote:
Today, I wrote a new Business Continuity Plan, worked with my SRE manager to improve responses to alerts, got a cringe email from HR and have to tell my staff to RTO 3-days a week if not classified as remote. Worked out for my 8th day streak, and cuddled in bed with my girl. Hello World
@_torayuriprofilefollowi 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.
@catastrofer🥸profilefollowJust another AI guywrote:
Got a bunch of things to do, hate procrastination, any advice is welcome
@thechelsukprofilefollowCurrently in remission from ME/CFS after 3+ years. Occasional software engineering leader, app developer, blogger, zwifter, and just being online.replied to@catastrofer🥸profilefollowJust another AI guy:
Determine what matters most and make a list of the no more than 7 things. Do one thing well at a time, top down. Reprioritise as you learn more. Notes:
  1. If you half-arse a task and decide that'll do, it's evidence it wasn't the right priority. Learn.
  2. Any sort of productivity, multi-tasking, app, solution type thing is a scam or a money grab and isn't needed.
  3. People tend to remember 7 things well, but struggle with longer lists and particularly fail to remember things in the middle.
@fastidious🙈profilefollow"Beware those that would deny you access to information, for in their heart they dream themselves your master." — Sid Meyersreplied to@kateprofilefollow:
You forgot the “one, two, three”. :-)
@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!
@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:
I laughed at this. I'm all for people crafting their own tools, but it really feels like everyone's reinventing the same handful of wheels for agentic development.
@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.continued:
In terms of where I invest my time, I'm trying to find ways to zig while everyone's myopically zagging.
@egeprofilefollowcheck 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.wrote:
turns out the power of exclamation mark thing in bash is bigger than !$ and !!. i learned a few tricks from refp.se/…/your-shell-and-the-lazy-exclamation-markrefp.seA shell exclamation mark is not for yelling. Be lazy. | Filip Roséen - refp.seEvent designators have been hiding in not-so-plain-sight since the late 1970s — so powerful that forgetting might be part of a massive conspiracy to wear out developer keyboards faster than otherwise., worth reading!
@nikkiprofilefollowa dog in your computer. i like plaintext, programs under 10mb, and palettes under 17 colors.wrote:
we're taking over. :3 this site is for weird animal tgirls now #launchnotesfollow
@catastrofer🥸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.
@zen🤒profilefollowfather, cyclist, #haskellnotesfollow, #emacsnotesfollowreplied to@catastrofer🥸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.
@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).
@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:
Watching the UTMB livestream. Any other trail #runningnotesfollow fans out there tuning in?
@chenxiangprofilefollowwrote:
对于整个互联网历史，我可说基本上是一个旁观者，我一直在消费内容，但是没有生产过什么内容，互联网上没有我的痕迹，这是意外后果，因为中国的身份和内容政策
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.
@cyanohydrprofilefollowreplied to@chenxiangprofilefollow:
我不太明白中国的“防火长城”是怎么运作的。比如说，你到底是怎么访问这个网站的？ （我是在通过翻译软件和你交流。）
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.)
…
…
…
…
…
@ku🤔profilefollowHai I am kureplied to(deleted account):
Good morning to you both 🌞