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.
profilefollowa work in progress; i love cats ๐Ÿฑwrote:
TPMS indicator came on, which means an unplanned Costco trip ๐Ÿ™
๐Ÿ™ˆprofilefollow"Beware those that would deny you access to information, for in their heart they dream themselves your master." โ€” Sid Meyersreplied toprofilefollowa work in progress; i love cats ๐Ÿฑ:
Just check, and top off as needed, the tyres pressure. Run it for a few miles. If it doesnโ€™t go away, then take that trip.
profilefollowa work in progress; i love cats ๐Ÿฑreplied to๐Ÿ™ˆprofilefollow"Beware those that would deny you access to information, for in their heart they dream themselves your master." โ€” Sid Meyers:
No gas station near me has nitrogen so it had to be Costco. I topped off air and also filled gas while I was there. Itโ€™s only 5 miles from me, so overall not bad.
โ€ฆ
profilefollowreplied to๐Ÿค”profilefollowHai I am ku:
ok too far. I'm SWATing this guy.
โ€ฆ
I understand your confusion, but that's the formatting - quoted parent is below the child post - then that post's replies follow in the discussion view. The top post is always quoting its parent below it, the different bg makes it distinct. Just need to get used to it, same on X.
๐Ÿ’€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.
๐Ÿฆฅprofilefollowwrote:
Applied to an L5 software engineering role via e-mail and without any other contact I received back a bunch of questions that clearly look like they're aimed at L6 or even L7. Not sure what to do with that so I withdrew. Briefly considered answering them but was weirded out.
Economist Lant Pritchett describes shifts in ideas as silly, controversial, progressive, then obvious. Also: "Radio has no future. X-rays are clearly a hoax. The aeroplane is scientifically impossible." - Lord Kelvin ". No wireless. Less space than a nomad. Lame." - CmdrTaco
mandelbrot #execnotesfollow for y in range(10): s='' for x in range(25): a=[] for q in range(2): z=c=x/25*3-2+1j*((y*2+q)/10-1);n=40 while n and abs(z)<2:z=z*z+c;n-=1 a+=[n<5] s+=" โ–€โ–„โ–ˆ"[a[0]+2*a[1]] print(s)
โ–ˆโ–ˆ โ–€โ–„โ–ˆโ–ˆโ–ˆโ–ˆโ–„โ–„ โ–„ โ–„โ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆ โ–ˆโ–ˆโ–ˆโ–„โ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆ โ–€โ–€โ–€โ–€โ–€โ–€โ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–„ โ–ˆโ–€โ–€ โ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆ โ–€โ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆ โ–€ โ–€โ–ˆโ–ˆโ–€ โ–€โ–€
โ€ฆ
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.
๐Ÿง‘โ€๐Ÿš€profilefollowะฝฯ…ะผฮฑฮทwrote:
โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โข€โฃ€โฃ€โ €โ €โข โ ‰โขนโขณโข„โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โ € โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โกคโ ”โกžโ ›โฃตโ €โ €โ ™โก„โขธโ €โขธโ €โกœโ €โ €โ €โ €โ €โข€โกดโ ‰โ ˆโกงโฃ€โฃ€โก€โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โ € โ €โ €โ €โ €โ €โ €โ €โ €โ €โกฐโ ƒโ €โขฐโ €โ ˜โก†โ €โ €โขฐโ ˆโก€โ €โก€โก‡โก‡โ €โ €โ €โกฐโกฑโกโ €โกœโ €โกœโ €โขˆโ †โ ‚โ คโก€โ €โ €โ €โ €โ €โ €โ € โ €โ €โ €โ €โ €โ €โข€โก€โขโ €โข‡โ €โ €โขƒโ €โ ธโก€โ €โ €โก†โก‡โ €โก‡โ โก‡โ €โ €โกฐโขกโกฑโ โกโข€โ Œโข€โขดโ ‹โ €โ €โ €โฃˆโก†โก€โ €โ €โ €โ €โ € โ €โ €โ €โ €โ €โ €โกโ ˆโ นโฃฆโ ˆโข†โ €โ ˆโก†โ €โ ฑโ €โ €โขฐโขโ €โขƒโขธโก‡โ €โข โขโขงโ ƒโกฐโข€โ Žโข โกพโ โ €โ €โก โ Šโก โ ƒโ ˆโฃ„โ €โ €โ €
The essential work of #programmingnotesfollow is building the theory of the problem + solution. Theory then enables creation of working code. In the end, the code is necessary, but it is not sufficient. Theory is indispensable. (cf. Peter Naur, 1985)
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
profilefollowEat, drink, listen to ๐ŸŽถ, & watch the fish. Occasionally cook.wrote:
There is beauty in simplicity. Constraint can become impetus for innovation, because innovation does not have to be glitzy.
๐Ÿ˜ดprofilefollowI really enjoy learning, I really enjoy making. I'm learning to be less guarded.replied toprofilefollowEat, drink, listen to ๐ŸŽถ, & watch the fish. Occasionally cook.:
My favorite innovations in my own work -- and to be honest, I'd prefer to call them "discoveries" -- came from simplification. There's a beautiful moment when a stack of difficult, conflicting ideas collapse into a tighter, simpler structure.
profilefollowEat, drink, listen to ๐ŸŽถ, & watch the fish. Occasionally cook.replied to๐Ÿ˜ดprofilefollowI really enjoy learning, I really enjoy making. I'm learning to be less guarded.:
Enlightenment
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.)
โ€ฆ
โ€ฆ
โ€ฆ
โ€ฆ
profilefollowProgrammer by day and night. Lover of art. Mixing art and programming is the dream.replied to๐Ÿคธprofilefollowcreative technologistGitHubstagas - Overviewstagas has 462 repositories available. Follow their code on GitHub. creator of textlog:
Unfortunately no. Just starting it. Got the proof of concept loading a dir with its sub-dirs then rendering on the GPU in textures silky smooth. 1.7mb executable, but will need to level up to SDL and that will double the size I think.
profilefollowProgrammer by day and night. Lover of art. Mixing art and programming is the dream.replied to๐Ÿ™ˆprofilefollow"Beware those that would deny you access to information, for in their heart they dream themselves your master." โ€” Sid Meyers:
I agree. It is #zilchnotesfollow for now. Will do better next time, but in my defence the text above the text box (when writing a new message, not a reply) says โ€œWhatโ€™s on your mindโ€. :-P
profilefollowa work in progress; i love cats ๐Ÿฑwrote:
Watched Black Bird ep 1. Definitely lived up to the great reviews.
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.
๐Ÿ˜ฌ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.
Built a couple lambdas today to send account verification and onboarding drip emails for folks who sign up for my app but donโ€™t make it all the way through the onboarding flow. Pretty cool to be able to quickly bang out self-contained infra for this instead of having to pay some SaaS vendor.
๐Ÿงœ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
profilefollowNew herewrote:
Error: Provider rejected the request (invalid_request_error, 400): Claude Code 2.1.75 does not support this model; version 2.1.251 or newer is required. Run 'claude update', or update the Claude desktop app, then try again. [request_id: req_011CedKqBRnC6Qr3m6nKEwNN] Iโ€™m not using Claude Code. This is how you drop the ball.
๐Ÿงœprofilefollow(\ (\ ( โ€ข โ€ข) โ”โˆชโˆชโ”โ”โ”โ” Full of mostly true stories, I occasionally write them down. Habit of talking to anyone. Bipolar. Author.wrote:
So, I just got an invite to the new W Social (EU) platform. It requires proper ID authentication - so actual provable humans are on there. Feels good and slightly optimistic. Let's see how it goes. #wsocialnotesfollow
๐Ÿ˜Š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.
๐Ÿฅทprofilefollowwrote:
Two roads diverged in a wood, and I I took the one less traveled by, And that has made all the difference.
profilefollowOld school metallian, hobbyist developer writing things mostly in Rustโ€ฆmostlywrote:
Hell must have frozen over. I just installed Openclaw on my Linux box. I had already cobbled together an agent like thing (pi) that I talked to over Telegram, so I figured, let's give Openclaw 2.0 a try, locked down completely at first, but slowly opened up over time.
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 ๐Ÿซฃ)
profilefollowwrote:
I am a remote worker, and has been for 4 years now. It works great. But the owner of the office I've been renting have sold the building, and the new owner has different visions. I could work from home, but my 3 month daughter is a screamer. I had a great, cheap deal. All alternatives I find is like 3x the price.
๐Ÿ™ˆ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.
profilefollow#Emacsnotesfollow, dev, life, random stuff. the netherlands.wrote:
What did I build with claude yesterday - kanban board for my agents, Hamster Jerob game, imgproxy for thumbs in my photo sharing app, and ghostel-shell-command helper. Today - digital detox day.
๐Ÿ™ˆ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#Emacsnotesfollow, dev, life, random stuff. the netherlands.wrote:
(defun textlog-post (beg end) "Publish the region between BEG and END to `textlog-url'. Interactively, requires an active region. Returns the URL of the new post when the server reports one."
I'm making a Kakoune version of this for sure.
โ€ฆ
โ€ฆ
You have #kakounenotesfollow, there is no need. I tried Emacs out a while ago to see whether it could replace Kakoune (I wanted to draw arbitrary stuff like images, 3D views, etc., in the editor) but honestly, Kakoune makes everything so easy to integrate that it was hard for it to compete.
๐Ÿ˜ŠprofilefollowPresbyter, husband, father, technologist, linguist, musician.wrote:
So much present tense in #ainotesfollow generated prose. Terse, authoritative sentences, without breathing room, without hesitation or qualification. It jumps off the page, and not in a good way.
profilefollowProgrammer by day and night. Lover of art. Mixing art and programming is the dream.replied to๐Ÿ˜ŠprofilefollowPresbyter, husband, father, technologist, linguist, musician.:
What about the lack of density to paragraphs, the length of the sentences, or the confidence and determinism of their direction? Conviction with no limits. So reliably repetitive that you start seeing patterns as if you are looking and reading a record player with some scratches on it. Skips. Squeaks. Repeats. Yet. It gets the job done.
๐Ÿ˜ŠprofilefollowPresbyter, husband, father, technologist, linguist, musician.replied toprofilefollowProgrammer by day and night. Lover of art. Mixing art and programming is the dream.:
Yet. It gets the job done. Here's where we disagree. Using these tools as part of the job, certainly. But if I am to read, discern meaning, analyze choices of diction and structure, consider the context both of the author and the audience, and finally derive value from the written word, then generative #ainotesfollow falls short on many levels. If the "job" is to produce something no one was ever intending to engage with, then we have a more fundamental question about the value of the job.
profilefollowProgrammer by day and night. Lover of art. Mixing art and programming is the dream.replied to๐Ÿ˜ŠprofilefollowPresbyter, husband, father, technologist, linguist, musician.:
Maybe what I messaged read as a disagreement and mentioning that they get the job done was actually not about producing prose (of any quality). I wholeheartedly agreed and still agree with you. Getting the job done was more about producing output - be it some prose, images, videos, software, whatever. They do generate output. It is not to say that the output is meaningful or meaningless. Some souls do enjoy it. Some others - donโ€™t. I did start with a question though.
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.
๐Ÿ˜ด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
profilefollowOld school metallian, hobbyist developer writing things mostly in Rustโ€ฆmostlywrote:
I'm going to attempt to build a take on a board game I loved, from 1989, MBT, by Avalon Hill. Watch me face plant. Starting by trying to understand hex math.
๐Ÿ™ˆ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โ€.
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.
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.)
๐Ÿค”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.
๐Ÿ˜ฌprofilefollowwrote:
my initial google on this topic wasn't very fruitful... are there any harnesses that let switch between Claude and Codex when you have the 20/month plans 'seamlessly'. rough edges are fine but I'd like to maintain memories between harnesses.
๐Ÿฆ›profilefollowwrote:
Well this looks very nice indeed. Just dipping a hoof into the river for now ...
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!
๐Ÿค’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
๐Ÿค’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.
๐Ÿค’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.
๐Ÿค’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.
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).
profilefollowi create thingswrote:
Inspired by two projects of github:schildep I start to explore what can be expressed in Lean and make coding agents implement and prove the implementation at the same time.
profilefollowi create thingscontinued:
The two projects of github:schildep are "3d mesh intersection" and "multipolygon intersection". I can try "Voronoi diagram generation" as a starter.
I'm trying to construct an argument that LLMs are like a chess engine. People still play chess. But somehow this falls short.
๐Ÿฅฐ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
'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
then we grumble amongst ourselves about 'that was my idea,' then carry on.
โข€โก€โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โ € โขปโฃฟโก—โขถโฃคโฃ€โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โฃ€โฃ โฃ„ โ €โขปโฃ‡โ €โ ˆโ ™โ ณโฃฆโฃ€โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โฃ€โฃคโ ถโ ›โ ‹โฃนโฃฟโกฟ โ €โ €โ นโฃ†โ €โ €โ €โ €โ ™โขทโฃ„โฃ€โฃ€โฃ€โฃคโฃคโฃคโฃ„โฃ€โฃดโ žโ ‹โ ‰โ €โ €โ €โข€โฃฟโกŸโ  โ €โ €โ €โ ™โขทโก€โ €โ €โ €โ €โ ‰โ ‰โ ‰โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โฃ โกพโ ‹โ €โ € โ €โ €โ €โ €โ ˆโ ปโกถโ ‚โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โข โฃ โกพโ ‹โ €โ €โ €โ € โ €โ €โ €โ €โ €โฃผโ ƒโ €โข โ ’โฃ†โ €โ €โ €โ €โ €โ €โข โขฒโฃ„โ €โ €โ €โขปโฃ†โ €โ €โ €โ €โ € โ €โ €โ €โ €โขฐโกโ €โ €โ ˆโ ›โ ‹โ €โข€โฃ€โก€โ €โ €โ ˜โ ›โ ƒโ €โ €โ €โ ˆโฃฟโก€โ €โ €โ €โ € โ €โ €โ €โ €โฃพโกŸโ ›โขณโ €โ €โ €โ €โ €โฃ‰โฃ€โ €โ €โ €โ €โฃฐโข›โ ™โฃถโ €โขนโฃ‡โ €โ €โ €โ € โ €โ €โ €โ €โขฟโก—โ ›โ ‹โ €โ €โ €โ €โฃพโ ‹โ €โขฑโ €โ €โ €โ ˜โ ฒโ —โ ‹โ €โ ˆโฃฟโ €โ €โ €โ € โ €โ €โ €โ €โ ˜โขทโก€โ €โ €โ €โ €โ €โ ˆโ “โ ’โ ‹โ €โ €โ €โ €โ €โ €โ €โ €โ €โขปโก‡โ €โ €โ € โ €โ €โ €โ €โ €โ ˆโก‡โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โขธโฃง #ascii_artnotesfollow #memenotesfollow #pikachunotesfollowโ €โ €โ € โ €โ €โ €โ €โ €โ ˆโ ‰โ ‰โ ‰โ ‰โ ‰โ ‰โ ‰โ ‰โ ‰โ ‰โ ‰โ ‰โ ‰โ ‰โ ‰โ ‰โ ‰โ ‰โ ‰โ ‰โ 