nhatcher

5 ms·

1. 31.▲
   Scientists discover 27 potential new planets that orbit two stars(theguardian.com)

   9 points by nhatcher 5mo ago|1 comments
2. 32.▲
   by nhatcher 5mo ago

   What about lean? def main : IO Unit := IO.println "Hello, world!" Also Coq was renamed to Rocq
3. 33.▲
   by nhatcher 5mo ago

   (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
4. 34.▲
   The Angine de Poitrine Argument for UBI(scottsantens.com)

   3 points by nhatcher 5mo ago|0 comments
5. 35.▲
   by nhatcher 5mo ago

   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: ht
6. 36.▲
   Some Interrail travellers told to cancel passports as hacked data posted online(theguardian.com)

   1 points by nhatcher 5mo ago|0 comments
7. 37.▲
   by nhatcher 5mo ago

   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
8. 38.▲
   by nhatcher 5mo ago

   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
9. 39.▲
   by nhatcher 5mo ago

   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/
10. 40.▲
    Muon G-2 Experiment Pioneers Win Breakthrough Prize in Fundamental Physics(home.cern)

    3 points by nhatcher 5mo ago|0 comments
11. 41.▲
    by nhatcher 6mo ago

    Thanks, fixed.
12. 42.▲
    by nhatcher 6mo ago

    Wrong thread?
13. 43.▲
    by nhatcher 6mo ago

    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.ir
14. 44.▲
    Atemis II Launch(esa.int)

    4 points by nhatcher 6mo ago|0 comments
15. 45.▲
    by nhatcher 6mo ago

    It's a bit low on my priority list, but I'm working on that! https://github.com/ironcalc/TironCalc
16. 46.▲
    by nhatcher 6mo ago

    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. Brin
17. 47.▲
    Most editors at math journal resign over multiple reviews(retractionwatch.com)

    3 points by nhatcher 6mo ago|0 comments
18. 48.▲
    by nhatcher 6mo ago

    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.
19. 49.▲
    by nhatcher 7mo ago

    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 b
20. 50.▲
    by nhatcher 7mo ago

    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
21. 51.▲
    by nhatcher 7mo ago

    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 grant
22. 52.▲
    by nhatcher 7mo ago

    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
23. 53.▲
    by nhatcher 7mo ago

    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 th
24. 54.▲
    Solving the Good Will Hunting Problem(scientificamerican.com)

    5 points by nhatcher 7mo ago|0 comments
25. 55.▲
    by nhatcher 7mo ago

    Elliptic Tales, but maybe it is because I read it first
26. 56.▲
    by nhatcher 7mo ago

    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
27. 57.▲
    by nhatcher 7mo ago

    Thanks for the mention! That's indeed the plan
28. 58.▲
    by nhatcher 8mo ago

    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!
29. 59.▲
    by nhatcher 8mo ago

    Related (60 comments, How slide rules work) https://news.ycombinator.com/item?id=45985196
30. 60.▲
    by nhatcher 8mo ago

    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/hateth