> However, the paper itself and the formalization that it claims for support are not
in a form that is readily usable to anyone who wants to understand or check it. This is
not just because of the needless length or complexity of the argument (which is indeed
overwhelming as presented), or because the formal repository is not in normal form, or
because much of the text is misleading or poorly organized, but mainly because there
is so much irrelevant puff to push through.
Note to self: This is a fantastic description on atomics and locks in Rust. I would say it is even better than the documentation or the Rust Book. It has a _soul_, you can see and feel the person talking. It has _unity_, you can understand it as a whole, not a bunch of disconnected parts. It has _intent_, you can see the author is trying to teach you something.
This is the level I should aspire when writing documentation and a living proof that as of today no LLM can do anything remotely close to that.
The first serious book I ever got on physics was Landau's Classical Mechanics. His writting left a long lasting impression on me.
His wikipedia page made me think of the so many great physicists and scientist that will never be because of madness. Made me nostalgic and sad at the same time.
Oh wow, I'm fairly impressed. I wouldn't have expected AI to solve a problem this hard just now.
There have been claims of complex structures on s6 (or absence of them) quite a few times over the last 15 years. Some by acclaimed mathematicians.
There was some discussions on HN a few days ago:
Hehe, I really like them. And I always recommend those. It's not always that you have some nice books on deep concepts in mathematics for the "general" public
As per usual for the last two years I'm working on an open source spreadsheet engine called IronCalc. It is super exciting. We have a proof of concept at
In the last couple of months my partner and myself quit our jobs to work on that. I am pretty sure that in a year from now the world is going to have a fairly competent spreadsheet alternative.
My capacity is fairly limited but I am trying to build a community around it. Join us!
I find in software the more constraints I can find the better the innovation ends up being, and business model is an excellent constraint - even just knowing what a responsible amount of effort is versus the value you anticipate.
Admittedly, I originally misunderstood your product as being more like google sheets - where it becomes a cloud drive of sorts with spreadsheets on top. At which point the risk of losing access to the tool would make adoption very unlikely.
reply