HackerTrans
TopNewTrendsCommentsPastAskShowJobs

jonmagic

117 karmajoined hace 15 años
I’m the programming butler. I’m into my family, learning, food, mixology, making, and I get paid to help stop abuse@scale for GitHub’s users.

https://jonmagic.com

Submissions

Rugo – Ruby's elegance, Go's speed, Bash's street smarts

rubiojr.github.io
2 points·by jonmagic·hace 5 meses·1 comments

Lessons from GitHub

github.com
2 points·by jonmagic·hace 8 meses·0 comments

React Server Components support without a framework

krasimirtsonev.com
2 points·by jonmagic·hace 10 meses·0 comments

comments

jonmagic
·hace 3 días·discuss
Correct. In my experience so far (2 days of usage across a couple dozen voices on speechify and then Kokoro) I've preferred the ones from Kokoro.
jonmagic
·hace 3 días·discuss
I was kind of waiting for Apple to ship something like this and using speechify in the meantime, so I was pleasantly surprised to stumble across Kokoro in a thread on HN a few days ago. The voices are better than the cloud provider IMO.

I'm using it in an open source tool I built for listening to coding agents instead of watching them work, and it's been great. Local, private, free to run, and enough voices that I can actually use a different one for each agent.

Wrote a bit more about the project here: https://jonmagic.com/posts/i-stopped-watching-my-agents-work...
jonmagic
·hace 4 meses·discuss
I thought it was a great post tying a lot of things I’ve been reading and thinking about together. Could care less if you used AI if it helps my brain expand and or make connections I wouldn’t have otherwise.
jonmagic
·hace 4 meses·discuss
Thanks for mentioning this, a coworker also pointed me to that feature after reading my post. I've since updated the top of the post with two things that stood out to me in the feedback here and on lobste.rs
jonmagic
·hace 5 meses·discuss
Yeah, they've got it backwards. I tried to sum it up in thisistheway.to/ai but what's been working for us is that every agent miss is a learning opportunity:

1. Capture the miss — What did the agent do? What did reality say?

2. Diagnose — What didn't it see? Missing data, constraint, feedback, or boundaries?

3. Choose a primitive — Observability, instructions, tooling, guardrails, or verification?

4. Encode as artifact — Version-controlled, repeatable, not just memory.

5. Promote to gate — When it's worth enforcing, make it a gate.

Every harness I setup includes this process in the primary set of agent instructions.
jonmagic
·hace 5 meses·discuss
"Rugo is a small language with a big personality. It borrows Ruby's elegance, Go's compilation speed, and Bash's street smarts — then welds them together into something that feels natural for scripting, tooling, and quick prototypes that compile to native binaries."

Neat idea, didn't see a link to the repo so had to find it based on the pages url: https://github.com/rubiojr/rugo
jonmagic
·hace 5 meses·discuss
I really liked this piece, and I share the concern, but I think “outsourcing thinking” is slightly the wrong frame.

In my own work, I found the real failure mode wasn’t using AI, it was automating the wrong parts. When I let AI generate summaries or reflections for me, I lost the value of the task. Not because thinking disappeared, but because the meaning-making did.

The distinction that’s helped me is: - If a task’s value comes from doing the thinking (reflection, synthesis, judgment), design AI as a collaborator, asking questions, prompting, pushing back. - If the task is execution or recall, automate it aggressively.

So the problem isn’t that we outsource thinking, it’s that we sometimes bypass the cognitive loops that actually matter. The design choice is whether AI replaces those loops or helps surface them.

I wrote more about that here if useful: https://jonmagic.com/posts/designing-collaborations-not-just...
jonmagic
·hace 8 meses·discuss
Great post. Re: frameworks, I tried a number of them and then found Pocketflow and haven’t found a reason to try anything else since. It’s now been ported to half a dozen or more languages (including my port to Ruby). The simple api and mental model makes it easy for everyone on my team to jump into, extend, and compose. Highly recommend for anyone frustrated with the larger SDKs.
jonmagic
·hace 8 meses·discuss
I haven’t read the whole thread but thought I’d share my experience having been homeschooled 12 grades.

My parents started homeschooling me because the public schools near where they lived then were supposedly subpar (Miami in the mid 80s, I have no idea if what they believed is true). When they moved to Michigan in 89 they continued homeschooling me and later my younger sister because they’d gotten used to it and a big court case had just been won (or was shortly after we moved) making it officially legal there.

I never complained because I did have a good social group through church, the neighborhood, and a strong homeschool group in the area that organized weekly park days, some coop classes with professional teachers, but more than any of that it gave me so much freedom.

My mom did a good job teaching me by 4th or 5th grade how to teach myself given course material, the library, and her or my dad when I needed more. She did standardized testing for us every year and I was able to complete 12th grade just before turning 17. They pushed me to use the local community college for math and science by 14 because they didn’t feel equipped with more advanced topics. They got me into summer science camps at the college I ended up attending and getting my undergrad at.

Every family I knew in the group were doing it for different reasons and did things differently but shared tips, curriculum, and really their lives with us. It was a very tight knit community despite spanning over 600 square miles. Some probably got stronger educations and more opportunities, for many different reasons, socioeconomic and others. As I remember most were well adjusted and successful as adults.

I mentioned freedom above and I’ll end on that. Once I’d been taught how to teach myself the sky was the limit. I had the opportunity to focus 4 hours straight on school work and then to work with my dad at construction sites, swinging a hammer, eventually part of a crew of 4 every afternoon building houses or whatever. That started at age 12. By 14 I wrote my first business plan with a friend, raised $10k from family and private investors, and started my first business (VRcade in Jackson MI, summer of 96). By 16 I had an IT consultancy. I don’t think I’d have had as many opportunities like that if I’d been at the local highschool from 7:30-2:30pm every day. I had friends at the school and a few of them worked service jobs after school but that was pretty rare.

So what did I do for my two kids? We chose public (charter) school for them but we got super involved. My wife and I volunteer there a few hours a week, teaching gardening and helping where needed. Neither of us felt we had the patience or skills to be full time educators and Covid proved that out when the kids were home for 6 months. I’m still not sure what magic my mom used to teach me how to teach myself. The important thing is we found our community at the school and amazing teachers, many of whom have been there 1-3 decades.

I am trying to instill the values and initiative my parents (both entrepreneurs) empowered me with. We’ve been paying for instruction for our 11yo at a (unofficial) trade school for a few years and now the same school pays them to help with instruction when they have big beginner classes. My youngest is leaning more towards tech like me and is super into games so I’m going to try and stretch my generalist programming skills to empower them in that arena.

All this to say I think it’s ok to have many ways to do things and find the way that fits your family. I really appreciate public schools because many wouldn’t have the opportunity for an education otherwise and I try to contribute back to that as much as I can even though it wasn’t my experience. And I support those who have chosen homeschooling and figured out how to make it work. Private schools I’m a little more meh on but I’ll do my best not to judge, lol.