|
|
|
|
|
by agentultra
25 days ago
|
|
Coding does not inherently have the “precision” of mathematics. If you’ve ever tried to formally verify even a basic algorithm you’ll know how “loose” programs are with their specifications. If you end up down this route you’ll gain an appreciation for a branch of mathematics that has spent most of its history maligned by the wider community. I too finally started grokking trigonometry and calculus in high school thanks much due to programming. I don’t think it’s the best entry point for mathematics though. Us programmers tend to bias its effect on our learning and appreciation. For most people programming is tedious, cryptic, and frustrating. It doesn’t aid understanding mathematics if you can’t even use it. Maths is beautiful on its own. And so is programming. I think it’s still worthwhile because for all that these systems can do it still takes an experienced human to drive them. Any positive results are due to a human understanding the training data, the system, and importantly the output. You can’t one-shot a production grade C compiler or OS with these tools and never will be able to without over fitting the model. You need to know what a production grade C compiler requires in order to generate one using tools like this. So keep learning. Mainly because it suits you, benefits you, and you like doing it. |
|