Skip Navigation
InitialsDiceBearhttps://github.com/dicebear/dicebearhttps://creativecommons.org/publicdomain/zero/1.0/„Initials” (https://github.com/dicebear/dicebear) by „DiceBear”, licensed under „CC0 1.0” (https://creativecommons.org/publicdomain/zero/1.0/)CE

In Molkino по-любому we trust.

Posts
4
Comments
20
Joined
1 yr. ago
shitposting @lemmygrad.ml
82cb5abccd918e03 @lemmygrad.ml

0x1f53b

  • 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.

  • 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.

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

     undefined
        
    ⰀⰁⰂⰃⰄⰅⰆⰇⰈⰉⰊⰋⰌⰍⰎⰏⰐⰑⰒⰓⰔⰕⰖⰗⰘⰙⰚⰛⰜⰝⰞⰟⰠⰡⰢⰣⰤⰥⰦⰧⰨⰩⰪⰫⰬⰭⰮⰰⰱⰲⰳⰴⰵⰶⰷⰸⰹⰺⰻⰼⰽⰾⰿⱀⱁⱂⱃⱄⱅⱆⱇⱈⱉⱊⱋⱌⱍⱎⱏⱐⱑⱒⱓⱔⱕⱖⱗⱘⱙⱚⱛⱜⱝⱞ
    
      
  • No that looks like

     undefined
        
    ⌶⌷⌸⌹⌺⌻⌼⌽⌾⌿⍀⍁⍂⍃⍄⍅⍆⍇⍈⍉⍊⍋⍌⍍⍎⍏⍐⍑⍒⍓⍔⍕⍖⍗⍘⍙⍚⍛⍜⍝⍞⍟⍠⍡⍢⍣⍤⍥⍦⍧⍨⍩⍪⍫⍬⍭⍮⍯⍰⍱⍲⍳⍴⍵⍶⍷⍸⍹⍺
    
      
  • 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.

  • Comradeship // Freechat @lemmygrad.ml
    82cb5abccd918e03 @lemmygrad.ml

    UCSC Palestine protest attacked by police last night, got even bigger this morning

    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 b

    shitposting @lemmygrad.ml
    82cb5abccd918e03 @lemmygrad.ml

    holy crap (oc)

  • Back when I had to use a windows vm just did

     bash
        
    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:

     text
        
                  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 [email protected]:~/path/stuff output_dir to get files from Linux.

  • 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.

  • Guix @lemmy.ml
    82cb5abccd918e03 @lemmygrad.ml

    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?

  • Been using Yandex as my default search for almost a year now. It's like the old Google and DDG. It doesn't have as many SEO sites like Google results and actually respects when you put quotes around to force include a word in the query making it much more useful for searching up programming errors. The only downside I found is that it has a bunch of anti-degeneracy filters which sometimes interfere if for example if you search up something like "unixporn" it will try and block the word "porn" in the results. Also translate.yandex.com is really good at translating Russian, but seems slightly worse than Google translate for Chinese.

  • I saw that video too. Geometric algebra is equivalent to Clifford algebra, while linear algebra studies matrices (mappings between vector spaces) which I'm pretty sure generalize to any ring. I wouldn't say that "geometric algebra is a generalization of linear algebra" since I think they are distinct.

    My opinion is that it should replace any mention of imaginary number and quaternions in curriculum instead of just confusing students by introducing those as fact without showing the reasoning.

    Also I think you would like this video (or 哔哩 link) which I find pretty insane.