nhatcher

8 ms·

1. 151.▲
   by nhatcher 1y ago

   So many things I like about this! First of all, an empty list of dependencies! I am sold! It works great. I can't believe the did a whole TUI just for this, with a dialogs a file browser. I want to use for a project of mine, I wonder h
2. 152.▲
   by nhatcher 1y ago

   Oh, I don't think I understood you at all the first time around. But you are absolutely right. The center of an hexagon may or may not coincide with the vetex of a marked hat. In particular in the set of statements, for a given (m, n)
3. 153.▲
   by nhatcher 1y ago

   You are not wrong. But I can wear both hats (no pun intended, I think). On one hand people are not going to be using SAT/SMT to solve problems on a dayly basis. On the other hand these algorithms are a bit overlooked in CS books (not K
4. 154.▲
   by nhatcher 1y ago

   Oof, that is poorly written. I'll update the text. Notice how every hat has a special "marked" vertex. It is the red dot in this image: https://www.nhatcher.com/images/hats/hat-marked.png This is wh
5. 155.▲
   by nhatcher 1y ago

   Hey, thanks! Good luck with your Penrose tiles. I wish I had the time myself :)
6. 156.▲
   by nhatcher 1y ago

   SAT solvers and the algorithms surrounding them are so much fun. I agree they are very unappreciated. Shameless plug: I wrote a (admittedly very deriative) introduction with some examples I thought at the time were cool. https://
7. 157.▲
   Can Large Language Models play chess effectively?(maxim-saplin.github.io)

   2 points by nhatcher 1y ago|0 comments
8. 158.▲
   by nhatcher 1y ago

   I'm redoubling work on IronCalc ( https://www.ironcalc.com ), a spreadsheet engine. Actually considering going full time on what it begun as a side project.
9. 159.▲
   A Hyper-Catalan Series Solution to Polynomial Equations(tandfonline.com)

   2 points by nhatcher 1y ago|0 comments
10. 160.▲
    by nhatcher 2y ago

    Hmmm, I might have a brilliant usecase for it: https://github.com/ironcalc/IronCalc/blob/main/webapp/IronCa... Thanks!
11. 161.▲
    by nhatcher 2y ago

    Previous discussion: https://news.ycombinator.com/item?id=36904892 (45 comments, 139 points)
12. 162.▲
    The little-known Einstein: An ardent defender of black Americans against racism(cfhu.org)

    4 points by nhatcher 2y ago|0 comments
13. 163.▲
    by nhatcher 2y ago

    Woah, this is a great initiative! I hope it works out. I regrettably will not be in Berlin that day. It is really hard to get second hand electronics and equipment in this city if you don't want to go online. Sign me up for the next on
14. 164.▲
    by nhatcher 2y ago

    I am actually pleased to have an answer to this. I'm working on IronCalc, an open source spreadsheet engine: https://github.com/ironcalc/IronCalc I have been doing this as a side project for over a year now. It&#x
15. 165.▲
    by nhatcher 2y ago

    Wild guess, but different versions of Rust for the users?
16. 166.▲
    by nhatcher 2y ago

    100% agree. I _think_ we will eventually get there. But is going to take time. Many of your bullet points is what I am trying to do at IronCalc[1], that's a very small step in that direction. LibreOffice is an impressive technology, bu
17. 167.▲
    by nhatcher 2y ago

    I am jealous of kids these days learning the theory of parsing. There are so many great resources out there! Ohm in particular looks great, attention to detail, care for the theory. Makes me wish I had a project to try it out. I am a big fa
18. 168.▲
    by nhatcher 2y ago

    Oh wow, I didn't know about it. That is another shiny corner of the Internet. You can use your own web domain for free!
19. 169.▲
    by nhatcher 2y ago

    I always like mentioning neocities in this context: https://neocities.org/ It's one if those gems in the Internet
20. 170.▲
    by nhatcher 2y ago

    Related, I guess: https://news.ycombinator.com/item?id=42968547
21. 171.▲
    by nhatcher 2y ago

    I'm not sure if this falls under your category but I think the folks at charm have some form of revenue: https://charm.sh/#enterprise
22. 172.▲
    by nhatcher 2y ago

    It is pretty cool! But, https://news.ycombinator.com/item?id=14908052
23. 173.▲
    by nhatcher 2y ago

    Woah! Beautifully done! I wonder if I will finally understand CRDT with this. Will go through it over the weekend. Congratulations!
24. 174.▲
    by nhatcher 2y ago

    (just reading wikipedia here, I didn't know about Harshad numbers) There is no such thing as a Harshad number, there is a _Harshad number in a given base_. All integers between zero and n are n-harshad numbers. Which is a pity, because
25. 175.▲
    by nhatcher 2y ago

    I tried with mine, of course. It worked quite well I would say: https://gitdiagram.com/ironcalc/IronCalc I think the color coding for the legend is incorrect though. Overall looks great, congratulations and thanks!
26. 176.▲
    by nhatcher 2y ago

    I think they are very interesting as a first step in the construction. I did a write up with some app you can play with a while ago: https://www.nhatcher.com/post/on-hats-and-sats/
27. 177.▲
    by nhatcher 2y ago

    Not in my laptop, but can't wait to try it out! Also: https://github.com/ironcalc/TironCalc
28. 178.▲
    by nhatcher 2y ago

    There was a slightly similar product some days ago: https://news.ycombinator.com/item?id=41860810
29. 179.▲
    by nhatcher 2y ago

    Hi epmoyer. First things first, thanks!! Second, the project hit HN before I could actually release MVP version 0.5. But heck you know what they say about being proud of your product at the time of release. I will be working in coming weeks
30. 180.▲
    by nhatcher 2y ago

    Yeah, that should be pretty easy. I'm actually curious. I might try this soon