In times past having one's photograph taken was a soul-stealing for some.
Some notions:
- finding counter-examples is one of the most exploratory uses of calculation
- there is no evidence, not even in the hands of the inimitable Terence Tao, that Approximate Intelligence (AI) is insightful rather than inferential*
- people who enjoy Mathematics, even amateurs, do so for the beauty
- AI is only good in the hands of those who can provide corrective context
- AI unchecked is a remarkably inefficient noise engine
- Mathematics will provide joy to the curious 'til the heat death of the Universe
- AI is contributing to the heat death of planet Earth
- anthropomorphism, of which I am otherwise not a fan, may yet be a saving grace as without proprioception we may not morph
- we may need to redefine the Turing Tarpit of Perlis
If any of this nonsense really troubles you return again to thermodynamics and revel in the joy of being the local universe's pinnacle of meaty evolution. And go outside and smell the flowers.
Congratulations, this is awesome. One of those "why hasn't someone done this already?" projects.
I can see this becoming transformative and superseding Excel, which is a bold claim to make. But this is compliant (with Excel), performant, extensible, free, and in-browser. This could easily become almost an emacs-level editor.
Think of the interfaces that could be built to this in this?
One of the things I love about hacker news is that there's no AI content. The other is that it's like reading a commentary on our encyclopedia. I get to read thought happening.
Apropos of nothing, just saying, and this thread is a great example.
I always want to read more books after a good dose of hacker news.
One of the things I love about hacker news is that there's no AI content. The other is that it's like reading a commentary on our encyclopedia. I get to read thought happen.
Apropos of nothing, just saying, and this thread is a great example.
I always want to read more books after a good dose of hacker news.
Digital stupidity is rife, spreading like a common cold, leaving children everywhere immunocompromised, adults ethically stunted, and technologists waving their conceits like handkerchiefs at a soccer game.
Don't eat rotten fruit. Go read a fuckdamn math text instead, with a nice cup of tea or coffee and a view of the local vegetation in the background. Then take a walk and count your fingers and toes.
The core should be in rust, verfied in lean, and the runtime should be in guile. Literate programming in org-mode should be a hard requirement. Package management should require patch algebra. Macros should be submitted to a leaderboard in a blockchain and yield flair in EUDC. M-x measure-beard-length should require 10000 hours of logged usage and unlock the major mode infinity-categorization.
Tongue-no-longer-in-cheek:
I reckon the C core of Emacs is some of the most battle-hardened code out there. Verification, a-la SEL4, is probably irrelevant but still nice. Guile is modern and performant but Elisp is still its own little joy. Literate programming is always nice until it gets in the way. Straight is good enough for me now. Macros are always cool and a leaderboard would be fun, but patch algebra is really nice, see jujutsu nowadays. And beard length is gendered and so only partially admissable. Infinity categories are way out there and always good for a reference.
I used to be an artist and then studied science. The first constitution I read was that of the USA, then that of Ireland. I've been reading law since. The decisions of judges are of variable quality and always susceptible to appeal, especially to autonomy. And the Law always falls apart in the face of the philosophy of freshmen, it's how we hold it together in the face of each other that makes it worthwhile.