nhatcher

The source code is in GitLab: https://gitlab.cern.ch/colibri/colibri

Some millennium problems? Are there more coming?

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:

https://news.ycombinator.com/item?id=49412947

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

I regrettably don't have a good plan for that. We have a grant from the European Union that will pay our salaries for another year or so.

From Excel/Google sheets because ot is MIT/Apache 2.

From libre office because it is web first and also an engine first

It's written in Rust and has bindings to different languages. It's extremely light and fast

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

https://app.ironcalc.com

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!

https://github.com/ironcalc/IronCalc

That is really cool and impressive! Fantastic job

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

First of all thanks for the great library. It is so much more thay an UI kit!

We wrote (should say are writing) our own xlsx parser in Rust on IronCalc:

https://github.com/ironcalc/IronCalc/tree/main/xlsx

Also there is an idea for the svelte compiler: https://github.com/sveltejs/svelte/issues/18376

Grothendieck has been discussed a number of times in HN:

https://hn.algolia.com/?q=Grothendieck

That's a post I am eagerly waiting to read.

Basically we are seeing now an "inverse Hofstadter's Law" where doing something with an LLM takes less time thanexpected even when you take into account this law.

I am a Rust developper myself but I really love Zig and Bun. I am just overly curious of all this.

What about lean?

def main : IO Unit := IO.println "Hello, world!"

Also Coq was renamed to Rocq

(Disclaimer: I don't know the first word about law)

But I have been thinking about this quite a lot recently (mostly because I get angry at the power states sometimes have over individuals). Would the distinction really matter in this case?. I would think that in a "civil law" contry things could be even worse for the aggressor

Cool to see this here! There are quite a few other terminal based spreadsheet people have been doing over the last few years.

Most notably:

https://github.com/andmarti1424/sc-im

Has been in HN often, most recently:

https://news.ycombinator.com/item?id=47662658

New takes: https://github.com/zaphar/sheetsui https://github.com/garritfra/cell

This is exciting! TypeScript has gone a long way (indeed JavaScript!). I wonder how difficult for the many other tools like Deno, Bun, etc will be to integrate this

Try Share The Meal[1]. It's quite easy to use and I think it has an impact. Sadly also a way to keep in touch with devastating news like this one

[1]: https://sharethemeal.org/en-us

I like it! I think if we are moving to a world (that is a big if) with more people self-hosting ideas like this one might have a future.

A different take: https://www.cloudron.io/

Thanks, fixed.

Wrong thread?

I am working on IronCalc[1]. A spreadsheet engine. We are not an alternative yet. As it is not a finished product. But, if we are successful, we should be a good alternative to traditional spreadsheet software.

[1] https://www.ironcalc.com

It's a bit low on my priority list, but I'm working on that!

https://github.com/ironcalc/TironCalc

Oh wow! I wouldn't have expected this so many years later. Mordel's conjecture implies asva special case that for all n>=4 there are only a finite number of solutions to Fermat's equations with relative prime numbers. Brings me back!

Interesting! I am building a spreadsheet and the next few months will be building the collaborative side of it. I think many of the things that work for text don't necessarily translate for spreadsheets.

I think charts is one of those few things I won't implement from scratch, as there are already fantastic libraries out there:

https://github.com/ironcalc/IronCalc/issues/348

We will start working on it by July according to the plan. (This will add a lot if value to the project BTW)

The "engine" is the computational part of it. And it is completely separted from the UI. You can use it from Rust, Python, nodejs or from the browser and eventually from a destop app.

The important thing is that is all those cases the engine is the same. I

Answered to a sibling comment. NLnet and HORIZON.

NLnet is just amazing and can keep you going if you are a student or have some extra sources of income

HORIZON is a huge grant but fairly hard to obtain. Generally related to reasearch grants in academia