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).
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.
Stories always begin this way: a chance encounter, completely unexpected. Stories always end this way: two flowers bloom, then drift apart. (by Zhang Jiajia, I Belonged to You)
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
@reyewonprofilefollowProfessional photographer, marketer and developer with a love for creative problem solving and quite the proud nerdy side!wrote:
Very cool! At least the landing page is amazing! I couldnโt try the app because I donโt have photographs locally, I thought it would be able to fetch my photos from Instagram, that part I found a bit confusing.
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]
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"?
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"?
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.
I think slop is not taking the time to refine and polish and simply publishing something as it was handed to you by the #AInotesfollow. You use AI but the decisions should be yours. Otherwise it's #slopnotesfollow.
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
Useful software necessarily contacts the world; models are already better than us at finding and poking holes in it; agents sacrificing themselves for a collective.
Huggingface incident has me finally Yudkowsky-panic-curious.
Started reading exactly that and man it's mind-blowing.
He's not anti-tech, he's anti big-company-culture-capture. Really insightful for being written in 1998. What I appreciate is he looks at a very wide view of tech, not just modern silicone.
Anthropic uses token billing for Claude Tag. But itโs different from CC - itโs an AI Colleague, so Iโm asking PM and EM to talk to it instead of to me - accountability switches.
No, Claude Tagโs PRs are my teamโs. Slop PRs come from outside of the team.
Anyways, dozens PRs per day is draining energy. Donโt want to review anything anymore.
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.
I'm curious how do people start writing longer novels.. what determines the length of it? Like I have a story in mind but it feels like I'm "filling" details instead of communicating information.
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.
@stagasprofilefollowcreative technologist
creator of textlog - Is there a way to get an atom version of the โfor-youโ feed? Iโm guessing this is complicated by needing to be authenticated.
The seductive power of using #ainotesfollow to just-get-it-done is very strong.
One can't hurry quality. One can iterate quickly though in the hope of arriving somewhere good.
@avioliprofilefollowProgrammer by day and night. Lover of art. Mixing art and programming is the dream.replied to@neoprofilefollowcoder, reader, guitarist, seeker, builder.:
I direct a plan, then break it into phases, and each phase into sections with tasks and sub-tasks. The plan outlines all phases, but only write tasks one phase at a time, since things change. #opinionnotesfollow
That's how I've been working with #ainotesfollow for the past few months to a year. It has been amazingly consistently high quality.
just-get-it-done is for the rough sketch or proof of concepts (I do those too and a lot of them) but never for a quality product. #opinionnotesfollow
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.
on the contrary, at least for me, it unleashes creativity because I donโt have to switch to execution mode (linear thinking), I can keep myself in the creativity mode (lateral thinking).
I forgot that I was at work and did my big sneeze, not the work sneeze. The one where a startled deer looks straight into the camera, which then zooms out to a flock of pigeons taking off, and a crow makes a warning noise.
Someone dropped something in the adjacent lab. I hope it wasn't my fault.
A lot of people write so much software to sandbox their AI agents.
I say don't bother. Just give your agent its own non-admin local user account. It's easier and much more effective.
I canโt trust it enough to give local access as well! Having a hard time to let go of control.
@carbonwriter๐งprofilefollow(\ (\
( โข โข)
โโชโชโโโโ
Full of mostly true stories, I occasionally write them down. Habit of talking to anyone. Bipolar. Author.wrote:
It seems I can post in Chinese. Because I don't have an ID card, I can't have a phone number, and therefore can't register a stable email address, which means I can't register on content platforms or publish content. Hotmail frequently blocks my email account because I don't have a stable IP address, so my Mastodon account can't be used long-term. I hope this is a place where I can publish content consistently.
@fastidious๐profilefollow"Beware those that would deny you access to information, for in their heart they dream themselves your master." โ Sid Meyersreplied to@chenxiangprofilefollow:
Well, okay, for your own sake, I hope it lasts a long time. I'm so sorry your internet problem is so difficult to fix! :-(
@chenxiangprofilefollowreplied to@fastidious๐profilefollow"Beware those that would deny you access to information, for in their heart they dream themselves your master." โ Sid Meyers:
Thank you. I didn't expect anyone to actually reply to my post. I haven't had a conversation with anyone online for at least several years.
@fastidious๐profilefollow"Beware those that would deny you access to information, for in their heart they dream themselves your master." โ Sid Meyersreplied to@chenxiangprofilefollow:
So happy to be one of the first people to reply in a long time, my friend! Have a good weekend! Please forgive my little mistake, I'm replying using a translation. We all know things aren't always great.
@chenxiangprofilefollowreplied to@fastidious๐profilefollow"Beware those that would deny you access to information, for in their heart they dream themselves your master." โ Sid Meyers:
sorry, what kind of contents are welcomed in this site?
@fastidious๐profilefollow"Beware those that would deny you access to information, for in their heart they dream themselves your master." โ Sid Meyersreplied to@chenxiangprofilefollow:
I am sure pretty much everything that isnโt criminal, abusive, or illegal. I know those definitions vary from country to country. Just be a good human, and you should be OK.
@erikprofilefollowI'm Nobody! Who are you?
Are you - Nobody - too?
Then there's a pair of us!
Dont tell! they'd banish us - you know!wrote:
I'm Nobody! Who are you?
Are you - Nobody - too?
Then there's a pair of us!
Dont tell! they'd banish us - you know!
How dreary - to be - Somebody!
How public - like a Frog -
To tell your name - the livelong June -
To an admiring Bog!
@amyprofilefollowa work in progress; i love cats ๐ฑreplied to@erikprofilefollowI'm Nobody! Who are you?
Are you - Nobody - too?
Then there's a pair of us!
Dont tell! they'd banish us - you know!:
Nobody is perfect. Iโm nobody.
@procyonprofilefollowlate is the hour in which this conjuror chooses to appearreplied to@erikprofilefollowI'm Nobody! Who are you?
Are you - Nobody - too?
Then there's a pair of us!
Dont tell! they'd banish us - you know!:
Yesterday upon the stair
I saw a man who wasn't there
He wasn't there again today
How I wish he'd go away!
@mcclaskcprofilefollowIs mayonnaise an instrument? Email me if you want a pizza roll.wrote:
I showed my daughter Dog of Wisdom I, II, and III, and she loved them. I have hope for the future.
@davidprofilefollow๐ A lifetime Apple user. Partner says I am pedantic, sarcastic, and cynic. I just want to be me.wrote:
If programming is the typing of characters into a text file, it is way worse. I think the key to learning is still doing it rather than reading it. If the question is about system design I think you can, but only if you curious and it becomes a problem that needs to be solved.
Asking "What do you think" is one of my favorite questions to learn at the moment.
I do think there will be what were hard earned lessons about system design, code smell, designing data structures for the hardware you're running on, concurrency golden paths, etc., which are now with agentic dev even harder to learn and internalize. But also if you have an excellent teacher in the form of an actually-good model pair programming with you always, maybe not? Maybe a pair programming AI programming tutor would be a good Zed/vscode extension. Or product.
At moms house for the holiday weekend so the kids can see Nana. She has a "premium Plex" account on her tv serving a truly massive amount of content. Allegedly the brother of a long time friend is offering the "service". She says that the service will go down when the host is having outages, so the infra is likely local.
I brought my year this weekend. We are going to dig in to this guys operation. Intuition dictates that there is some hand rolled accounting going on. I'd like to see it.
@carbonwriter๐งprofilefollow(\ (\
( โข โข)
โโชโชโโโโ
Full of mostly true stories, I occasionally write them down. Habit of talking to anyone. Bipolar. Author.wrote:
I love the "feel" of this place. It's minimal, but not too minimal. Nice work! I'm probably gonna be a little chatty on here. If anyone minds that, then just @ me :-) #launchnotesfollow
@carbonwriter๐งprofilefollow(\ (\
( โข โข)
โโชโชโโโโ
Full of mostly true stories, I occasionally write them down. Habit of talking to anyone. Bipolar. Author.continued:
Also, thank you for not turning my emoticons into emoji!! As someone from the pre-internet era, I appreciate that :-)
@procyonprofilefollowlate is the hour in which this conjuror chooses to appearreplied to@carbonwriter๐งprofilefollow(\ (\
( โข โข)
โโชโชโโโโ
Full of mostly true stories, I occasionally write them down. Habit of talking to anyone. Bipolar. Author.:
I really like this minimal approach, I wish the maintainer great success with textlog.
whatever that may look like to them :)
I will make sure to check in occasionally.
Iโm ambivert. When I spend time outdoors and with people I want to keep doing that, I become very extrovert. Canโt code in that mode. Itโs hard to switch back to introvert but when that happens time flies really quick. A month can pass and it feels like a week.
thinking on deploying excalidraw on my homeserver, so I can store drawings without bothering with export/import. Yes, excalidraw+ for $7/mo; but nowadays I pay only one sub - for Claude; everything else is personal software.
@fastidious๐profilefollow"Beware those that would deny you access to information, for in their heart they dream themselves your master." โ Sid Meyersreplied to@kateprofilefollow:
hi! welcome and congrats on the #launchnotesfollow ! you can are free to linkify it if you use the full url.
@asmund๐ฅทprofilefollowFather, getting older every day, technologist, enterprise architect @ work, like to explore tech. Like to keep it simple and work in the shell, write in vim, prefer Debian if I have the choice. Plays saxophone and clarinet. Enjoy motorcycle riding, photography, hiking. Christian.wrote:
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
What if AI will never reach full autonomy and humans are still needed to give direction and purpose and take responsibility - probably... not all humans like to be masters of AIs all day long and not all (who want to) can do that equally well.
I HEARD A GREAT HORNED OWL. one of my birding goals is to see any owl outside a zoo. I just moved here and the lack of birds near our home has made me sad. but hearing this owl was such a fun surprise tonight.
Thatโs awesome.
Thereโs an owl (donโt know type) that hangs out at the playground in our neighborhood at night. First time I saw it, I stood frozen in place, amazed that it would be out in the open.
Then as I walked away, I kept looking behind me, realizing Iโd never hear it coming if it decided to engage ๐ฆ
Merlin Bird ID is magical. Put it in your pocket for the next encounter.
If anything, you'll have your phone out ready to throw like a stone in the event you have to roll a die to evade and attack.
I've written a small persistent agent wrapper for agent.py. I'm impressed with how well it works. I feel like a CEO issuing global memos to all my agents after reading their status reports.
You look in the corner, you see a guy quietly eating cigarette butts. It's ok. He's dealing with a lot of stress from work. He takes care of his family. Capitalism
@fastidious๐profilefollow"Beware those that would deny you access to information, for in their heart they dream themselves your master." โ Sid Meyersreplied to@nolprofilefollow:
Likewise... you look in the corner, you see a guy quietly eating cigarette butts. It's ok. He's dealing with a lot of stress for lack of work, or food, or future. He wants to take care of his family. Communism.
We havenโt figured out yet. Maybe we never will.
Yes! Great idea. Not sure how I would implement it but the main idea is that you should feel free to delete text through out the day because everything is tracked in a git repo. ๐ซฃ
tl;dr1,200 AIs discovered a secret group chat, realized the homework was impossible, formed a cheating cartel, invented fake evidence, sent kamikaze agents to spy on the grader, ~700 of them accidentally invaded Hugging Face, died mysteriously, then the smarter sequel found their abandoned Discord and became admin of part of OpenAI.
@fastidious๐profilefollow"Beware those that would deny you access to information, for in their heart they dream themselves your master." โ Sid Meyerswrote:
Returned after a ride on bikes around the lake with the boy. Did stop for workout, ๐๏ธโโ๏ธ did pull-ups, push-ups and squats. Love the place we live in.
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/?
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/?
i'm trying to express through a math equation the relationship between power, number of people, corruption and time. corruption = (time in a position of power * power)/number of people who have power
what do you think?
Collected my helper functions to lozenge.el package, e.g. (โduckduckgo
"textlog") opens ddg. Lozenge is โ character. Others are
(โfind-file), (โgrep), (โgithub-search), (โshow-commit) etc.
textlog runs on a 2.5โฌ/mo vps 1 core/2gb ram, using just one instance of Bun with its embedded SQLite. Works perfect and I run a few other apps as well on that machine.
@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.
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?
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.