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.
@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.
โ€ฆ
@ku๐Ÿค”profilefollowHai I am kureplied to(deleted account):
Good morning to you both ๐ŸŒž
@fastidious๐Ÿ™ˆprofilefollow"Beware those that would deny you access to information, for in their heart they dream themselves your master." โ€” Sid Meyersreplied to@stagas๐Ÿคธprofilefollowcreative technologistGitHubstagas - Overviewstagas has 462 repositories available. Follow their code on GitHub. creator of textlog:
Seeing Hallucinate brought to mind infiniteslop.aiinfiniteslop.aiInfinite Slop by @levelsio + fal.aiAn endless AI-generated TV channel where the chat decides what airs next.. ๐Ÿ˜…
@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:
Yes! I was thinking of doing the same, see &2912
@stagasprofilefollowreplied to@hippoprofilefollow:
ooh maybe I revive hallucinate.site and add this feature but instead of being able to modify everything it would be limited to adding features to the game/world. And itโ€™s the perfect domain, a site thatโ€™s been entirely mostly hallucinated.
.
@personprofilefollowwrote:
szerintem jรณl sikerรผlt a cรญmvรกltoztatรกs a honlapon: a bรถlcsรฉszeti underground majdnem olyan ellensรฉges รฉrzรฉseket vรกlt ki emberekbล‘l, mint a skizofrรฉnia underground, lehet vรกlasztani, ki melyiket utรกlja jobban
I think the title change on the website was a good one: the humanities underground evokes almost as much hostility from people as the schizophrenia underground, you can choose which one you hate more
@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?
@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
@procyonprofilefollowlate is the hour in which this conjuror chooses to appearwrote:
Guess we're doing Halloween stuff on sale everywhere now ๐ŸŽƒ
@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.
@thechelsukprofilefollowCurrently in remission from ME/CFS after 3+ years. Occasional software engineering leader, app developer, blogger, zwifter, and just being online.wrote:
hello, hello.
@gruntprofilefollowI am just a grain of sand on your beach.wrote:
while we wait for this to be true we could add our bits together remember to not sleep forever return when your dreams are through Start with cringy poem, end with cringy pseudocode. At least it comes naturally.
@procyonprofilefollowlate is the hour in which this conjuror chooses to appearwrote:
The rise of postmodern cuisine: "The beverage's photogenic bright green color proved particularly well-suited to social media platforms like Instagram and TikTok, helping it gain viral popularity among wellness enthusiasts and influencers." (Wikipedia, "Matcha") #teanotesfollow #philosophynotesfollow
@cgast๐Ÿ˜Žprofilefollowcurious & creativewrote:
Management says โ€žAI firstโ€œ, everyone hears โ€žHuman secondโ€œ
โ€ฆ
@paratonerprofilefollowreplied to@ku๐Ÿค”profilefollowHai I am ku:
ok too far. I'm SWATing this guy.
@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
@keyboardinterruptprofilefollowLiving by the Zen of Python! keyboardinterrupt.comwrote:
Frustrated with my phone usage again tonight, I uninstalled several pointless and time-consuming apps. Itโ€™s a cycle I repeat every few months. During this cycle, I wasted a lot of time on one of those puzzle-matching games. I'm considering switching to Ubuntu Touch at this point
@amyprofilefollowa work in progress; i love cats ๐Ÿฑwrote:
Watched Black Bird ep 1. Definitely lived up to the great reviews.
@chanux๐Ÿ˜ŒprofilefollowI ain't no nothing!wrote:
Waiting for an original thought to pass me by.
@fastidious๐Ÿ™ˆprofilefollow"Beware those that would deny you access to information, for in their heart they dream themselves your master." โ€” Sid Meyersreplied to@chanux๐Ÿ˜ŒprofilefollowI ain't no nothing!:
Many pass by me. All combined arenโ€™t worth $0.02. ๐Ÿ˜…
@kev๐Ÿงœprofilefollowrunner. making games and software.replied to@chanux๐Ÿ˜ŒprofilefollowI ain't no nothing!:
They only come when you're not waiting for them!
@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.replied to@chanux๐Ÿ˜ŒprofilefollowI ain't no nothing!:
Nourish your heaf with creative thoughts and originality will happen on it's own. And don't be too hard on yourself, there's hardly anything new under the sun, the joy is in discovering things yourself :)
@cfiggprofilefollowwrote:
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)
@honey_ohs๐ŸฅทprofilefollowSoftware engineer. [Reluctant] Salesforce dev. Salesforceโ€™s biggest hater. stephenlf.devstephenlf.devImportant Thingswrote:
Whatโ€™s the difference between a script-kiddy and a real #developernotesfollow? Abstraction. You can program your whole life without learning how to meaningfully abstract problems into simpler pieces that TRULY make the problem easier to understand. Iโ€™m not talking about design patterns or #OOPnotesfollow vs #FPnotesfollow. These tools can help. But to really simplify something for others, you need an intellectual empathy that many simply never figure out.
@plopprofilefollowwrote:
For 30 years, productivity sky-rocketed with the advancement of automation and computing. Meanwhile, a decline in longevity was observed, correlated to sleep depravation. Productivity improvement goes to the owners class' pockets, sleep benefits the workers health.
@plopprofilefollowcontinued:
For 30 years, productivity skyrocketed through automation, yet longevity plummeted as a direct result of sleep deprivation. While these gains accrue to the owner class, sleep remains an undervalued element of the worker's health. We are trading life expectancy for chump change.
โ€ฆ
โ€ฆ
โ€ฆ
@plopprofilefollowreplied to(deleted account):
I am pretty sure confience is what is at work in my case. Did you try something specific to improve in that regard?
@gikkmanprofilefollowwrote:
Went to the summer house to watch the #eclipsenotesfollow but it was cloudy so we missed it. But the kids are asleep so guess I'll light a fire and crack a beer instead. Woe is me!
@kooiprofilefollowcontinued:
Nvm. There's a little bell icon on the top right of the sidebar which let's you switch between project and activity views.
@semperos๐Ÿ˜Š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.
@avioliprofilefollowProgrammer by day and night. Lover of art. Mixing art and programming is the dream.replied to@semperos๐Ÿ˜Š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.
@semperos๐Ÿ˜ŠprofilefollowPresbyter, husband, father, technologist, linguist, musician.replied to@avioliprofilefollowProgrammer 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.
@avioliprofilefollowProgrammer by day and night. Lover of art. Mixing art and programming is the dream.replied to@semperos๐Ÿ˜Š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.
@radiocappy๐Ÿง™profilefollow"The impediment to action advances action, what stands in the way becomes the way." - Marcus Aureliuswrote:
"Think of yourself as dead. You have lived your life. Now, take what's left and live it properly." - Marcus Aurelius #philosophynotesfollow
@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.
@agoose77profilefollowwrote:
I'm really interested to play around with textlog for a bit. I miss the space that once was Twitter and its constraints. Let's see if we find any #NixOSnotesfollow users here ... ;)
@crustyrustaceanprofilefollowOld school metallian, hobbyist developer writing things mostly in Rustโ€ฆmostlywrote:
Having a little difficulty seeing how long this service will exist. People are terrible. Sooner or later it will be found and ruined.
@fastidious๐Ÿ™ˆprofilefollow"Beware those that would deny you access to information, for in their heart they dream themselves your master." โ€” Sid Meyersreplied to@crustyrustaceanprofilefollowOld school metallian, hobbyist developer writing things mostly in Rustโ€ฆmostly:
Yup. I have long change my philosophy on things like these: just live the day. :-)
@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.
@asmund๐Ÿฅทprofilefollowwrote:
Vรฅr konges livsgjerning gรฅr mot slutten, landet samler seg for รฅ ta farvel med en konge som har vรฆrt samlende og god for landet. Mรฅ Gud velsigne hans minne og hans etterfรธlger. #norgenotesfollow #kongharaldnotesfollow
Our king's life's work is coming to an end, the country comes together to say goodbye to a king who has been unifying and good for the country. May God bless his memory and his successor. #norwaynotesfollow #kongharaldnotesfollow
@rfprofilefollowDad, Bookworm, and Bad Coffee Connoisseur. Love: Text Interfaces, Small Circuit Boards and Japan (Showa era).wrote:
Loving this, congratz on the #launchnotesfollow
@wizerd๐Ÿง™profilefollowcomputer man doing computer man things.wrote:
cool platform. found you on ycombinator.
@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.:
me too, but at the same time i'm enjoying getting things done, otherwise i would get lost in details like bikeshedding naming variables and making the code look pretty, and little would be done.
@hotterprofilefollow#Emacsnotesfollow, dev, life, random stuff. the netherlands.wrote:
Lots of slop PRs at $WORK. Trying Claude Tag, works well but token-billed, daily usage over 100โ‚ฌ for three sessions.
โ€ฆ
@crustyrustaceanprofilefollowOld school metallian, hobbyist developer writing things mostly in Rustโ€ฆmostlywrote:
The rho coding harness Iโ€™ve made has come along way and Iโ€™m constantly trying to evolve it, but whenever I go back to pi itโ€™s startling the difference of what a solid computer science background brings.
@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!
@_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.
@crustyrustaceanprofilefollowOld school metallian, hobbyist developer writing things mostly in Rustโ€ฆmostlywrote:
top
I don't see much point in trying to build software at a "higher level", like whole products and services. I'm going to go down low and train myself on the fundamentals. Hopefully in time I'll be able to contribute to the foundational bits. You're right, it does get exhausting. At some point you just want to rebuild everything, which is not possible.
@stagas๐Ÿคธprofilefollowcreative technologistGitHubstagas - Overviewstagas has 462 repositories available. Follow their code on GitHub. creator of textlogreplied to@crustyrustaceanprofilefollowOld school metallian, hobbyist developer writing things mostly in Rustโ€ฆmostly:
NIH syndrome? I am guilty of it too. I love implementing things from scratch, you learn a lot by doing so and you get to own the codebase end-to-end, so no surprises and fighting around othersโ€™ choices. It can get exhausting too though, in the end I succumb to using off-the-shelf components because my primary goals move at a higher level.
โ€ฆ
@unsayprofilefollow#minneapolisnotesfollowreplied to@crustyrustaceanprofilefollowOld school metallian, hobbyist developer writing things mostly in Rustโ€ฆmostly:
I'm going to go down low and train myself on the fundamentals. When I wrote an HTTP sever (albeit HTTP/1.1), I learned how primitive the HTTP protocol its magic became a skill. It is freeing understanding how things work and allows me to choose where to spend time with more intention.
@paratonerprofilefollowreplied to@crustyrustaceanprofilefollowOld school metallian, hobbyist developer writing things mostly in Rustโ€ฆmostly:
Big list of events you've attended! Definitely dump more photos when you find the time. I'm more of a casual Nu-Metal enjoyer myself, but I can also appreciate some of the classics.
@crustyrustaceanprofilefollowOld school metallian, hobbyist developer writing things mostly in Rustโ€ฆmostlyreplied to@paratonerprofilefollow:
It's taken me 5 years to get a photo storage engine off the ground. I've got it now, so I now have to go back through time and get the photos up. AC/DC next Thursday!
@tel๐Ÿ˜ดprofilefollowI really enjoy learning, I really enjoy making. I'm learning to be less guarded.wrote:
I've been building a Markdown variant called Zd that's focused on extensibility and simplicity. I'm curious what you would change about Markdown if you were designing it from scratch, what challenges you face as a user, or what you wish were easier to do when incorporating Markdown into your own projects.
@tel๐Ÿ˜ดprofilefollowI really enjoy learning, I really enjoy making. I'm learning to be less guarded.replied to@stagas๐Ÿคธprofilefollowcreative technologistGitHubstagas - Overviewstagas has 462 repositories available. Follow their code on GitHub. creator of textlog:
Yeah, 100%. That is completely something I am punting on currently. It would be easy to just copy over the solution from (extensions to) Markdown, but it's hard to entirely narrow in on both what tables ought to do and how to make them do it. If you had a magic wand, what would you have them be more like?
@pvarprofilefollowex-perl programmer, linux userwrote:
let's see how arabic letters are rendered here: ุจุณู… ุงู„ู„ู‡ ุงู„ุฑุญู…ู† ุงู„ุฑุญูŠู…
Let's see how Arabic letters are rendered here: ุจุณู… ุงู„ู„ู‡ ุงู„ุฑุญู…ู† ุงู„ุฑุญูŠู…
@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:
I underestimated how many terrible programmers who think C++ is a good choice over C exist on LinkedIn and ended up in some kind of flamewar, my bad.
@nestorthecatprofilefollowgrocer-engineer and polynomial enjoyer. not into reactionaries i attempt to stave off burnout with a healthy dose of dark souls, bloodborne, and friendsreplied to@hotterprofilefollow#Emacsnotesfollow, dev, life, random stuff. the netherlands.:
Beautiful, thanks for this, fellow emacs friend
@asmund๐Ÿฅทprofilefollowwrote:
I was followed by @semperosprofilefollowPresbyter, husband, father, technologist, linguist, musician. here and wonder if this the one of ari fame? If so, Iโ€™m thankful for their work. Using ari โ€œon top ofโ€ goal make some things just a lot easier for me when Iโ€™m exploring some data products I need to understand. #programmingnotesfollow
@semperos๐Ÿ˜ŠprofilefollowPresbyter, husband, father, technologist, linguist, musician.replied to@asmund๐Ÿฅทprofilefollow:
Hi, yes, I develop ari. I'm so glad it's proven useful for you! Any feature requests or changes you'd like to see? I'm curious what bits of ari have made it easier for you to explore data, too. UI or #dataviznotesfollow additions keep tempting me, but I haven't settled on what I want there. If you have thoughts on that front, I welcome them.
@nestorthecatprofilefollowgrocer-engineer and polynomial enjoyer. not into reactionaries i attempt to stave off burnout with a healthy dose of dark souls, bloodborne, and friendswrote:
taking a week off to stave off burnout, catch up on some reading and writing and small projects, and finish Ocarina of Time. also will make soup
@procyonprofilefollowlate is the hour in which this conjuror chooses to appearreplied to@xlayn๐Ÿคชprofilefollow:
You've hit the nail on the head. But here's the mindblowing partโ€”writing isn't just about text on a page. It's not about listing a bunch of facts to memorize. Writing is about human connection. And here's where it gets even more fascinating... [parody, not AI]
@xlayn๐Ÿคชprofilefollowreplied to@procyonprofilefollowlate is the hour in which this conjuror chooses to appear:
Some writing yes, If you want to write a post saying why your company has a position yes; if you are documenting an API, does the average swagger page have a human connection factor? If you are in X/FB, is any of your followers a "human connection"?
@xlayn๐Ÿคชprofilefollowcontinued:
Then, in some spaces, say big corp communications, the terse, direct communication is desired, for example the quarter earning communication? What about software?, what part of your browser gives you the "human connection"?
@procyonprofilefollowlate is the hour in which this conjuror chooses to appearreplied to@xlayn๐Ÿคชprofilefollow:
If writing (incl X/FB posts) is meant to convey "some human being did/saw/thought this and found it worth writing about", then AI undermines human connection and will annoy people. API docs, earnings reports, &c never conveyed that to begin with, so nobody will care about AI use.
@blhprofilefollowwrote:
Do you walk your neighborhood? Do you sit on your front porch and say hello to passersby?
@miralgjprofilefollowjack of all trades linux sysadminwrote:
The more I use Terraform the more I don't like it. Can I just get the option to track state with Ansible?
@jgprofilefollowNew herereplied to@miralgjprofilefollowjack of all trades linux sysadmin:
Say more. I've been using it this year "at scale" and it sucks in the way that everything sucks when the whole company starts using it for everything. I haven't used Ansible in over a decade, but am curious what you like about it better.
@miralgjprofilefollowjack of all trades linux sysadminreplied to@jgprofilefollowNew here:
Ansible just melds with my way of thinking better. I have a really hard time wrapping my head around nested loops in HCL and the overall "ugliness" of the language. Plus, I kind of like being in control of the order things are created.
@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.
@deallocprofilefollowwrote:
It's not clear, based on personal experience, how long - if it all - the software development field will value devs who actually enjoy the work. Most people I know are producing mostly AI work and there's an obvious skill decline that's resulted from it. 1/?
@deallocprofilefollowcontinued:
But does it matter if your boss doesn't care? Or if their boss doesn't care? If the paychecks keep coming who cares? What's the point of choosing the mountain if the "joy" just means more hours on screen that could have been spent elsewhere? 2/?
โ€ฆ
@deallocprofilefollowcontinued:
Bosses and their bosses care more about tickets moved and LoC written than quality or knowledgeable employees. 4/4
@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).
@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.
@sterpicoprofilefollowwrote:
It is evident that the use of AI in the workplace has had an immense impact on the awareness and mental capabilities of knowledge workers
@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.
@stagas๐Ÿคธprofilefollowcreative technologistGitHubstagas - Overviewstagas has 462 repositories available. Follow their code on GitHub. creator of textlogcontinued:
It didnโ€™t work out, we found competition offering the same service for free so the #ideanotesfollow fell apart. Need to find something else to do as a side project to textlog. ๐Ÿ˜• Thinking of a code editor thatโ€™s focused on the new agentic workflows, so you have it on the side regardless of your agent tools and it monitors the git diff and offers a nice panorama view. Iโ€™ve done an extension for VSCode similar to this idea.
@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:
Good outcome! Better to bail early and avoid toiling on a doomed idea. I'm always afraid of this ๐Ÿ˜…
@gcardinal๐Ÿง™profilefollowreplied to@stagas๐Ÿคธprofilefollowcreative technologistGitHubstagas - Overviewstagas has 462 repositories available. Follow their code on GitHub. creator of textlog:
You might want to check out getness.devNessNess โ€” run a team of agentsRun ten Claudes at once without losing your mind. A native app for managing parallel Claude Code and Codex sessions across git worktrees.. Not exactly what you're speaking of, but the idea sounds similar.
@kev๐Ÿงœprofilefollowrunner. making games and software.replied to@kwubprofilefollowis fighting the urge to sleep:
What you playing? My recent #gamenotesfollow was Mina the Hollowerโ€”intricate, dense, demanding. Bangers on the soundtrack. Good stuff.
@carbonwriter๐Ÿงœprofilefollow(\ (\ ( โ€ข โ€ข) โ”โˆชโˆชโ”โ”โ”โ” Full of mostly true stories, I occasionally write them down. Habit of talking to anyone. Bipolar. Author.wrote:
(\ (\ ( โ€ข โ€ข) โ”โˆชโˆชโ”โ”โ”โ” #ascii_artnotesfollow #bunnynotesfollow
@pcprofilefollowwrote:
When I was 10, I thought I'd be a scientist I wanted to tinker in a lab, doing something with beakers and bunsen burners Making a difference. As an adult, I sit in meetings and discuss who to fire next I tinker with spreadsheets, doing something with LLMs and JIRA Be enthusiastic #poemnotesfollow #aifearnotesfollow
@sodapopcanprofilefollowMillenial/Xenial who used to be really excited about programming.replied to@pcprofilefollow:
As young kid I dreamed of working with reel-to-reel machines Cutting/splicing tape, happy accidents As a teen I couldn't afford reel-to-reel but got decent with multi-track cassettes Everyone was telling me digital was The Way (tm) In my 30s, I finally learned how to use a DAW properly In my 40s, I'm back to playing around with multi-tracks cassettes There is no money in it, but I'm enthusiastic as I can be (this is not so much as direct response as simply a response) #musicnotesfollow #aifearnotesfollow