diff options
| -rw-r--r-- | config/emacs.org | 3 | ||||
| -rw-r--r-- | config/nix.org | 4 | ||||
| -rw-r--r-- | mindmap/limit.org | 7 | ||||
| m--------- | nix | 0 |
4 files changed, 7 insertions, 7 deletions
diff --git a/config/emacs.org b/config/emacs.org index 06693b8..c0e568c 100644 --- a/config/emacs.org +++ b/config/emacs.org @@ -1249,7 +1249,8 @@ For all my mathematics and programming notes: (org-roam-ui-follow t "Have cool visual while editing org-roam") (org-roam-ui-update-on-save t "This option is obvious") (org-roam-ui-open-on-start t "Have cool visual open in qutebrowser when emacs loads") - :config (org-roam-ui-sync-theme))) + ;; lol this is really bad but we'll let it pass because it is a race condition i probably can't fix + :config (run-with-timer 10 nil #'org-roam-ui-sync-theme))) #+end_src ** Pinentry diff --git a/config/nix.org b/config/nix.org index fd83045..4af62f3 100644 --- a/config/nix.org +++ b/config/nix.org @@ -3273,6 +3273,7 @@ in lang-haskell.enable = lib.mkDefault config.monorepo.profiles.enable; lang-idris.enable = lib.mkDefault config.monorepo.profiles.enable; lang-agda.enable = lib.mkDefault config.monorepo.profiles.enable; + lang-scheme.enable = lib.mkDefault config.monorepo.profiles.enable; crypto.enable = lib.mkDefault config.monorepo.profiles.enable; art.enable = lib.mkDefault config.monorepo.profiles.enable; @@ -3502,7 +3503,6 @@ epkgs: [ epkgs.projectile epkgs.rustic epkgs.s - epkgs.scheme-mode epkgs.solaire-mode epkgs.scad-mode epkgs.simple-httpd @@ -3560,7 +3560,7 @@ the timezone. My iamb profile. Note that iamb does not support calling (obviously, as it is a terminal app), but the nice thing about it is that I can set it up declaratively, so in case element-desktop stops working because of lack of declarative setup, I can still use this. #+begin_src nix :tangle ../nix/modules/home/iamb.nix -{ super, config, ... }: +{ super, lib, config, ... }: { programs.iamb = { enable = lib.mkDefault config.monorepo.profiles.graphics.enable; diff --git a/mindmap/limit.org b/mindmap/limit.org index f382f44..d25409b 100644 --- a/mindmap/limit.org +++ b/mindmap/limit.org @@ -90,7 +90,6 @@ In fact, this is sort of analogous to currying in the theory of computer science How do we know the space is compact? We know that $Y$ is compact because $[0, 1]$ is compact, and we apply Tychonoff's theorem. How do we know that $\overline{\phi(X)}$ is compact? It is closed and a subset of a compact set. However, what we have /not/ shown thus far is that $\phi(X)$ is truly an embedding. To see this, the completely regular property of $X$ saves the day; if we /didn't/ have this property, then it would be possible for some two points to /never/ be -separated by any function, and then you'd lose the one-to-one property of $\phi$. -\begin{align} -\lim x_{\alpha} -\end{align} +separated by any function, and then you'd lose the one-to-one property of $\phi$. Also, $\phi$ is clearly always continuous; we use the property that +$\pi_{\alpha}\circ \phi(x) = f_{\alpha}(x)$, and $\phi$ is continuous iff its projections $f_{\alpha}$ are continuous. Now all we need to show is that $\phi^{-1}$ is continuous, which we can +also do with the completely regular property. diff --git a/nix b/nix -Subproject 5b58c035e59ef8ccc1ce5de63f21df606eda7f9 +Subproject 6ce29a77b651e25d252007afb997cac3d493ecb |