nhatcher

28 ms·

1. 241.▲
   SeaORM 1.0(sea-ql.org)

   2 points by nhatcher 2y ago|0 comments
2. 242.▲
   by nhatcher 2y ago

   `LazyCell` and `LazyLock` are in da house!
3. 243.▲
   by nhatcher 2y ago

   Such a beautifully written blog! I have no comments so far, but I will read it through tonight again. I wrote a Sudoku solver using a SAT solver compiled to wasm (it is just a simple exercise TBH): https://www.nhatcher.com/h
4. 244.▲
   New large value estimates for Dirichlet polynomials(arxiv.org)

   11 points by nhatcher 2y ago|1 comments
5. 245.▲
   by nhatcher 2y ago

   A couple come to mind * The proof of the classification of simple groups[0] * The work on topological four manifolds by M. Freedman [1] [0]: https://en.m.wikipedia.org/wiki/Classification_of_finite_sim... [1]: https:&
6. 246.▲
   by nhatcher 2y ago

   That's one of the most important goals in my particular "shitty version of Excel", https://github.com/ironcalc/IronCalc :)
7. 247.▲
   by nhatcher 2y ago

   Beautiful example! `2^n -1` times a? I love PEG parsers though
8. 248.▲
   by nhatcher 2y ago

   One of the most important open problems in mathematics is called the Riemann hypothesis. It states that the solutions of a certain equation `zeta(z)=0` are all of a particular type. Almost every living mathematician has tried to solve it a
9. 249.▲
   by nhatcher 2y ago

   Maybe grid.is? It's my favourite anyway :)
10. 250.▲
    by nhatcher 2y ago

    You are right, of course. But that is based on our standard cosmological model. But there is some controversy in this respect. It is not as clear cut as the relationship with C14 and age, for instance. There are some recent discoveries of g
11. 251.▲
    by nhatcher 2y ago

    This is breathtaking. I marvel at what we are able to see. Small quibble though: I wish they would say, '... finds galaxy with the highest known redshift.' Maybe not so pompous, but especially after all the recent news about the s
12. 252.▲
    by nhatcher 2y ago

    I would work on a Computer Algebra System. Maybe one day, who is to say. That being said I'm pretty close to my dream job
13. 253.▲
    by nhatcher 2y ago

    I'm getting closer! https://github.com/ironcalc/IronCalc
14. 254.▲
    by nhatcher 2y ago

    I use this for a project trying to get the i18n of a spreadsheet engine right. I wonder what the HN community thinks about the CLDR project. Is this the standard to follow?
15. 255.▲
    Untitled map app says goobye(eugene.substack.com)

    1 points by nhatcher 2y ago|0 comments
16. 256.▲
    by nhatcher 3y ago

    > Thanks to Peter Ferrie for helping me to save 23 bytes That's the spirit!
17. 257.▲
    by nhatcher 3y ago

    Off topic. I didn't know what TFA was so I googled. It didn't help (a cursory search). So I asked chatgpt, that helped. The Full Article. I, of course, knew what you meant.
18. 258.▲
    by nhatcher 3y ago

    Loved it! Well made and engaging. Is there just one solution for each puzzle?
19. 259.▲
    by nhatcher 3y ago

    If I am reading correctly it is a new kind of magnetism: https://en.m.wikipedia.org/wiki/Magnetism#Types And I am not sure it can be called a magnet. It's definitely a new kind of magnetic state
20. 260.▲
    by nhatcher 3y ago

    SEEKING VOLUNTEERS: IronCalc spreadsheet IronCalc is a new open source spreadsheet engine written in Rust with bindings in Python and JavaScript. The engine can be compiled to wasm and runs in the browser. Pitch: https://www.iron
21. 261.▲
    by nhatcher 3y ago

    Hi @QuadmasterXLII, you linked my blog in yours! Thanks, I feel honored! I found your blog halfway going through my own rabbit whole. I think had I seen it before embarking into the project I would have just use yours. That being said it is
22. 262.▲
    by nhatcher 3y ago

    Z3 has both, but the tool they are using is the SAT solver.
23. 263.▲
    by nhatcher 3y ago

    I find it fascinating. It is inspiring and humbling. Not only he found the hat, he found also a different shape "the turtle". Basically out of thin air and then how they combine those two to find a real monotile. I am writing a bi
24. 264.▲
    by nhatcher 3y ago

    I have used cloudron, it's pretty good.
25. 265.▲
    Excel 16-Bit CPU(github.com)

    2 points by nhatcher 3y ago|0 comments
26. 266.▲
    by nhatcher 3y ago

    Non locally connected spaces are a bit pathological. Means that given a point there is always a neighborhood of the point (might be very small) that is connected. An example of a connected but not locally connected is: https://en
27. 267.▲
    by nhatcher 3y ago

    Thanks for the invaluable feedback! Looking forward to see the day Axiom and LEAN are integrated together. Good luck!
28. 268.▲
    by nhatcher 3y ago

    Hi Tim, So first of all thank you Axiom and all the work you have put in the system over the years. Second, the integration with LEAN seems like an amazing step forward. Is there anything on the internet I can read more about this? How woul
29. 269.▲
    I walked 750 miles – and found my life's purpose(theguardian.com)

    1 points by nhatcher 3y ago|0 comments
30. 270.▲
    by nhatcher 3y ago

    Barely a week ago I was quoting from a paper of him here in HN, "A plea for lean software". It's been discussed here before: https://news.ycombinator.com/item?id=27661559 RIP