Viewing profile — nhatcher

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…

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 I…

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…

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 t…

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 ind…

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 Ha…