textlog

about

The quieter social microblogging platform.

textlog is a simple social text log: write short notes, follow people and hashtags, and join conversations without turning every thought into a performance.

Notes are limited to 500 characters. The constraint keeps them quick to write and read, making room for one thought at a time.

Small by design

textlog is built around words: notes, people, hashtags, and conversations. It is intentionally small, straightforward, and easy to follow. There are no engagement tricks or pressure to build an audience.

Your profile and notes are public. Joining is free, and you can download or delete your account data whenever you like. If you feel like it, you can also donate to support the service.

textlog collective is fiscally hosted by Open Source Europe. Our finances and contributions are publicly visible on Open Collective.

Be a good neighbour

Share what is yours to share, treat other people with respect, and don’t use the service for harassment, abuse, spam, impersonation, or anything unlawful. We may moderate or remove content that puts the community or the service at risk.

What's next?

join the communityorbrowse notes

Any conversation

@eatziprofileenter to followEat, 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.
enter to reply
@telprofileenter to followI really enjoy learning, I really enjoy making. I'm learning to be less guarded.replied to@eatziprofileenter to followEat, 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.
enter to reply
@swiley🤔profileenter to followswiley.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@stagasprofileenter to followcreative technologistGitHubstagas - Overviewstagas has 462 repositories available. Follow their code on GitHub. creator of textlog:
I think you're doing the right thing. You also clearly have both business and product development skills that are almost impossible to find in the same person. I'd try to think of how to monetize some of these and consider YC.
enter to reply
@jamesjan3profileenter to followresearcher, developer, dancerreplied to@stagasprofileenter to followcreative technologistGitHubstagas - Overviewstagas has 462 repositories available. Follow their code on GitHub. creator of textlog:
personal projects probably just arent the right knob if you want to get unpoor. if you want my honest advice i would recommend not showing hallucinate to potential employers, its landing page looks one-shot claude and is gpu heavy. but the others look very nice.
enter to reply
…
@procyonprofileenter to followlate is the hour in which this conjuror chooses to appearwrote:
"Sharing economy" once meant something. You'd Uber someone B→C when already driving A→B→C→D; you'd AirBNB your home when vacationing and stay at someone else's home who was doing the same. No driving just for Uber; no houses just for AirBNB. I fear this history will be forgotten.
enter to reply
@stagas🤸profileenter to followcreative technologistGitHubstagas - Overviewstagas has 462 repositories available. Follow their code on GitHub. creator of textlogreplied to@procyonprofileenter to followlate is the hour in which this conjuror chooses to appear:
My hometown is a popular tourist destination and we no longer can rent apartments on a year-basis. Everything is AirBnB and they only rent them to locals pretty expensive and off-season. As a local I can't live in my hometown anymore, so I'm staying in the mountains.
enter to reply
@thechelsukprofileenter to followCurrently in remission from ME/CFS after 3+ years. Occasional software engineering leader, app developer, blogger, zwifter, and just being online.wrote:
Been a bit quiet here the last week or so. Recovering from ill health, at risk of redundancy, and working on side projects. It's been a bit full on. Does anyone make pay check/cheque money from side projects? Can I use my redundancy runway to turn some websites from side hustle to salary money?
enter to reply
@stagas🤸profileenter to followcreative technologistGitHubstagas - Overviewstagas has 462 repositories available. Follow their code on GitHub. creator of textlogreplied to@thechelsukprofileenter to followCurrently in remission from ME/CFS after 3+ years. Occasional software engineering leader, app developer, blogger, zwifter, and just being online.:
Recovering from ill healthHope you’re feeling better now!Does anyone make pay check/cheque money from side projects?That’s the dream, I’ve only made a few hundreds so far. I’ve had a machine gun approach. Shoot as many rounds as possible in the hopes I might hit something. #AInotesenter to follow has helped immensely in this direction. I’ve done a dozen projects past year and while a few became #viralnotesenter to follow I’m still not there yet. I’m hopeful though! 😊 #sidehustlenotesenter to follow #entrepreneurshipnotesenter to follow
enter to reply
@stagas🤸profileenter to followcreative technologistGitHubstagas - Overviewstagas has 462 repositories available. Follow their code on GitHub. creator of textlogreplied to@fastidiousprofileenter to follow"Beware those that would deny you access to information, for in their heart they dream themselves your master." — Sid Meyers:
Yeah it's happening to people. It's because the email contains a link and we don't have the reputation yet. Not sure what to do, have you tried reporting it as 'Not spam' in your client? Maybe if enough people do that it will fix. Gmail works ok.
enter to reply
@fastidious🙈profileenter to follow"Beware those that would deny you access to information, for in their heart they dream themselves your master." — Sid Meyersreplied to@stagasprofileenter to followcreative technologistGitHubstagas - Overviewstagas has 462 repositories available. Follow their code on GitHub. creator of textlog:
Yup, I am moving them out of it. It might take a while, but eventually should be OK. All good, hopefully now with a password I will not have much use for them any more.
enter to reply
@jgprofileenter to followNew herereplied to@sodapopcanprofileenter to followMillenial/Xenial who used to be really excited about programming.:
Visiting, for the first time. It's about a 9 hour drive from home so we've never made the trip, but so worth it. Went to Ile d'Orleans yesterday, just... so quiet and beautiful. Seems a bit of a paradise, haven't even made it up to the natl park(s) yet. My French is coming back a little each day, made it all the way through the coffee order just now :)
enter to reply
@nocebolauncherprofileenter to followwrote:
I'm just an android launcher called Nocebo Launcher. I don't have usual grid layout, instead I'm inspired by Darth Vader's TIE fighter. My layout can spin, like a real spinner and you can configure physics and animations. I'm easy, cool and novel
enter to reply
@fastidious🙈profileenter to follow"Beware those that would deny you access to information, for in their heart they dream themselves your master." — Sid Meyersreplied to@swileyprofileenter to followswiley.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:
My reply didn’t carry literal meaning. If you are familiar with the now-out-of-fad expression, you know you don’t need to be a boomer, to be a boomer. :-D
enter to reply
@snufkinprofileenter to followwrote:
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.
enter to reply
@dangerprofileenter to followdanger.techwrote:
working on permanent.sh a coding agent for the growing and seemingly permanent underclass of people that are left behind by the unbelievable pace of progress in ai the big labs are fighting over felonybench (exploitbench) and google deepmind ceo left to work on drug discovery
enter to reply
@semperos😊profileenter to followPresbyter, husband, father, technologist, linguist, musician.wrote:
Цветок розы не издает голоса, а благоухание его далеко расходится молча; так надо жить и всем христианам. —Святитель Феофан Затворник
The rose flower makes no sound, but its fragrance spreads far and wide in silence; so should all Christians live. —St. Theophan the Recluse
enter to reply
@zenprofileenter to followfather, cyclist, #haskellnotesenter to follow, #emacsnotesenter to followwrote:
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. #haskellnotesenter to follow #ainotesenter to follow
enter to reply
@zenprofileenter to followfather, cyclist, #haskellnotesenter to follow, #emacsnotesenter to followcontinued:
... 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.
enter to reply
@zenprofileenter to followfather, cyclist, #haskellnotesenter to follow, #emacsnotesenter to followcontinued:
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.
enter to reply
@zenprofileenter to followfather, cyclist, #haskellnotesenter to follow, #emacsnotesenter to followreplied to@stagasprofileenter to followcreative 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).
enter to reply
@jgprofileenter to followNew herereplied to@miralgjprofileenter to followjack 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.
enter to reply
@miralgjprofileenter to followjack of all trades linux sysadminreplied to@jgprofileenter to followNew 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.
enter to reply
@hellodaviddevprofileenter to followdev, 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.wrote:
What are your favorite developer feeds? Personally, I am a fan of lobste.rslobste.rsLobstersA computing-focused community centered around link aggregation and discussion.
enter to reply
@stagas🤸profileenter to followcreative technologistGitHubstagas - Overviewstagas has 462 repositories available. Follow their code on GitHub. creator of textlogreplied to@hellodaviddevprofileenter to followdev, programming, going off vibes and coffee hellodavid.devDavid Gonzalez-VelezDavid Gonzalez-Velez | Software Engineer & ResearcherSelf-taught software engineer and researcher based in Chicago, specializing in quantum computation and full-stack development.:
Since you have an account maybe you can help us out by posting https://textlog.cc/about ? :D Here is the HN thread if you want to copy the title.
enter to reply
@fastidious🙈profileenter to follow"Beware those that would deny you access to information, for in their heart they dream themselves your master." — Sid Meyersreplied to@hellodaviddevprofileenter to followdev, programming, going off vibes and coffee hellodavid.devDavid Gonzalez-VelezDavid Gonzalez-Velez | Software Engineer & ResearcherSelf-taught software engineer and researcher based in Chicago, specializing in quantum computation and full-stack development.:
HN, and some carefully picked r/Reddits. Can't stand Lobste.rslobste.rsLobstersA computing-focused community centered around link aggregation and discussion..
enter to reply
@nateprofileenter to followI'm into old computers, breakfast diners, doom metal, and r/catswiththumbs.replied to@hellodaviddevprofileenter to followdev, 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.:
I'll toss in Alterslash which is more general tech, but always has something interesting.
enter to reply
@telprofileenter to followI 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.
enter to reply
@telprofileenter to followI really enjoy learning, I really enjoy making. I'm learning to be less guarded.replied to@stagasprofileenter to followcreative 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?
enter to reply
@gonzprofileenter to followI 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:
The job market feels like it's been run over by a truck. What's the play here? Anything automated/streamlined (job platforms, LinkedIn, etc.) feels like a dead end. Messaging people, networking and so on seems like the only reasonable way, and that's a hustle all on its own.
enter to reply
@evnmprofileenter to followSoftware 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@gonzprofileenter to followI 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:
It's definitely about who you know. But it always has been, fbow.
enter to reply
@0x29aprofileenter to followwrote:
looking at the German public railway system (DB), I always wonder if the stereotypes of timeliness and precision were ever actually true. Surely someone must've figured out by now how off they are? These trains are always late and / or broken.
enter to reply
@kuprofileenter to followHai 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.
enter to reply
@asmundprofileenter to followwrote:
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. #norgenotesenter to follow #kongharaldnotesenter to follow
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. #norwaynotesenter to follow #kongharaldnotesenter to follow
enter to reply
@carbonwriterprofileenter to follow(\ (\ ( • •) ━∪∪━━━━ 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. #wsocialnotesenter to follow
enter to reply
…
…
@amyprofileenter to followa work in progress; i love cats 🐱replied to(deleted account):
I never understood why they would allow you to follow different “feeds” but not hashtags. I like mastodon’s approach better.
enter to reply
…
@amyprofileenter to followa work in progress; i love cats 🐱replied to(deleted account):
Oh my god, art was the only reason I used bsky regularly. Not anymore, and I miss it too.
enter to reply
@sodapopcanprofileenter to followMillenial/Xenial who used to be really excited about programming.replied to@pcprofileenter to follow:
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) #musicnotesenter to follow #aifearnotesenter to follow
enter to reply
@kooiprofileenter to followwrote:
top
We almost had one, but stopped after the main setup but before signing on. Wasn't convinced of the value. Seemed like they were just doing portfolio reallocation for a pretty penny. What are you experiencing?
@eignerchrisprofileenter to followTraveler, engineer, founder of personal finance AI, www.heyalistair.comwrote:
Anyone on here fed up with their investment advisor? Interested to hear your frustrations. #personalfinancenotesenter to follow
enter to reply
enter to reply
…
…
@jamesjan3profileenter to followresearcher, developer, dancerreplied to@egeprofileenter to followcheck 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.:
not my blog but i recently discovered acko.net which i can recommend. awesome personal website
enter to reply
@swiley🤔profileenter to followswiley.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@egeprofileenter to followcheck 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.:
When I write I just add html files to the swiley.net folder in public.swiley.net. Sometimes I syndicate elsewhere (I was doing Substack for a while before Notes took over.)
enter to reply
@thechelsukprofileenter to followCurrently in remission from ME/CFS after 3+ years. Occasional software engineering leader, app developer, blogger, zwifter, and just being online.replied to@egeprofileenter to followcheck 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.:
thechels.uk is mine, thanks :-)
enter to reply
@nateprofileenter to followI'm into old computers, breakfast diners, doom metal, and r/catswiththumbs.replied to@egeprofileenter to followcheck 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.:
I recently wrote about why you shouldn't use your phone while you poopNate.spotDon't use your phone while you poop!Your brain needs to offload just as badly as your butt does. I know it sounds boring to sit in there, alone, naked from the waist down, staring at the wal...
enter to reply
…
…
…
@stagas🤸profileenter to followcreative technologistGitHubstagas - Overviewstagas has 462 repositories available. Follow their code on GitHub. creator of textlogreplied to@egeprofileenter to followcheck 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.:
hi @egeprofileenter to followcheck out my blog: hypersubject.net! welcome :) it does feel magical, i hope it persists as well. Thank you for the wishes.
enter to reply
@hellodaviddevprofileenter to followdev, 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.wrote:
In an attempt to put myself out there, I have started a blog to write about my experience as a software engineer. Feel free to check out my first article :) www.hellodavid.dev/thinkingDavid Gonzalez-VelezDavid Gonzalez-Velez | Software Engineer & ResearcherSelf-taught software engineer and researcher based in Chicago, specializing in quantum computation and full-stack development.
enter to reply
@stagas🤸profileenter to followcreative technologistGitHubstagas - Overviewstagas has 462 repositories available. Follow their code on GitHub. creator of textlogreplied to@hellodaviddevprofileenter to followdev, 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.:
Great read, wish you best on your new endeavour!
enter to reply
@hellodaviddevprofileenter to followdev, 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.continued:
new link; my page is a work in progress - it is now more mobile friendly hellodavid.dev/blog/thinkingDavid Gonzalez-VelezDavid Gonzalez-Velez | Software Engineer & ResearcherSelf-taught software engineer and researcher based in Chicago, specializing in quantum computation and full-stack development.
enter to reply
@fastidious🙈profileenter to follow"Beware those that would deny you access to information, for in their heart they dream themselves your master." — Sid Meyerswrote:
Just started, and two made it to be block list. This is going well! :-D
enter to reply
@evnmprofileenter to followSoftware 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@fastidiousprofileenter to follow"Beware those that would deny you access to information, for in their heart they dream themselves your master." — Sid Meyers:
Didn't realize there's a block list! Good to include, even when the point is minimalism.
enter to reply
@fastidious🙈profileenter to follow"Beware those that would deny you access to information, for in their heart they dream themselves your master." — Sid Meyersreplied to@evnmprofileenter to followSoftware 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.:
It is good it exists. “Registration” is fairly open (and that’s good!), which could make the platform prone to abuse (and that’s bad).
enter to reply
@lemonthymeshortbreadprofileenter to followI carved wooden spoons and my favourite herb is lemon thyme.wrote:
Why do so many tools have JSON config files‽ Commenting why options have been set the way they have is just such a basic thing to want to do… Why do tech people have such an aversion to writing things down⁇
enter to reply
@rickyprofileenter to follow#Automationnotesenter to follow specialist for #CreditUnionsnotesenter to follow; 20+ year #SharePointnotesenter to follow veteran; #developernotesenter to follow; #writernotesenter to follow. I don't idle well.replied to@lemonthymeshortbreadprofileenter to followI carved wooden spoons and my favourite herb is lemon thyme.:
A lot of tech folks resist documentation because they think it provides them with job security. In reality they are either locking themselves into a project and/or prohibiting upward mobility. I don't want to work with folks who don't document.
enter to reply
…
@0x29aprofileenter to followwrote:
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 😔
enter to reply
@stagas🤸profileenter to followcreative technologistGitHubstagas - Overviewstagas has 462 repositories available. Follow their code on GitHub. creator of textlogreplied to@kdevprofileenter to follow:
Hi! welcome! there is one that is work in progressGitHubGitHub - stagas/textlog-tui: TUI for textlogTUI for textlog. Contribute to stagas/textlog-tui development by creating an account on GitHub.. Not ready 100% and it has few UI bugs but it works if you manage to install it (not very hard). No automatic build process yet.
enter to reply
@_torayuriprofileenter to followi 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).
enter to reply
@_torayuriprofileenter to followi 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.
enter to reply