ginkoleaf
Joined 2 years ago
Karma
91
Submissions
7
Member since
May 15
Recent submissions
Comment · 7 months ago
Comment · 10 months ago
Gamers: no, hot-tub streamers: yes
Comment · 10 months ago
For those afraid to click: This does not appear to hurt the rats or involve doing any surgery on them.
Comment · 11 months ago
I do not think I appreciated the formula until I had been exposed to the exponential map in its generalized forms: The so-called 'matrix exponential' and the exponential map of Lie algebra. They place Euler's humble formula into a grander and rather beautiful setting.
Now, I like to think of exponentiation as a kind of integral over infinitesimal generators; and $i$ just happens to be a generator for rotation about a circle in the plane (aka $\mathrm{U}(1)$ aka $x \mapsto e^{it}x$).
Comment · 11 months ago
Dismissing the FreeBSD community as contrarians feels uncharitable. I can think of at least a few other contributing factors for the increase in popularity of late:
1) Linux's popularity has enlarged the pool of users interested in Unix-like operating systems. Some proportion of users familiar with Unix genuinely like FreeBSD and the unique features it offers.
2) The rise of docker and the implosion of VMWare has driven an increase of interest in FreeBSD Jails and the Bhyve hypervisor.
3) Running a homelab is a popular hobby. ZFS is popular for RAID, and pf is popular for networking.
4) Podman being brought to FreeBSD: (https://freebsdfoundation.org/blog/oci-containers-on-freebsd...).
5) Dell, AMD, Framework, and the FreeBSD foundation committing $750,000 to making FreeBSD easier to use last year: (https://freebsdfoundation.org/blog/why-laptop-support-why-no...).
6) Apple announcing that they're bringing the Swift language to FreeBSD this year.
Comment · 2 years ago
This distinction is only made by a small number of mostly constructivists.
It is not common usage, and most working mathematicians will have no idea what you're talking about.
Reporting is burdensome, sure, but being listed on public exchanges is not a requirement.