jstogin

6 ms·

1. 1.▲
   AI will not make mathematicians obsolete(hxstem.substack.com)

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

   Thanks! At the moment, we're focusing on the ML role, but please feel free to send an email explaining your background and interests. We can keep that in mind as we grow.
3. 3.▲
   by jstogin 2y ago

   Float | Remote (US) / Chicago, Boston | Full-Time | https://www.float.trading Float is a tech startup founded by mathematicians with a bold vision: to build real-time vector embeddings that capture the instantaneous state o
4. 4.▲
   by jstogin 2y ago

   Float | Remote (US) / Chicago | Full-Time | https://www.float.trading Float is a tech startup founded by mathematicians with a bold vision: to build real-time vector embeddings that capture the instantaneous state of the wo
5. 5.▲
   by jstogin 4y ago

   I came here to see if this book made the list. I read it the summer before taking AP Physics. It made that class a breeze. Still, I'm impressed it made this list given it's not a CS book.
6. 6.▲
   by jstogin 4y ago

   There are theoretical and potentially practical implications for this work. Black hole stability can be considered a kind of stress-test for General Relativity as a theory. If we believe the universe has rotating black holes, then we expect
7. 7.▲
   by jstogin 4y ago

   It probably wouldn't be too surprising if at least one error was lurking somewhere in those 900 pages. But if such an error were found, the authors would almost certainly be able to address/patch it very quickly. They have very go
8. 8.▲
   by jstogin 4y ago

   I have wondered this as well. In theory, I want to say yes. But in practice, at least in this subfield, there are so many unimportant details that might make this really difficult. It's not a perfect analogy, but some parts of the proo
9. 9.▲
   by jstogin 4y ago

   Some graduate students will likely spend a substantial part of their PhD understanding this paper. They will learn a lot in the process, and then they can contribute by either extending the result or finding a way to simplify a part of the
10. 10.▲
    by jstogin 4y ago

    I see a number of people commenting on the size of the proof (roughly 900 pages) which is not uncommon in this particular sub-field of PDEs. For context, I had the distinct privilege of studying under Sergiu Klainerman for my PhD on this to
11. 11.▲
    by jstogin 6y ago

    This looks fantastic! In particular, 1. You provide UI widgets (generated from your JSON schema, I presume) to generate the YAML and preview the result so the user can start building without having to invest so much time in learning your sc
12. 12.▲
    by jstogin 9y ago

    I definitely agree that this kind of tool is complex to build. We have our own model, which I have developed over a few earlier iterations of what we have available now, and we use it to draw all the objects to the canvas. Generally speakin
13. 13.▲
    by jstogin 9y ago

    The video calling feature is based on WebRTC. (We also use WebRTC for streaming the data--so you can see other people draw in real-time, with Socket.IO as a fallback.)
14. 14.▲
    by jstogin 9y ago

    This is definitely something we hope to do. Since we're still getting started, it's a matter of prioritization (not if, but when). We would love to hear more from you about your needs and that could help us expedite the feature. C
15. 15.▲
    by jstogin 9y ago

    Thanks for letting us know! At first glance, it seems to be an issue related to Heroku. We just tested the request invitation feature and it is working again.
16. 16.▲
    by jstogin 9y ago

    Thanks! I started making this after I bought a Macbook Air to replace my old Lenovo tablet PC. I really missed being able to draw precisely on a computer (which was possible with the tablet PC) and standard mouse input just doesn't do
17. 17.▲
    by jstogin 9y ago

    Hi everyone, I’m John from Scratchwork (scratchworktool.com). This is a project I started as a math PhD student, because I was frustrated by how difficult it is to share ideas (mainly equations and diagrams) with other people on a computer.
18. 18.▲
    Show HN: Scratchwork – a tool for drawing technical equations and diagrams(scratchworktool.com)

    40 points by jstogin 9y ago|11 comments