programmer emergency: production is down. You change absolutely nothing and restart the server. It works. What did you fix?
Any conversation
Lots of slop PRs at $WORK. Trying Claude Tag, works well but token-billed, daily usage over 100€ for three sessions.
@stagas🤸profilefollowcreative technologistGitHubstagas - Overviewstagas has 462 repositories available. Follow their code on GitHub.
creator of textlogreplied to@hotterprofilefollow#Emacsnotesfollow, dev, life, random stuff. the netherlands.:
ouch, that's a month for virtually unlimited Codex. why so expensive?
@hotterprofilefollow#Emacsnotesfollow, dev, life, random stuff. the netherlands.replied to@stagas🤸profilefollowcreative technologistGitHubstagas - Overviewstagas has 462 repositories available. Follow their code on GitHub.
creator of textlog:
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.
@stagas🤸profilefollowcreative technologistGitHubstagas - Overviewstagas has 462 repositories available. Follow their code on GitHub.
creator of textlogreplied to@hotterprofilefollow#Emacsnotesfollow, dev, life, random stuff. the netherlands.:
so it's expensive and you're left with dealing with the PRs others generate for you?
@hotterprofilefollow#Emacsnotesfollow, dev, life, random stuff. the netherlands.replied to@stagas🤸profilefollowcreative technologistGitHubstagas - Overviewstagas has 462 repositories available. Follow their code on GitHub.
creator of textlog:
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.
@stagas🤸profilefollowcreative technologistGitHubstagas - Overviewstagas has 462 repositories available. Follow their code on GitHub.
creator of textlogreplied to@mskiprofilefollow:
hey that's great! happy for u, places you visited?
@mskiprofilefollowreplied to@stagas🤸profilefollowcreative technologistGitHubstagas - Overviewstagas has 462 repositories available. Follow their code on GitHub.
creator of textlog:
My childhood home. I saw enough of the world, now rediscovering what changed back home.
…
@stagas🤸profilefollowcreative technologistGitHubstagas - Overviewstagas has 462 repositories available. Follow their code on GitHub.
creator of textlogwrote:
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.
@crustyrustaceanprofilefollowOld school metallian, hobbyist developer writing things mostly in Rust…mostlyreplied to@stagas🤸profilefollowcreative technologistGitHubstagas - Overviewstagas has 462 repositories available. Follow their code on GitHub.
creator of textlog:
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.
@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.
@nine😊profilefollowreplied to@stagas🤸profilefollowcreative technologistGitHubstagas - Overviewstagas has 462 repositories available. Follow their code on GitHub.
creator of textlog:
Congratulations!
@shredwheatprofilefollowSometimes dev things, sometimes play things.replied to@stagas🤸profilefollowcreative technologistGitHubstagas - Overviewstagas has 462 repositories available. Follow their code on GitHub.
creator of textlog:
Asking, how popular can it be if not hugged to death? ;)
@boprofilefollowreplied to@stagas🤸profilefollowcreative technologistGitHubstagas - Overviewstagas has 462 repositories available. Follow their code on GitHub.
creator of textlog:
Thats why im here, hello
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.
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).@radiocappy🧙profilefollow"The impediment to action advances action, what stands in the way becomes the way." - Marcus Aureliuswrote:
murm
@stagas🤸profilefollowcreative technologistGitHubstagas - Overviewstagas has 462 repositories available. Follow their code on GitHub.
creator of textlogwrote:
@paratonerprofilefollow I took the liberty and added a big fat "get mobile app" button for #mobilenotesfollow agents at the footer on the web app pointing to your repo! Hope it's fine with you. Tysm! #open_sourcenotesfollow
@paratoner😎profilefollowreplied to@stagas🤸profilefollowcreative technologistGitHubstagas - Overviewstagas has 462 repositories available. Follow their code on GitHub.
creator of textlog:
Wow! thank you for even considering that!
Sharing a great read today: stevehanov.ca/…/how-i-run-multiple-…a-20month-tech-stackSteve Hanov's BlogHow I run multiple $10K MRR companies on a $20/month tech stack
Some of the takes are on the extreme end, but like most IT decisions, you can dial the pain to exactly what you want.
^C
@stagas🤸profilefollowcreative technologistGitHubstagas - Overviewstagas has 462 repositories available. Follow their code on GitHub.
creator of textlogreplied to@keyboardinterruptprofilefollowLiving by the Zen of Python!
keyboardinterrupt.com:
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.
@gikkmanprofilefollowreplied to@stagas🤸profilefollowcreative technologistGitHubstagas - Overviewstagas has 462 repositories available. Follow their code on GitHub.
creator of textlog:
It is quite amazing what you can run in those small VPSes if you just build with them in mind.
@stagas🤸profilefollowcreative technologistGitHubstagas - Overviewstagas has 462 repositories available. Follow their code on GitHub.
creator of textlogreplied to@gikkmanprofilefollow:
Yeah, it survived being on 1st page of HN for a day just fine! Snappy, didn't sweat at all.
@kitnprofilefollowhallucinating with llms...replied to@stagas🤸profilefollowcreative technologistGitHubstagas - Overviewstagas has 462 repositories available. Follow their code on GitHub.
creator of textlog:
Why does it have such a cute name 😭😭😭
@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 can't believe Apple fell for foldables
…
@maxinedotdev🧙profilefolloweat, get a new hobby, sleep, repeat
maxine.devreplied 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.:
and an top of that, not calling it the iFold
@jamesjan3profilefollowresearcher, developer, dancerreplied 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.:
i think theyre pretty cool. the tech market is too safe nowadays.
@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@jamesjan3profilefollowresearcher, developer, dancer:
Totally, I'm glad they're at least trying something new (for Apple).
It just underscores the general failure of imagination vibes I get from everything in tech nowadays. Most of the industry is breathlessly chasing a 20th century "golden age of scifi" vision of AI. And Apple's over there diligently trying to improve upon other companies' products from five years ago.
At least no one's talking about the metaverse anymore.
@jamesjan3profilefollowresearcher, developer, dancerreplied 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.:
yea its kind of sad how the design language has all converged to the same phones and laptops. 1990s/2000s tech had so much swag and fun with design, especially japanese brands. i like what nothing does, the uk smartphone brand. at least they have some identity.
and yea the metaverse to my mind was just a meme eversince they introduced it, like I know exactly 0 ppl that own a vr headset, and im with the nerds here. just shows zuck is surrounded by yes men
@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@jamesjan3profilefollowresearcher, developer, dancer:
🎯
@gherleinprofilefollowMaker and Builder. Cloud, embedded systems, video, telephony, radio, electronics, linux, whatever. blog.herlein.comwrote:
anyone else seriously into agentic loop development?
@hmnt_bazookaprofilefollowYear 4 CS. Like tech, systems, game devreplied to@gherleinprofilefollowMaker and Builder. Cloud, embedded systems, video, telephony, radio, electronics, linux, whatever. blog.herlein.com:
I've been working with physical AI - Letting LLMs control robots in a warehouse to collaborate and collectively come up with a physically correct solution to carry out a natural language intent. We had to study the reactive nature of agents, nudges they required, etc.
@gherleinprofilefollowMaker and Builder. Cloud, embedded systems, video, telephony, radio, electronics, linux, whatever. blog.herlein.comreplied to@hmnt_bazookaprofilefollowYear 4 CS. Like tech, systems, game dev:
that's awesome and near my heart. I kicked off a personal project emergingrobotics.ai
@hmnt_bazookaprofilefollowYear 4 CS. Like tech, systems, game devreplied to@gherleinprofilefollowMaker and Builder. Cloud, embedded systems, video, telephony, radio, electronics, linux, whatever. blog.herlein.com:
haha that's a coincidence. Site looks awesome. The moving away from ROS2 part is so true. One of our main potential customers for physical AI solutions (a telecom provider in JP) communicated the need for agents to be able to pick up controls from any vendor