Mekeor Melire / is on Nostr

towards a cybernetic council communism with a hackable, self-documenting, emacs-like interface written in a purely functional lisp based on graded modal dependent type theory

Last Notes

2024-06-12 23:01:36

i haven't written much #lean in #emacs but i did not like the code and architecture of lean4-mode. i forked its fork and radically reduced it to a minimum by leveraging emacs' built-in facilities like eglot and eldoc and project.el. if you use lean4-mode, i'd very much appreciate if you can try it out and give some feedback on this: https://codeberg.org/mekeor/nael

2024-06-07 22:31:15

hello #emacs! i made a video about the composable set of emacs-themes that i made and use: https://iv.catgirl.cloud/watch?v=_18ICdAmlTg
i am totally convinced of the colors of the evenok-dark theme. imho they are near perfection :D tell me what you think!
(video on youtube: https://youtu.be/_18ICdAmlTg)
#theme #theming #color #oklab #oklch #design

2024-05-29 18:43:49

where can i find videos of talks of martin hofmann, the computer scientist who worked on #typetheory and #categorytheory?

2024-05-09 23:42:37

why is #lean hyped so much? what does it do better than #agda or #idris?

2024-05-08 20:36:59

- reply

@npub1h56…ch5t do people generally use wrist/palm-rests when using tented or welled keyboards like the charybids?

2024-05-06 21:09:03

- reply

@npub1mmf…eknq please start making distinctions

2024-05-06 21:03:54

- reply

@npub1mmf…eknq it was not a question but it was a public, wrong statement and as such it was sure open to discussion

2024-04-17 09:24:04

- reply

@npub1gpa…xlk0 external package:
https://github.com/vapniks/hide-lines

2024-04-14 18:36:05

can someone explain #usenet to me? i have been accessing some mailing lists via #nntp with #emacs #gnus from #gmane but when i want to share a message, i always had to send an email. but usenet is not tight to mail like this, right? proper usenet newsgroups (i.e. those which are not just transformations of mailing lists) do not rely on email for sharing messages, right? i.e. nntp also includes a specification for sharing messages, right?

2024-04-07 20:09:53

show me an #editor other than #emacs which can do this:
1. find the name of the command that is called when you type a key combination.
2. read its source code.
3. modify its source code and make these changes effective.
in emacs, this is:
1. C-h k KEY
2. <tab> <ret>
3. C-x C-q EDIT C-M-x

2024-03-21 11:08:44

fsbot on #emacs on libera irc is a good source of knowledge. for example, you can ask it about lsp: https://paste.rs/oKvtk

2024-03-21 10:39:52

- reply

@npub1fzx…t6h3 well, whatever works for you! and yes, i do

2024-03-21 10:36:48

- reply

@npub1fzx…t6h3 there is flymake-show-project-diagnostics command

2024-03-21 10:34:37

- reply

@npub1w66…rc58 funny but also reconsider publicly sharing photos of (your) children in times of non-forgetting internet and stable diffusion etc

2024-03-21 00:24:19

- reply

@npub1fzx…t6h3 for me, eglot is very stable for gopls. what do you use flycheck for, in context of golang?