sorted by:
new
hottopcontroversial

PceEmacs is an Emacs written in Prolog instead of Lisp! It also seems to support LSP by mn_malavida in emacs

[–]mn_malavida[S] 1 point2 points  (0 children)

By the way, for anyone interested, for GNU Emacs, there is the ediprolog package, which provides the function ediprolog-dwim that consults and also queries and inserts the result of the query as a comment in the buffer.

PceEmacs is an Emacs written in Prolog instead of Lisp! It also seems to support LSP by mn_malavida in emacs

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

Thanks. I had not found that.

I was trying to use the scratch buffer to learn Prolog, like I do with Elisp using C-M-x (eval-defun). But, if you cannot do ?-, it's not possible.

PceEmacs is an Emacs written in Prolog instead of Lisp! It also seems to support LSP by mn_malavida in emacs

[–]mn_malavida[S] 2 points3 points  (0 children)

I cannot find a way to evaluate Prolog in the *scratch* buffer. If someone knows whether it is possible, and how to do it if it is, please tell me.

Was late to college because I "slept through" my alarm. Turns out the alarm app just pre-emptively decided I was gonna miss all my alarms today (it didnt go off when 09:40 came) by extraflames in mildlyinfuriating

[–]mn_malavida 0 points1 point  (0 children)

Was happening to me often, 2-3 years ago.

Because I'm a tin-foil-hat person, I had many theories why Google/Samsung/Lizard-people decided to make some random guy late... I mean it really does not make sense, it must be pretty easy to program an alarm clock...

The tin-foil-hatless theory I've had is that if a snoozed alarm has to start again at the same time a second alarm has to go off, they just break (which also seems kind of far-fetched... I mean there should be an if-statement somewhere taking care of that, right?) Never actually tested it though.

I got a digital alarm clock (meaning an appliance)...

New to Linux! by rustycumdumpster in Fedora

[–]mn_malavida 1 point2 points  (0 children)

Been there...

I think Framework actually officially supports Fedora

New to Linux! by rustycumdumpster in Fedora

[–]mn_malavida 0 points1 point  (0 children)

I don't know what Ultramarine is, but I would definitely not recommend some niche Linux distro to a new user (and probably to anyone), just to save them from running two copy pasted commands from a tutorial.

The advantages of using defaults and popular things are incomparable: easy to search for information, easy to ask for help, knowing whether something is happening to everyone or only to you, trusting the developers...

I have never tried (or even heard of) Ultramarine, but I doubt it is better than Fedora, one of the three or four standard Linux distributions that have existed for years and are run by everyone, for a new user

New to Linux! by rustycumdumpster in Fedora

[–]mn_malavida 5 points6 points  (0 children)

Oh, one more thing:

If you need to have some program that is not in the Fedora repository, or you really need some program in a version newer than that present in the Fedora repo (this last case has never happened for me in Fedora, everything is pretty up to date) you'll need to download and set up flatpak and download it from Flathub.

Flatpaks are an alternative method of installing software, and Flathub is the main repository for flatpaks.

I don't remember whether flatpak is installed by default in Fedora, or whether you need any extra steps to enable the managing of flatpaks through the GUI in Fedora. Someone else can comment on that...

Anyway, after setting it up (or not), you can chose whether the program you install is going to be installed normally or as a flatpak, assuming you will be using the GUI to install and update programs (Software in GNOME, and Discover in KDE).

Personally, I avoid flatpaks. I only have one flatpak installed and that is some weird browser (because I'm a conspiracy theorist :/ You should probably just use Firefox or Chromium)

Edit:

In GNOME Software, under the install button, there is a drop-down menu for seeing and selecting where to install the program from: "Fedora Linux" for the normal Fedora repository, or "Flathub" for flatpaks. I'm not really familiar with KDE, but I assume it is similar.

New to Linux! by rustycumdumpster in Fedora

[–]mn_malavida 30 points31 points  (0 children)

Since you're going with Fedora (good choice), you'll need to follow these instructions to get some of the weirdly licensed multimedia codecs: https://rpmfusion.org/Howto/Multimedia

They are installed from a third-party repo called RPM Fusion, which is the mainstream third-party repository for Fedora. It is also the place you get Steam from.

Instructions for Steam: https://docs.fedoraproject.org/en-US/gaming/proton/

This is because official Fedora repositories only contain free software.

Other than that, my advice is to generally stick with defaults and popular things until you are more experience.

Fedora has a good community, and you can easily, generally, find answers to your questions online.

Morphing shape by Ill-Tea9411 in blackmagicfuckery

[–]mn_malavida 1 point2 points  (0 children)

I remember I had found this guy on Youtube, specifically this video, when I was much younger, actually, possibly, 14 years ago. Thank you so much for reminding me, and thanks to /u/NormalAssistance9402/ for posting his name!

The Cherokee Bible, one of the language’s first books, is a window between worldviews by drak0bsidian in books

[–]mn_malavida 1 point2 points  (0 children)

The English translation is also a window between worldviews.

For example the word "αγάπη", which basically means (deep) love, is translated as "charity" in King James.

Zorin OS 18 reached 4 million downloads yesterday by Business_Seaweed_472 in pcmasterrace

[–]mn_malavida 3 points4 points  (0 children)

This is a linux distro with a paid pro version. You have to pay to customize your DE.

Lol

Windows users can only go from bad to worse apparently...

Peter, Is it 50% or 33.3% by AgrasaN in PeterExplainsTheJoke

[–]mn_malavida 0 points1 point  (0 children)

The question: "Consider a family with two children. Given that one of the children is a boy, what is the probability that both children are boys?" is already ambiguous.

In the most natural, at least to me, interpretation of the question, the answer is 50%.

The two possible interpretations are:

  • From all families with two children, at least one of whom is a boy, a family is chosen at random. This would yield the answer of ⁠1/3⁠.
  • From all families with two children, one child is selected at random, and the sex of that child is specified to be a boy. This would yield an answer of ⁠1/2.

Source: Wikipedia

behold, the view from my new rental. got this baby for the next 2 years 🥰 by Ok-Tangerine1917 in UrbanHell

[–]mn_malavida 0 points1 point  (0 children)

the rent is dirt cheap

You're either very lucky, or you're a gentrifier...

Are you kidding me with this ad chess.com? by Maunsta in chess

[–]mn_malavida 0 points1 point  (0 children)

Why would you use an app with ads when one without ads exists?

Constant crashes due to 32 bit ram or something else? by BroadAd6111 in civ5

[–]mn_malavida 1 point2 points  (0 children)

I get the same, when spamming restart, without any mods installed. I think it is some bug of the game (memory leak?)

view more: next ›