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.
I'm looking forward to this. But it does amaze me how Microsoft with all it's power takes years to complete the port to a different language and bun does it in 7 days. Crazy times
Bun does zero work in relation to TypeScript's type system. Since it's a strict superset, it is "simply" stripping types to execute the resulting JavaScript. That is effectively what it boils down to.
TypeScript is the most complex type system in existence. I am unsurprised it is difficult to port, but I am still a bit surprised by the length of the project thus far.
reply