"Initials" by "Florian Körner", licensed under "CC0 1.0". / Remix of the original. - Created with dicebear.comInitialsFlorian Körnerhttps://github.com/dicebear/dicebearGU
Guix 2mo ago
Jump
Add rootless-podman-service-type
  • "Initials" by "Florian Körner", licensed under "CC0 1.0". / Remix of the original. - Created with dicebear.comInitialsFlorian Körnerhttps://github.com/dicebear/dicebear82
    82cb5abccd918e03
    2mo ago 100%

    Would be pretty useful, as far as I know there is no way to change /etc/{subuid,subgid} in the system configuration without manually editing.

    Another annoyance with podman on guix is making / a shared mount doesn't work so changes in mounts aren't propagated.

    2
  • linux
    Linux 3mo ago
    Jump
    How was your experience using Linux in college?
  • "Initials" by "Florian Körner", licensed under "CC0 1.0". / Remix of the original. - Created with dicebear.comInitialsFlorian Körnerhttps://github.com/dicebear/dicebear82
    82cb5abccd918e03
    3mo ago 100%

    My freshman year I had a windows VM, only for WeChat and MS Teams, but by 2nd year WeChat got Linux support and MS Teams can now run in the browser, so I deleted the VM halfway through 2nd year. Zoom can also run in the browser.

    Also a good idea to make sure your microphone and camera works.

    And don't update if there's a deadline coming up soon since it might break.

    None of my professors required anything to be submitted as .docx. Every single general education class required PDFs for submissions, and programming classes were usually submitted by pushing to code to a Git repository. Group projects were all done in Google Drive which runs in the browser, otherwise latex usually worked (one prof even required latex). I never used LibreOffice, but I'm pretty sure it should be fine for PDFs.

    Psychology might require a bunch of proprietary statistical analysis software that probably won't support Linux. I would say a windows VM is best for that. Although R is fine on Linux. I was in computer science so none of my classes required proprietary software. In total over every single class I think only C, C++, Haskell, and Python interpreters/compilers were needed which are all free software. In some of my classes professors said they would refuse to help anyone on Windows if they weren't using an Ubuntu VM. One even said he would subtract points if anyone asked a question about windows. One crazy prof said he would fail you from the class if he saw you developing in Windows instead of the VM. Also any classes that require Docker are going to be way easier on Linux. Some of my friends were electrical engineers and they had to use some big proprietary IDE's for flashing binaries to micro controllers which didn't support Linux, but they were using Windows anyways. Also any CAD software almost certainly won't work, a VM is needed for that.

    If you do use a windows VM or dual boot or whatever, make sure to pirate Windows 10 LTSC since it has the least default applications installed and will run faster.

    2
  • BRICS to launch independent financial system
  • "Initials" by "Florian Körner", licensed under "CC0 1.0". / Remix of the original. - Created with dicebear.comInitialsFlorian Körnerhttps://github.com/dicebear/dicebear82
    82cb5abccd918e03
    3mo ago 100%

    Doesn't bitcoins blockchain use some sort of consensus algorithm, so if one party has more than 50% of the compute power they control everything?

    3
  • Man who took down North Korea's Internet posts an AMA.
  • "Initials" by "Florian Körner", licensed under "CC0 1.0". / Remix of the original. - Created with dicebear.comInitialsFlorian Körnerhttps://github.com/dicebear/dicebear82
    82cb5abccd918e03
    4mo ago 100%

    So according to the posts he spent $80,000 of his own money to buy cloud services, DoS 2 routers for a day, then is suprised the CIA didn't hire him.

    19
  • Programming as a hobby means I can do whatever I want!
  • "Initials" by "Florian Körner", licensed under "CC0 1.0". / Remix of the original. - Created with dicebear.comInitialsFlorian Körnerhttps://github.com/dicebear/dicebear82
    82cb5abccd918e03
    4mo ago 100%

    Doesn't that construction only work in categories that also contain their own morphisms as objects since a profunctor maps (Cᵒᵖ × C) → Set and not the same like (Cᵒᵖ × C) → C? Since the category of Haskell types special, containing its own morphisms, so the profunctor could be like (haskᵒᵖ × hask) -> hask? or I just don't understand it.

    4
  • If AI can now speak Italian, it can certainly replace us...
  • "Initials" by "Florian Körner", licensed under "CC0 1.0". / Remix of the original. - Created with dicebear.comInitialsFlorian Körnerhttps://github.com/dicebear/dicebear82
    82cb5abccd918e03
    4mo ago 100%

    I found it! its the Glagolitic script used in the 9th century before Cyrillic took over:

    ⰀⰁⰂⰃⰄⰅⰆⰇⰈⰉⰊⰋⰌⰍⰎⰏⰐⰑⰒⰓⰔⰕⰖⰗⰘⰙⰚⰛⰜⰝⰞⰟⰠⰡⰢⰣⰤⰥⰦⰧⰨⰩⰪⰫⰬⰭⰮⰰⰱⰲⰳⰴⰵⰶⰷⰸⰹⰺⰻⰼⰽⰾⰿⱀⱁⱂⱃⱄⱅⱆⱇⱈⱉⱊⱋⱌⱍⱎⱏⱐⱑⱒⱓⱔⱕⱖⱗⱘⱙⱚⱛⱜⱝⱞ
    
    33
  • If AI can now speak Italian, it can certainly replace us...
  • "Initials" by "Florian Körner", licensed under "CC0 1.0". / Remix of the original. - Created with dicebear.comInitialsFlorian Körnerhttps://github.com/dicebear/dicebear82
    82cb5abccd918e03
    4mo ago 100%

    Doesn't look like it to me:

    ልዩ ጊዜ ነበር። አሁን የሚሆነውን ለማስተዋል የኢንተርኔት አውራጃ ማረጋገጥ ነበር።
    
    6
  • If AI can now speak Italian, it can certainly replace us...
  • "Initials" by "Florian Körner", licensed under "CC0 1.0". / Remix of the original. - Created with dicebear.comInitialsFlorian Körnerhttps://github.com/dicebear/dicebear82
    82cb5abccd918e03
    4mo ago 100%

    No that looks like

    ⌶⌷⌸⌹⌺⌻⌼⌽⌾⌿⍀⍁⍂⍃⍄⍅⍆⍇⍈⍉⍊⍋⍌⍍⍎⍏⍐⍑⍒⍓⍔⍕⍖⍗⍘⍙⍚⍛⍜⍝⍞⍟⍠⍡⍢⍣⍤⍥⍦⍧⍨⍩⍪⍫⍬⍭⍮⍯⍰⍱⍲⍳⍴⍵⍶⍷⍸⍹⍺
    
    4
  • linux
    Linux 5mo ago
    Jump
    Your Experience with Linux, BSD etc
  • "Initials" by "Florian Körner", licensed under "CC0 1.0". / Remix of the original. - Created with dicebear.comInitialsFlorian Körnerhttps://github.com/dicebear/dicebear82
    82cb5abccd918e03
    5mo ago 100%

    Yeah it sucks that Node is on a 2 year old version. I ended up just using a Docker container for that stuff. Weird that Guix has some packages years out of date while others are always bleeding edge.

    2
  • linux
    Linux 5mo ago
    Jump
    Your Experience with Linux, BSD etc
  • "Initials" by "Florian Körner", licensed under "CC0 1.0". / Remix of the original. - Created with dicebear.comInitialsFlorian Körnerhttps://github.com/dicebear/dicebear82
    82cb5abccd918e03
    5mo ago 100%

    Yooo rare fellow Guix user. After a while Guix motivated me to learn Scheme. IMO easiest way is to just read the first chapter of SICP, its only about 60 pages.

    2
  • They were blocking most traffic in and out of the entrances for a couple weeks at this point. Last night at like 3am-ish. The local police seem to have brought in reinforcements from the other counties to try and out number the protestors. https://ca.news.yahoo.com/police-raid-pro-palestine-encampment-151407490.html One of my roommates was there at the time and got arrested, he isn't allowed back on campus for a couple weeks without getting arrested again, and finals are in 2 week so he can't take any in-person finals. Helping him move all his important stuff to his friends house. At night usually a lot of people leave so the arrests missed most of the protestors. They probably attacked at night because there were less protestors. This morning when the news spread the protest seems to have reformed and is even bigger. Went to checkout the main entrance protest today, its huge now. There must have been like 400 people in just one rally. The entrance is completely blocked this time by barricades. There really are 2 protests: the bigger Palestine ones and the TA's and are also joining in on the UAW strike. The Palestine protestors are blocking the main entrance while the TA's were blocking the side entrance. The TA protest hasn't reformed (yet) since the raid this morning. The problem for the administration is that TA's grade home-works, hold sections, and do research. If however many TA's get arrested the courses are going to start deteriorating. So I guess my programming assignments won't be getting graded for a while, and grade are supposed to come out in less than a month. <(。_。)>. Also finals may be pushed online. So far I can confirm at least one of the TA's in my databases class wasn't arrested and is still holding section on zoom. Also a couple days ago this email was sent to the entire school by the admin: > For the safety of the entire UCSC community, demonstrators must leave the main entrance and west entrance roadways. Blocking access to campus is dangerous and unlawful, and is preventing emergency vehicle access and preventing employees and students from leaving and from those who are currently on campus from accessing the childcare center. It is also preventing employees, such as dining workers and custodians, from entering campus for their evening shift. We call on the better judgment of the individuals in the area to deescalate the situation as soon as possible. I haven't been able to help as much as I like, but since the protests started I've donated a couple blankets and supplies. Will maybe join again after I finish this weeks homework. Hopefully divestment is successful. Things are probably only going to keep escalating from here.

    59
    3
    linux
    Linux 6mo ago
    Jump
    Why is folder sharing between host and guest in KVM so hard?
  • "Initials" by "Florian Körner", licensed under "CC0 1.0". / Remix of the original. - Created with dicebear.comInitialsFlorian Körnerhttps://github.com/dicebear/dicebear82
    82cb5abccd918e03
    6mo ago 100%

    Back when I had to use a windows vm just did

    qemu ... -net user,smb=$HOME/
    

    then in the windows vm just type \\10.0.2.4 into file explorer. Does that not work?

    man qemu says:

                  smb=dir[,smbserver=addr]
                         When using  the  user  mode  network  stack,  activate  a
                         built-in  SMB  server  so that Windows OSes can access to
                         the host files in dir transparently. The  IP  address  of
                         the  SMB server can be set to addr. By default the 4th IP
                         in the guest network is used, i.e. x.x.x.4.
    
                         In the guest Windows OS, the line:
    
                            10.0.2.4 smbserver
    
                         must be added in the file C:\WINDOWS\LMHOSTS (for windows
                         9x/Me)  or C:\WINNT\SYSTEM32\DRIVERS\ETC\LMHOSTS (Windows
                         NT/2000).
    
                         Then dir can be accessed in \\smbserver\qemu.
    
                         Note that a SAMBA server must be installed  on  the  host
                         OS.
    
    

    Another way is to setup Spice and use a webdav daemon in Windows to transfer files over Spice folder sharing.

    You could also just RDP to the machine which is probably the easiest.

    The simplest would just be to scp files to and from Windows. Like in powershell do scp -R yourusername@10.0.2.2:~/path/stuff output_dir to get files from Linux.

    2
  • Do Lemmygrad and Hexbear work on China without a VPN?
  • "Initials" by "Florian Körner", licensed under "CC0 1.0". / Remix of the original. - Created with dicebear.comInitialsFlorian Körnerhttps://github.com/dicebear/dicebear82
    82cb5abccd918e03
    7mo ago 100%

    Lemmygrad works, hexbear doesn't.

    Lemmy.ml got blocked while I was there, it stopped working one day back in July/August, I forgot.

    Lemmy.world was working last time I checked.

    It doesn't really matter though since you can see posts on hexbear from lemmygrad.

    10
  • "Initials" by "Florian Körner", licensed under "CC0 1.0". / Remix of the original. - Created with dicebear.comInitialsFlorian Körnerhttps://github.com/dicebear/dicebearGU
    Guix 8mo ago
    Jump
    Hardened kernel for Guix?
  • "Initials" by "Florian Körner", licensed under "CC0 1.0". / Remix of the original. - Created with dicebear.comInitialsFlorian Körnerhttps://github.com/dicebear/dicebear82
    82cb5abccd918e03
    8mo ago 100%

    The arch wiki has some stuff on kernel hardening. The Gentoo wiki has a lot of hardening stuff and is deeper since you can set your own compile flags.

    Do you mean hardening the kernel or hardening user space?

    For hardening the kernel there's patch-sets out there that add in extra measures like address space randomization for processes and restricting some system calls. Arch uses this kernel. Also look at Gentoo's kernel ebuild which has a hardened use flag . I don't really understand the reasoning behind everything, and it will have a performance penalty. You could probably easily make a new package definition to build any hardened kernel patches you want.

    Linux also has an optional SELinux system that can be enabled during compilation. It implements an ACL on top of the regular Unix style owner/group permissions in the filesystem. Guix has some support for it, but barely anyone uses SELinux (Arch doesn't even support it), although Gentoo does due to the flexibility of portage. So enabling SELinux on Guix is going into a niche of a niche with little support, but it's pretty interesting to learn about.

    For user space the usual advice is try to run as few programs as possible as root. For example the default set of %desktop-services has a lot of extra services you probably don't need like Avahi.

    Going deeper into impracticality, if you really really want you can change the compilation options for programs to add security measures like position independent code, stack canaries, extra control flow protection, address sanitizers, but these will all have performance penalties. You can take inspiration from how Gentoos hadened toolchain does it. These modifications are practically only possible on source based distros like Gentoo, Nix, and Guix since you need to recompile the program to add these measures in. You can probably add to packages fairly easily with a package transform like options->transformation by adding -fstack-protector-strong -fstack-clash-protection -fcf-protection=fullto the CFLAGS or something.

    2
  • "Initials" by "Florian Körner", licensed under "CC0 1.0". / Remix of the original. - Created with dicebear.comInitialsFlorian Körnerhttps://github.com/dicebear/dicebearGU
    Guix 82cb5abccd918e03 8mo ago 100%
    Proper way to dynamically link to `libstdc++.so.6`

    Compiling a rust program works correctly, but when running the binary the dynamic linker says `libstdc++.so.6: cannot open shared object file: No such file or directory`. The only way I found to get around this in a manifest file is with force accessing `gcc:lib` which is a private package definition: ```scheme (concatenate-manifests (list (packages->manifest (list (list (@@ (gnu packages gcc) gcc-13) "lib")) (specifications->manifest (list "coreutils" "libgccjit" "clang-toolchain" "other stuff...")))) ``` but the `@@` operator is kind of a hack since it accesses private definitions in a module and probably isn't mean to be normally used. Has anyone found a proper way to link to `libstdc++.so.6`?

    2
    0