Skip Navigation
Posts
13
Comments
185
Joined
10 mo. ago
  • The experience were awesome, I kinda surprised that it's fast while maintaining stability. Been 2 years using void and never experienced my system broken!

  • yes i been already using some of functional features on it, but i want to use Lisp family language esp for AI dev

  • Programming @programming.dev
    occultist8128 @infosec.pub

    i want to learn/use functional programming language

    Learn Programming @programming.dev
    occultist8128 @infosec.pub

    i want to learn/use functional programming language

    should i go with Clojure or common Lisp? i'm looking for an intuitive language and the tooling is great. my background: Ruby programmer and i use neovim. my goal: AI development. do people really use Lisp family for AI dev tho?

  • The installation was a bit scary but not too bad.

    i feel the same way since i never built my system from scratch before (i was a linux mint user, so a lil bit spoiled lol).

    Then I was greeted by an HDD boot speed comparable to my gaming PC with an NVMe. I still miss that now when the PC is running Arch (btw).

    that's wild! i was shocked when my old 32 bit laptop became usable again after installing void there.

    When it comes to issues, I only remember a missing screenshot utility (fixed with 1 command) and fonts (can't remember if I ended up fixing it).

    which screenshot app did you end up using?

  • i know. that's what i'm asking. which one is better, H265 with MP4 as container (since it's the standard) or MKV as container.. i do transcoding a lot but haven't experienced using MKV as the container. that's why i'm asking.

  • no problem!

  • void already comes with a pretty solid, hardened kernel setup by default. some of the security features it has out of the box include full ASLR, NX protection, protected symlinks and hardlinks, randomization for kernel heap and SLAB freelists, stack protection with GCC, and a bunch of other things like restricting access to /dev/mem, enforcing read-only kernel and module data, and more. the default bootloader setup also includes things like slub_debug, page_poison, and secure memory allocation. but the default void settings aren't hardened at 100%, because otherwise you would be using OpenBSD lol.

    there's also a script called hardening.sh in the void-packages repo. i've seen some folks trying to bring Whonix-style features (i think its name is PlagueOS) or grsecurity/PaX-like standards to Void too, but that’s a pretty big undertaking.

    this is the output of checksec --kernel on my machine

     undefined
        
    ○ checksec --kernel
    * Kernel protection information:
    
      Description - List the status of kernel protection mechanisms. Rather than
      inspect kernel mechanisms that may aid in the prevention of exploitation of
      userspace processes, this option lists the status of kernel configuration
      options that harden the kernel itself against attack.
    
      Kernel config:
    /proc/config.gz
    
      Vanilla Kernel ASLR:                    Full
      NX protection:                          Skipped
      Protected symlinks:                     Enabled
      Protected hardlinks:                    Enabled
      Protected fifos:                        Disabled
      Protected regular:                      Disabled
      Ipv4 reverse path filtering:            Disabled
      Kernel heap randomization:              Enabled
      GCC stack protector support:            Enabled
      GCC stack protector strong:             Enabled
      SLAB freelist randomization:            Enabled
      Virtually-mapped kernel stack:          Enabled
      Restrict /dev/mem access:               Enabled
      Restrict I/O access to /dev/mem:        Enabled
      Exec Shield:                            Unsupported
      YAMA:                                   Active
    
      Hardened Usercopy:                      Enabled
      Harden str/mem functions:               Enabled
    
    * X86 only:
      Address space layout randomization:     Enabled
    
    * SELinux:                                No SELinux
    
      SELinux infomation available here:
        http://selinuxproject.org/
    
      
  • Void Linux @infosec.pub
    occultist8128 @infosec.pub

    figured i'd spin up a Void Linux community here since the one on lemmy.ml is kinda hard to reach for folks on other instances.

    this space is for anyone using (or curious about) Void. ask questions, share tips, show off your setups, or just vibe.

    not too many rules, just:

    • keep it Void-related
    • don’t be a jerk
    • no dumb distro fights

    that’s it.

    drop a post, say hey, share your rice, whatever.

  • add the go binary path to your $PATH. i never use go before but i think its binary path is placed on ~/.go/bin. if it does exist, u can add this

     undefined
        
    # other configs..
    export PATH="$HOME/go/bin:$PATH"
    # other configs..
    
    
      

    to your shell config (.bashrc or .zshrc). then reload the changes by source ~/.bashrc or source ~/.zshrc depends on ur shell.

  • reddit is banned in my country (ofc VPN will bypass it) but why bother use more effort if i got something legally available?

  • i don't know, i came from the third world country with east culture, not western. less liberal here.

  • thanks for your opinion 🙂

  • thanks for dropping the definitions here :D

  • Ask Lemmy @lemmy.world
    occultist8128 @infosec.pub

    do you hate AI generated art? why?

    Raccoon for Lemmy app @lemmy.world
    occultist8128 @infosec.pub

    is it just me or anyone else also experiencing this?

    i can't share an image from my gallery app to raccoon to post to a community. is this a bug or not implemented yet?

    Testing @lemmy.ca
    occultist8128 @infosec.pub

    testing

    Programming @programming.dev
    occultist8128 @infosec.pub

    Firebase alternative recommendation based on your experience?

    I need JSON-like database and it should also have a storage to store media like images or videos.

    Ask Lemmy @lemmy.world
    occultist8128 @infosec.pub

    Do you think a religious Marxist weird?

    First, I don't know where I have to put this kind of question on Lemmy so I'm asking it here. Marx viewed religion as a negative force, often referring to it as the 'opiate of the masses.' If someone is religious and also identifies as a Marxist, do you think that's contradictory, or is it just a matter of mislabeling themselves? Would it be more accurate for them to call themselves a socialist instead of a Marxist?

    Ask Lemmy @lemmy.world
    occultist8128 @infosec.pub

    Do you know any local uncensored and tiny (1b-3b) LLM model?

    Ask Lemmy @lemmy.world
    occultist8128 @infosec.pub

    When you're not feeling well, do you prefer to use conventional medicine (like from a doctor or pharmacy) or do you lean towards herbal alternatives? Why or why not?

    i've been thinking about how people approach health when they're feeling unwell. some folks prefer to go to a doctor or use pharmaceutical medicine from the pharmacy, while others choose herbal remedies or alternative treatments. personally, i prefer using herbal remedies because i believe that all the ingredients in pharmaceutical medicines ultimately come from nature, and we can find those remedies ourselves in plants. what about you?

    edit: cmon guys it's not about the traditional vs modern treatment. just wanna know other's opinion about this..

    No Stupid Questions @lemmy.world
    occultist8128 @infosec.pub

    Why I Haven't Seen Any Trump Supporters In Fediverse (Lemmy and Mastodon)?

    as a person that came from the 3rd world country and new in fediverse environment, i genuinely would like to know about this.

    edit: thanks for the replies! sorry, i literally don't know the reason since i'm not a western lol. twitter/x is too biased especially when musk openly supports trump so i came here and seeing fediverse is mostly are harris or biden (when he's still up for the candidate) supporters. don't know about reddit tho, i only use reddit as a forum for linux and programming stuff.

    Ruby @programming.dev
    occultist8128 @infosec.pub

    What LSP Are You Using?

    Open Source @lemmy.ml
    occultist8128 @infosec.pub

    What's Pastebin.com Open Source Alternative For Now?

    all i can find is the self-host ones, what i'm looking for is the centralized like pastebin.com but open source. thanks in advance.