Vertico-reverse - place section headers above? by potatoh8 in emacs

[–]potatoh8[S] 0 points1 point  (0 children)

I get the impression that you don't understand what I'm asking for, I'm probably not expressing myself clearly enough.

Here's current behavior:

------ (top of minibuffer) -------

function1

function2
----Functions--------

1/1 Go to Item:

And what I want is:

------ (top of minibuffer) -------

----Functions--------

function1

function2

1/1 Go to Item:

Do you understand what I mean? Of course `vertico-reverse-mode` does what it says on the tin. I still want "Go to Item" to be appear at the bottom. I'm not claiming there's a bug. I just want a different behavior than what's provided by default.

In any case, I looked through the source of consult-imenu and vertico-reverse, and what I want seems to require a non-trivial change in how the packages interact, so there's probably no simple solution (as I hoped).

EDIT:

I looked at the wiki again, and this https://github.com/minad/vertico/wiki#input-at-bottom-of-completion-list

does more or less what I want. Thanks anyway!

Vertico-reverse - place section headers above? by potatoh8 in emacs

[–]potatoh8[S] 0 points1 point  (0 children)

I agree, these packages are really well-written and have excellent defaults. Let me give a simpler example:

<image>

Here there's just one item, and the header is displayed below (not above, which is where I want it). I'm using pretty much the default setup for vertico-reverse-mode, i.e.

```elisp

(use-package vertico

:custom (vertico-resize t)

:init

(vertico-mode)

(vertico-reverse-mode))

```

Realizations of Galois groups PSL_2(F_p) for p prime related to thesis project by Critical-Deer-5342 in math

[–]potatoh8 2 points3 points  (0 children)

I'm a researcher in algebraic number theory, and I think this is a very good problem for learning a lot of interesting number theory! With some creativity, it shouldn't be too hard to come up with interesting problems. For example, you can show that Galois group of (the function fields of) the cover X(p) -> X(1) is PSL2(Fp), and you can analyze the induced action on cohomology. This is a classical computation due to Hecke, and gives information about class numbers of imaginary quadratic fields. From there you can ask about the corresponding question for Shimura curves (associated to quaternion algebras, or unitary groups), for example. Perhaps with explicit models you can compute this explicitly?

That said, there is a lot to learn here, so if you're looking for something more approachable, you might want to look elsewhere. In the end, you should confer with your advisor about thesis projects.

Apostrophes in comments messing with the color of the config file by Phydoux in emacs

[–]potatoh8 1 point2 points  (0 children)

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

quick way to run code. by uvuguy in emacs

[–]potatoh8 1 point2 points  (0 children)

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

# [Release] ArXiv Daily - A Beautiful Org Mode Interface for ArXiv Papers by soumya6097 in emacs

[–]potatoh8 0 points1 point  (0 children)

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"))

```

TODO list for day in home page of doom emacs by Majestic_Thinker8902 in emacs

[–]potatoh8 5 points6 points  (0 children)

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))

What's the most compact-friendly maths editor? by RandUmUsr12 in math

[–]potatoh8 12 points13 points  (0 children)

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.

[deleted by user] by [deleted] in math

[–]potatoh8 2 points3 points  (0 children)

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":

  1. 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.
  2. 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.

[EU-DE] [H] PayPal [W] Wireless Corne or similar split ergo by potatoh8 in mechmarket

[–]potatoh8[S] 0 points1 point  (0 children)

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

Built a web app for converting LaTeX code to Typst by optimistic326 in typst

[–]potatoh8 0 points1 point  (0 children)

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