nhatcher

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

First we got a grant from the NLnet[1], which I highly recommend as a first step of any project. Single best thing I could have done. That wasn't enough money for me to quit my job. Also I didn't have any _evidence_ that IronCalc was a good idea or that there was a market for it. Then evidence started pouring and I kept working. I started talking to different folks, lots of people many of those were contacts through the NLnet. Then the folks from NextGraph[2] approached us and asked, "Hey do you want to be part of this consortium [3]?". Eventually we got a HORIZON grant after a lot of sweat and paperwork, but NextGraph took the brunt of it.

As you see there is a huge component of sheer luck

[1] https://nlnet.nl/project/IronCalc/ [2]: https://nextgraph.org/ [3]: https://elfaconsortium.eu/

Well, I just jumped full time on IronCalc[1] a fully open source, light and fast spreadsheet engine designed and build from the ground up.

I have been working on it as side project for over two years and now, with funding from the EU for the next 2.5 years, I hope I can make of it a real product for everyone to use that can compete with the likes of Excel and Googl;e Sheets.

I can oly say, I am overly, off the Moon excited

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

Elliptic Tales, but maybe it is because I read it first

I'm sure it's a great book :).

I find good popular books on higher mathematics difficult to come by. A nice exception is the trilogy written by Avner Ash and Robert Groß:

Elliptic Tales, Fearless Symmetry and Summing it up (in my order of preference)

Thanks for the mention! That's indeed the plan

Hi! Congratulations to you and Yousef. And I am lucky enough to be in a position from learning from both of you.

Anyone think what they might about La Suite, but blocknote is a solid product!

Related (60 comments, How slide rules work)

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

Aaron Swartz has a nice blog post about it[1].

It's been discussed several times on HN[2]. I had periods I go through without news. It's been harder to do that lately.

[1] http://www.aaronsw.com/weblog/hatethenews

[2] https://hn.algolia.com/?q=i+hate+the+news

That is exactly the kind of thing I was looking for. Thanks you!