Thank you! Noticed you're interested in similar areas. I've also previously done some work on maths problem generation. Similar to letterpaths, the core lib can then be used to power games/other educational apps. As I'm sure you've found as well, It's surprisingly difficult to generate random maths problems aligned to a curriculum!
Core lib is UK-focussed:
https://github.com/RobinL/maths-game-problem-generator
Thanks for taking the time to look. My biggest focus right now is own Numerikos. I hope I can make a better math learning platform. Math games are fun too. There are some nice ideas in the examples you have shared here.
The US has no compulsory ID. Parents are not even required to register births; medical professionals are, though, and a lot of things become challenging without a birth certificate, so I imagine the vast majority of births are registered. It's only within the past few decades that children were registered with social security at birth, instead of later. My siblings and I were only registered when it became necessary to get a credit on my parents's taxes; my parents were registered when they began to seek employment.
I am building a web application for learning math. I want it to be something between Khan Academy and Math Academy. Here is a demo of fourth grade https://demo.numerikos.com/ Currently the best part about it is one of my kids is using it. I have some more lessons ready, waiting to be released and I am currently working on Trigonometry.
Definitely not in my experience. The most changed are the change logs, files with version numbers and readmes. I don't think anyone is afraid of keeping those up to date.
My take is that there are probably multiple systems out there than can help you achieve mastery, but it depends on your personality, life circumstances, etc. Just like there ten thousand paths up the mountain. It is a good idea to try out a couple and find the one that works for you. Then if you get to the point where you master your target skill and it is your turn to spread the gospel of "the way", it is good to keep in mind why it worked for you.
> The thing is, agents aren’t going away. So if Bob can do things with agents, he can do things.
Following the model of how startups have worked for the last 20 years or so, I expect agents to eventually be locked-down/nerfed/ad-infested for higher payments. We are enjoying the fruits of VC money at the moment and they are getting everyone addicted to agents. Eventually they need to turn a profit.
Not sure how this plays out, but I would hang on to any competencies you have for anyone (or business) that wants to stick around in software. Use agents strategically, but don't give up your ability to code/reason/document, etc. The only way I can see this working differently is that there are huge advances in efficiency and open-source models.
That's one of several reasons why I'm trying not to rely too much on LLMs. The prospect of only being able to code with a working internet connection and a subscription to some megacorp service is not particularly appealing to me.
Local/open LLMs are a thing though. You can build a server for hosting decent sized (100-200B) models at home for a few k$. They may not be Opus-level, but hopefully we can get something matching current SOTA, but that we can run locally, before the megacorps get too greedy.
Alternatively you could find some other people to share the HW cost and run some larger models (like Kimi-K2.5 at 1.1T params).
> You can build a server for hosting decent sized (100-200B) models at home for a few k$.
That's definitely not an option for me :-D
True open LLMs could be a viable solution in the future, but only if they can be operated and sustained on a community basis. I have too little insights into the actual costs of running such models to judge whether this would be feasible. Then there is always the problem of how to deal with bad actors. This is all but trivial.
At the moment, I'd rather spend time working on sharpening my actual programming and thinking skills :) I actually enjoy the act of programming and see it as part of my creative expression. Fortunately, I don't code for a living (at least not directly), so nobody can tell me how to write my software.
I agree that humans should continue to value various forms of literacy even in the face of AIs that can do everything better than us. I too will continue to dig deeper into tech literacy. There was a Terence Tao paper recently that mentioned we are in a shift similar to the end of heliocentrism. It made clear that Earth is not the center of the universe, but Earth is still deeply valuable and important for humans. Much the same way that AI may supersede our understanding and intellect and make the are limitations more apparent, but our human intellect is still important to humans. Plus, what are you going to do when the price of LLM tokens are through the roof or you get messages like "burn an extra 1,000,000 tokens for a better implementation!".
I have some amount of hope that local open models with sufficient quantization are the future as hardware becomes more powerful and models become more optimized. I don’t think we will be living in thin client land forever. Human expertise and intelligence will continue to be important and anyone who says otherwise is being disingenuous.
> people who choose to be child free are not complete human beings
Hmm, this seems pretty condescending, but hopefully it is just in jest.
With four kids I understand there is a unique set of skills and emotions that come along with it and I am personally grateful for, but there are also a lot skills and emotions you won't have and experience if you never go to war, never become a leader, never experience losing a parent when you are young, never win a gold medal in a team sport, never live in a different culture, never volunteer, etc. It seems short sighted to claim someone is an incomplete person if they can't experience one of those things, because likely no single person can.
There is a great tapestry of human experience and we can only experience most of it second or third hand (and probably not even that in most cases).
I think having kids connects you to humanity in a deeply personal way and connection to humanity is at the higher level than anecdotal example of various human experiences we’ll never experience first hand.
I think there are many ways to connect deeply to humanity and you are being dismissive of those other experiences. Yours is just another anecdote amongst the ones I presented. Would you dismiss your kids experiences if they decide not to have kids? I would not.
reply