• 8 Posts
  • 299 Comments
Joined 6 years ago
cake
Cake day: May 31st, 2020

help-circle
  • There’s these “ontological arguments”, which are basically folks trying to prove the existence of a god by reasoning with pure logic, so without relying on evidence. And they all sound like that. 🫠

    One of the classics goes roughly like this:

    1. There is good and bad. (Which is one hell of an axiom.)
    2. A creature can exist which unifies all good properties. (Yet another hell of an axiom.)
    3. Because this creature has all these good properties, it would be even gooder, if it did exist.
    4. Since this creature unifies all good properties and its existence is itself a good property, it therefore must exist.

    These arguments are also always funny, because the same logic can be used to “prove” all kinds of things. For example, a perfect island can exist, therefore it must exist. 🙃
    As far as I can tell, the arguments don’t actually get better over time either, but rather just more convoluted, to make it less obvious how silly they are…

    https://en.wikipedia.org/wiki/Ontological_argument


  • At its core, SystemD coordinates and launches all the services in your operating system. So, it is essential for the boot process, but also does scheduling, meaning you could run a backup script every night with it, for example.

    That’s the simple answer. But in truth, SystemD is often criticized for doing too much, so it’s hard to describe what it really does. For example, you can also manage network interfaces via SystemD.

    Kind of the goal of SystemD is to provide common plumbing which works the same across distros, so that when you configure your services or network interfaces etc. on Ubuntu, it works the same as on openSUSE or Arch or whatever.










  • Ephera@lemmy.mltoProgrammer Humor@programming.devRelatable
    link
    fedilink
    English
    arrow-up
    4
    ·
    12 days ago

    Yeah, the latter is certainly a big part of it. The way to make it compile-safe is to use macros to generate code, so that my users can write e.g. Package::my_frontend.version and that gives them the version of their frontend package.
    Writing such macros, i.e. writing code to generate code, is certainly something I haven’t done a ton of yet, because you practically cannot justify doing that in an application codebase, only in a library, so it is new stuff that I learn.

    But well, you did already call it a “nice abstraction”, which is another big part where my excitement comes from and where I think, the special nerdery is necessary.
    Others might build projects which are visually tangible, like a sexy GUI, or which do something tangible, for example a colleague (who I will absolutely not deny his own special nerdery) is currently building a driver for a motor. If that driver works, you can see a motor moving in the real-world. Even non-nerds can at least tell that something is happening.

    But with my project, my success is that you can write Package::my_frontend instead of Package::from_str("my_frontend")?. And that if you rename the package to super_duper_frontend, that the compiler will tell you to fix the code rather than it only breaking once you actually run the build code for the frontend.
    No chance of explaining to non-coders why this is exciting or even just when you’re successful.


  • Ephera@lemmy.mltoProgrammer Humor@programming.devRelatable
    link
    fedilink
    English
    arrow-up
    48
    ·
    12 days ago

    On Monday, one of our students at $DAYJOB asked me what projects I do in my freetime. After I infodumped on her for half an hour, she asked in disbelief “And you do these in your freetime, without being paid?”.

    Like, mate, did you not listen how feckin’ excited I got just then? Of course, I do these in my freetime.

    To be fair, though, the last project I told her about is very dry. It’s a library to help automate CI builds. And the thing I’m thrilled to build is a compile-safe API for accessing the packages in your workspaces. Like, yeah, it does take a special kind of nerd to get excited about that…