marwahaha

5 ms·

1. 1.▲
   by marwahaha 12d ago

   I helped build https://prove2.me . It's not proof-specific but everything is Lean-based. I've found the tool useful when formalizing recent upper bounds on $\omega$ (in computational complexity of matrix multiplication
2. 2.▲
   by marwahaha 12d ago

   I was involved in building https://prove2.me (but I am not affiliated with Anthropic nor involved in anything related to FLT). I think the key insight in prove2me is to prove theorems "top-down", which allows a large n
3. 3.▲
   by marwahaha 5y ago

   Sure, I built one. I think it will work if you keep your paper collection page in the same format. https://github.com/arxivwiki/kurin-paper-scraper https://github.com/arxivwiki/arxivwiki/blob&
4. 4.▲
   by marwahaha 5y ago

   I really like this. I recently started a similar project called the "arXiv wiki". Could you link future paper notes here? For example: https://arxiv.wiki/abs/2101.06861
5. 5.▲
   by marwahaha 6y ago

   It's a nonprofit: https://codepath.org/about
6. 6.▲
   Help College Students Ace Technical Interviews(info.codepath.org)

   1 points by marwahaha 6y ago|2 comments
7. 7.▲
   by marwahaha 6y ago

   I'm applying to graduate programs this cycle; this tool helped give me a vague idea of a professor's research interests without reading through their papers. What do you think?
8. 8.▲
   Show HN: Wordcloud Generator from ArXiv Abstracts(marwahaha.github.io)

   1 points by marwahaha 6y ago|1 comments
9. 9.▲
   by marwahaha 6y ago

   Thanks. I made an issue to track this: https://github.com/marwahaha/ca-center/issues
10. 10.▲
    by marwahaha 6y ago

    Thanks! I did so.
11. 11.▲
    Show HN: Where is the “average” person in each US state?(marwahaha.github.io)

    6 points by marwahaha 6y ago|4 comments