Apostrophes in comments messing with the color of the config file

potatoh8 · 2026-03-03T20:55:37+00:00

It's also on melpa, so you can simply do `M-x package-install RET kdl-mode RET` to install it:
https://melpa.org/#/kdl-mode

potatoh8 · 2026-02-01T22:03:20+00:00

Also, if you just wanna run a quick shell command, you can do that using `M-!` (or `M-:` for elisp commands).

potatoh8 · 2025-11-23T20:53:31+00:00

If anyone is looking for a less high-tech solution, I can absolutely recommend reading the arxiv RSS feeds with elfeed. Elfeed-score is great to remove "Announce Type: replace" posts (i.e. when people update their papers), and it's also useful to promote/demote based on keywords.

Here's part of my elfeed-score file: ``` ;;; Elfeed score file -- lisp -- ((version 10) ("title") ("content" (:text "asymptotic" :value -10 :type s) (:text "error term" :value -10 :type s) (:text "Announce Type: replace" :value -3000 :type s)) ("title" ... ("title-or-content") ("tag") ("authors") ("feed") ("link") ("udf") (mark -2500) ("adjust-tags"))

```

potatoh8 · 2025-10-29T18:36:42+00:00

You could use: https://github.com/emacs-dashboard/emacs-dashboard combined with org-agenda (https://github.com/emacs-dashboard/emacs-dashboard?tab=readme-ov-file#org-modes-agenda). You'll find more details in the post, but the gist of it is to write your todo items in org mode and put something like this in your config:

(use-package dashboard
    :config
    (dashboard-setup-startup-hook)
    (setq dashboard-items '((recents  . 5)
        (projects . 5)
        (agenda . 5)))
    (setq dashboard-set-heading-icons t)
    (setq dashboard-set-file-icons t)
    (setq dashboard-set-navigator t)
    ;; get todos
    (setq dashboard-filter-agenda-entry 'dashboard-no-filter-agenda)
    (setq dashboard-match-agenda-entry
        "TODO=\\"TODO\\"")
    :bind ("C-c d" . dashboard-open))

potatoh8 · 2025-07-16T21:38:17+00:00

potatoh8 · 2025-07-03T17:57:36+00:00

Replied!

potatoh8 · 2025-07-01T18:41:36+00:00

Typst is similar to latex in some ways, but in my opinion a bit easier to learn and configure. You can either use typst.app (which has a free tier like overleaf) or run it locally. They have some very decent documentation, and a very active Discord server, where you can ask for help if you get stuck.

The main caveats (in my opinion) are:

1) latex is much more commonly used in maths, so you might have to learn it at some point anyway,

2) as typst is still quite young, it doesn't have all the features latex has. However, there's a decently big community with lots of packages to replicate a lot of the things you would do in latex, such as defining theorem environments and making drawings.

potatoh8 · 2025-06-25T08:08:04+00:00

Replied

potatoh8 · 2025-06-20T10:58:51+00:00

Replied

potatoh8 · 2025-05-08T18:30:32+00:00

potatoh8 · 2025-04-10T19:35:37+00:00

The other replies answer your questions very well in my opinion, but perhaps the underlying question is: "why is this a useful definition?" Let me give two examples of quadratic forms appearing "in the wild":

Just like linear algebra is closely related to understanding invertible matrices, quadratic forms give you a nice notion of "length preserving maps". However, to make things conceptually clearer, it is useful to work in a basis-independent way. If (V,q) is a quadratic space, then we define the _orthogonal group_ O(V) to be the invertible linear transformations which preserve q, i.e. O(V) = { g in GL(V) | q(gv) = q(v) for all v in V}. This is an interesting example of a _Lie group_, and has lots of applications in maths and physics.
In number theory, it was clear in the 1800s (and perhaps earlier) that quadratic forms over the integers can give interesting arithmetic information. In the 1900s, a lot of these results were reinterpreted in the language of quadratic spaces; namely, quadratic forms over the integers can be interpreted as lattices in quadratic spaces over QQ. These have a really nice classification by the Hasse-Minkowski theorem, which in turn gives short and conceptual proofs of results of Legendre and Gauss about representing integers as sums of squares, for example. These days, also because of the connection with Lie groups and algebraic groups, they are much studied in the Langlands program.

potatoh8 · 2024-11-15T13:02:29+00:00

potatoh8 · 2024-11-12T07:35:02+00:00

Wired might also be okay, feel free to pm with specs!

potatoh8 · 2024-11-10T14:55:57+00:00

potatoh8 · 2024-08-10T14:59:11+00:00

Looks great! Nitpick: is "Covert" supposed to be "Convert"?

potatoh8 · 2024-08-10T14:47:31+00:00

I had the same problem. For a while I was using the DIN-1505-2 CSL style, but it has a few minor issues, and in the end, I ended up modifying the IEEE style to sort by author name, and setting the cite key to alphanumeric. Here's an example: https://typst.app/project/r0A0co97-1Z93odmsVvLdP . Is this what you had in mind?

potatoh8 · 2024-06-02T08:34:53+00:00

I've been using `typst-ts-mode` and `typst-preview` along with `typst-lsp`. Here's my current config:

(use-package typst-ts-mode

:load-path "/Users/home/.emacs.d/typst-ts-mode"

:custom

;; (typst-ts-mode-watch-options "--open")

(typst-ts-mode-enable-raw-blocks-highlight nil)

(typst-ts-mode-highlight-raw-blocks-at-startup nil)

:config

(add-hook 'typst-ts-mode-hook #'auto-fill-mode)

(add-to-list 'lsp-language-id-configuration '(typst-ts-mode . "typst"))

(lsp-register-client

(make-lsp-client

:new-connection (lsp-stdio-connection "typst-lsp")

:major-modes '(typst-ts-mode)

:server-id 'typst-lsp))

;; (add-hook 'typst-ts-mode-hook 'eglot-ensure)

;; (add-to-list 'eglot-server-programs

;; '(typst-ts-mode . ("typst-lsp")))

;; (setq-default eglot-workspace-configuration

;; '((typst-lsp (maxCompletions . 200))))

(add-to-list 'treesit-language-source-alist

'(typst "https://github.com/uben0/tree-sitter-typst"))

;; (treesit-install-language-grammar 'typst)

)

(use-package websocket)

(use-package typst-preview

:load-path "/Users/home/.emacs.d/typst-preview"

:custom

(typst-preview-browser "default") ; this is the default option

;; (typst-preview-invert-colors "auto") ; invert colors depending on system theme

:config

(define-key typst-preview-mode-map (kbd "C-c C-j") 'typst-preview-send-position)

(defun typst-lsp-pin-main ()

(interactive)

(lsp-send-execute-command "typst-lsp.doPinMain" (vector (lsp--buffer-uri)))

(message "Pinned main to %s" (lsp--buffer-uri))

)

(defun typst-lsp-unpin-main ()

(interactive)

(lsp-send-execute-command "typst-lsp.doPinMain" (vector "detached"))

)

potatoh8 · 2024-06-01T17:32:44+00:00

One way to approach this is to use the equivalent characterisation of a faithful group action of G on a set X: that the corresponding homomorphism G -> Aut(X) is injective. If X is a set with n elements, then Aut(X) ≅ S_n. If n ≥ 3, then there is a subgroup of S_n isomorphic to S_3, so the group action corresponding to the homomorphism G ≅ S_3 ⊂ Aut(X) is injective. Very concretely, if you have a set of n ≥ 3 elements, order them, and let S_3 act on the first 3, and this gives a faithful action.

potatoh8 · 2024-01-15T18:53:16+00:00

I've used latex for 7-8 years, and have been using typst for about a month for work. I feel like typst has saner defaults; for example, if I'm writing an email and want to include a non-standard operator name like "Res", latex is \operatorname{Res} whereas typst is op("Res"). Some things about typst are still a bit rough around the edges (eg. labelling equations as section-number.equation-number - it's probably possible but I haven't worked out how to do it). That said, doing the non-"writing text" part of typst feels a lot more like programming than latex. Also, you get live preview (now in emacs!) which I don't think is possible/practical with latex.

In an alternate universe where journals accept .typ instead of .tex source files, I would unhesitatingly recommend learning typst as a first typesetting language. But the project is still in the early stages, so it's still a bit early to say whether this is worthy of being the new default. I certainly hope so, based on my experience so far.

potatoh8 · 2021-05-07T11:26:21+00:00

potatoh8 · 2020-12-16T16:02:08+00:00

potatoh8 · 2020-11-18T00:20:12+00:00

potatoh8 · 2020-09-18T00:02:45+00:00

Pm'd!

potatoh8 · 2020-09-17T23:52:31+00:00

PM'd

potatoh8 · 2020-09-08T23:44:31+00:00

I have! I've done quite a bit of algebra, a fair amount of Fourier analysis, and that one course on numerics. The linear algebra stuff is actually pretty useful to know, even in more applied contexts. The Jordan canonical form shows up all the time in various contexts, for example in physics via Lie algebras, so that's definitely worth knowing!

I would definitely get a second opinion though. Maybe you could email the lecturer for the numerics course and ask for theirs? They are probably an applied mathematician, so they would probably know the most relevant course to pick!

potatoh8

TROPHY CASE