augustusseizure

4 ms·

1. 1.▲
   by augustusseizure 2mo ago

   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 mathematical h
2. 2.▲
   by augustusseizure 2mo ago

   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 formaliz
3. 3.▲
   by augustusseizure 2mo ago

   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 extend the Real
4. 4.▲
   by augustusseizure 2y ago

   What’s the name of that textbook? It sounds really interesting. Isaac Asimov wrote a couple books that follow the narrative of science from the beginnings up until the 80s or so, which I highly recommend. One is called Atom and is more focu
5. 5.▲
   by augustusseizure 5y ago

   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 editor in the te
6. 6.▲
   by augustusseizure 5y ago

   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.
7. 7.▲
   by augustusseizure 5y ago

   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 Emacs setup, so an exam
8. 8.▲
   by augustusseizure 7y ago

   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 pictures scroll by from