This looks like the most in-depth resource on the topic that I've seen so far; thanks for adding it! One of the reasons that I'm partial to the hyperreals is because it's such a natural thing, in the context of…
Infinitesimals don't rely on faith any more than any other mathematical idea. The "normal" calculus sequence being based on limits is solely due to the fact that limits were the first discovered method for rigorously…
Depends what you're looking for. Full Frontal Calculus[0], Intuitive Infinitesimal Calculus[1], and Elementary Calculus[2] are all textbooks on the calculus sequence using an infinitesimal pov. The basic approach is to…
Nice! It's cool to see that other people had the same issues I did, and solved them the same way (though you're much further along than I am). How are you hooking into the environment container? Are you running an…
Thanks for the suggestion, this looks great! At a glance LXD seems to be a much more robust version of what I've built. Time to learn something new I guess lol.
I just started working on a cli tool to easily create, manage, and spin up dev environments in docker containers. The initial impetus for starting the project was to try out Doom Emacs without messing with my current…
A couple weeks ago someone posted a link to a real time re-creation of the apollo 11 mission. It's amazing watching videos of everyone in that room, listening to the chatter on all the radio channels, and seeing…
This looks like the most in-depth resource on the topic that I've seen so far; thanks for adding it! One of the reasons that I'm partial to the hyperreals is because it's such a natural thing, in the context of…
Infinitesimals don't rely on faith any more than any other mathematical idea. The "normal" calculus sequence being based on limits is solely due to the fact that limits were the first discovered method for rigorously…
Depends what you're looking for. Full Frontal Calculus[0], Intuitive Infinitesimal Calculus[1], and Elementary Calculus[2] are all textbooks on the calculus sequence using an infinitesimal pov. The basic approach is to…
Nice! It's cool to see that other people had the same issues I did, and solved them the same way (though you're much further along than I am). How are you hooking into the environment container? Are you running an…
Thanks for the suggestion, this looks great! At a glance LXD seems to be a much more robust version of what I've built. Time to learn something new I guess lol.
I just started working on a cli tool to easily create, manage, and spin up dev environments in docker containers. The initial impetus for starting the project was to try out Doom Emacs without messing with my current…
A couple weeks ago someone posted a link to a real time re-creation of the apollo 11 mission. It's amazing watching videos of everyone in that room, listening to the chatter on all the radio channels, and seeing…