j2kun

31 ms·

481.
by j2kun 3y ago
And then the difficult part becomes, how could I verify that this is used in practical robotics products? There are a handful of citations to [2], many of which are more category theory. One non-category-theory citation seems to say, "
482.
by j2kun 3y ago
Are you implying that the people who worked on those two platforms had no idea what topos theory is (but they were "applying" it nonetheless)? Or that they explicitly modeled their stuff in topos theory, and that improved upon the
483.
by j2kun 3y ago
My first approach is to look for references to the project on GitHub. Since this project is not itself on GitHub, next best option is to search the URL for code comments, docs, etc. https://github.com/search?type=code&q=
484.
by j2kun 3y ago
> Often, they refer to programming language tutorials where these mathematical ideas are already implemented, for example, in Python or C++. The difference is that _someone_ is actually implementing the features they're relying on,
485.
by j2kun 3y ago
I can't say I've read any that I could recommend. I have heard nice things about Princeton Companion to Applied Mathematics (TOC: https://assets.press.princeton.edu/chapters/c10592.pdf ) but I haven't rea
486.
by j2kun 3y ago
Give me a specific example. Maybe a link to some code, or a design doc, where topology comes into it. If you're thinking about "topological data analysis" and "persistent homology" or similar, I have been down that
487.
by j2kun 3y ago
OK, so name a concrete, production system that followed this pattern.
488.
by j2kun 3y ago
I would care if, e.g., some prior approaches did it poorly, and the category theory helped clarify it among the engineers who then agreed it was a good way to think about their problem.
489.
by j2kun 3y ago
Being 2 steps separated is no problem for me. Can you point to any specific production software systems, for which the author of those systems says they used CT for designing stuff, and that it helped in a meaningful way? The only one I hav
490.
by j2kun 3y ago
I understand those concepts well, but I find the casual chain of events questionable, especially when the story is told by category theorists. For example, I was once told by a prominent category theorist that certain aspects of the API des
491.
by j2kun 3y ago
All "applied category theory" books seem to be like this: they start by talking about how great the applications will be, but then instead of getting to the applications, they never stop developing the category theory for its own
492.
by j2kun 3y ago
This does not appear to pass the criterion I gave: > used by someone in a production software setting to solve a problem not related to category theory If this stuff or its derivative work is used in production in a mainstream compiler (
493.
by j2kun 3y ago
> can be used to describe a ton of stuff such as One thing that bothers me about applied category theory is that this (being able to describe stuff) always seems to be sufficient for people to claim it is applied. But if the people doing
494.
by j2kun 3y ago
Sorry, but no. I've got too much going on. But I am at ~200 pages of a draft
495.
by j2kun 3y ago
I'm writing a book [1] about "bona fide" applications of mathematics to practical programming problems, where bona fide is my own personal definition [2]. I've had my eye on claims of applications of category theory for
496.
by j2kun 3y ago
I have looked into applications of topology a lot and "everywhere" seems like a stretch, though perhaps you mean it in a particular sense that differs from mine. Could you give some examples of what you think of as the most useful
497.
by j2kun 3y ago
> It's more around math as the language of the universe, in things like quantum physics -- there's no "approximation" here, it's more the nature of reality itself. Why is it that everyone thinks of mathematical m
498.
by j2kun 3y ago
> I've started to wonder if I just have an academic fascination with it and the practical use cases are more limited (limiting?) than I think I'm currently writing an entire book based on this concern: pmfpbook.org
499.
by j2kun 3y ago
SageMath is a python frontend to a LARGE number of math backends, not just SymPy.
500.
by j2kun 3y ago
> And it's built on a sane language that will never die. It looks like lisp... which I have to say is not used much these days.
501.
by j2kun 3y ago
If the author is reading this: please add an rss feed to the blog! I'd love to follow along for updates
502.
by j2kun 3y ago
Two chapters of my book https://pimbook.org focus on linear algebra, with the first chapter being for SVD (a workhorse of data analysis) and the second demonstrating physics modeling using eigenvectors and eigenvalues. But if yo
503.
by j2kun 3y ago
Would you be interested in chatting with me about this topic for a book I'm working on? If so please reach out at mathintersectprogramming@gmail.com and we can set up a time to chat!
504.
by j2kun 3y ago
Am I reading it correctly that the maximum delay observed is ~5% across all the groups?
505.
by j2kun 3y ago
I was unaware! Thanks for that context.
506.
by j2kun 3y ago
The main reason to make a new dialect is so that a specific type of optimization is easy to write in that dialect. For example, the affine dialect explicitly exists so that one can implement polyhedral loop optimizations. These were possibl
507.
by j2kun 3y ago
I tried to learn from the toy tutorial and just found it to jump into the deep end too quick, without enough explanation for me to start writing code (because everything I touched in `toy` caused the build to break in mysterious ways).
508.
by j2kun 3y ago
On the other hand, most weeks someone else breaks my system and I have to track down the culprit. Google's emphasis has always been to make things easy for library developers, at the expense of library clients. For people who value bac
509.
by j2kun 3y ago
This article does not really have any inside knowledge, nor much proof about decline. It is extrapolating and hypothesizing from graphs.
510.
by j2kun 3y ago
Now I want a t-shirt that says "Keep going, keep growing, hour by hour"

More ›