I dunno if you're joking, but yeah there's IDE plugins that do this. GitHub Copilot grabs context from files in your edit history and you can tell it to edit, refactor, "fix" etc. selections. The more complex actions, the less likely to succeed, though.
I also have a masters in math and completed all coursework for a PhD. Infinitesimals never came up because they're not part of standard foundations for analysis. I'd be shocked if they were addressed in any formal capacity in your curriculum, because why would they be? It can be useful to think in terms of infinitesimals for intuition but you should know the difference between intuition and formalism.
I didn't say "infinitesimals don't have a consistent algebra." I'm familiar with NSA and other systems admitting infinitesimal-like objects. I said they're not standard. They aren't.
If you want to use differential forms to define 1D calculus, rather than a NSA/infinitesimal approach, you'll eventually realize some of your definitions are circular, since differential forms themselves are defined with an implicit understanding of basic calculus. You can get around this circular dependence but only by introducing new definitions that are ultimately less elegant than the standard limit-based ones.
Ok, but no. Infinitesimal-based foundations for calculus aren't standard and if you try to make this work with differential forms you'll get a convoluted mess that is far less elegant than the actual definitions. It's just not founded on actual math. It's hard for me to argue this with you because it comes down to simply not knowing the definition of a basic concept or having the necessary context to understand why that definition is used instead of others...
It doesn't. Only sometimes it does, because it can be seen as an operator involving a limit of a fraction and sometimes you can commute the limit when the expression is sufficiently regular
It's a number and complexity refers to functions. The natural inclusion of numbers into functions maps pi to the constant function x -> pi which is O(1).
If you want the time complexity of an algorithm that produces the nth digit of pi, the best known ones are something like O(n log n) with O(1) being impossible.
The direct connection is cool, I just wonder if a P2P connection is actually any better than going through a data center. There's gonna be intermediate servers right?
Do you need to have Tailscale set up on any network you want to use this on? Because I'm a fan of being able to just throw my domain or IP into any TV and log in
I just use nginx on a tiny Hetzner vps acting as a reverse proxy for my home server. I dunno what the point of Tailscale is here, maybe better latency and fewer network hops in some cases if a p2p connection is possible? But I've never had any bandwidth or latency issues doing this
It gets around port forwarding/firewall issues that most people don't know how to deal with. But putting it behind a paywall kinda kills any chance of it being a benevolent feature.
It's got a very high barrier to entry. You kinda have to suffer through it for a while before you get it. And then you unlock a totally different kind of suffering.
What specifically constitutes a hole is somewhat ambiguous, but if you pull on the thread a bit, you'll probably agree that it's a topological quality and that homotopy groups and homology are good candidates. The most grounded way to approach the topic is with simplicial homology.
In the context of differential forms, an integral expression isn't complete without an integral symbol and a differential form to be integrated.