Skip to content

Instantly share code, notes, and snippets.

View hilbert-yaa's full-sized avatar

Yuang (Hilbert) Chen hilbert-yaa

  • nullptr
View GitHub Profile
@karpathy
karpathy / stablediffusionwalk.py
Last active November 5, 2025 20:13
hacky stablediffusion code for generating videos
"""
stable diffusion dreaming
creates hypnotic moving videos by smoothly walking randomly through the sample space
example way to run this script:
$ python stablediffusionwalk.py --prompt "blueberry spaghetti" --name blueberry
to stitch together the images, e.g.:
$ ffmpeg -r 10 -f image2 -s 512x512 -i blueberry/frame%06d.jpg -vcodec libx264 -crf 10 -pix_fmt yuv420p blueberry.mp4
@jasonzhouu
jasonzhouu / chinese_input_in_manjaro.md
Last active December 7, 2025 12:21
Config Chinese input method in Manjaro(Manjaro 配置中文输入法)

1. install packages

run:

yay -Syu adobe-source-han-sans-otc-fonts adobe-source-han-serif-otc-fonts 
yay -Syu fcitx fcitx-googlepinyin fcitx-im fcitx-configtool

2. config environmental variables

sudo vim /etc/profile
@a7madgamal
a7madgamal / .zpreztorc
Last active May 7, 2023 14:03
my Prezto config (zsh shell)
#
# Sets Prezto options.
#
# Authors:
# Sorin Ionescu <[email protected]>
#
#
# General
#
@0xjac
0xjac / private_fork.md
Last active December 5, 2025 18:37
Create a private fork of a public repository

The repository for the assignment is public and Github does not allow the creation of private forks for public repositories.

The correct way of creating a private frok by duplicating the repo is documented here.

For this assignment the commands are:

  1. Create a bare clone of the repository. (This is temporary and will be removed so just do it wherever.) 
    

    2. 



git clone --bare [email protected]:usi-systems/easytrace.git



  


  




    


          
    

      

        
        

          

              @n-st
          

          

            
                n-st
                / .bash_profile
            
            

              Created
              May 29, 2016 12:04
            

              
                Start zsh from bashrc. Useful when you can't use chsh or when the same LDAP account is used both on systems with zsh installed and ones without.
              
          

        

      

        

  

    
    


        



  


  

        

          
          # .bash_profile is executed for login shells,
        

        

          
          # .bashrc is executed for interactive non-login shells.
        

        

          
          # We want the same behaviour for both, so we source .bashrc from .bash_profile.
        

        

          
          # Also, when .bash_profile exists, bash ignores .profile, so we have to source
        

        

          
          # it explicitly.
        

        

          
          

        

        

          
          if [ -f "$HOME/.profile" ]; then
        

        

          
              . "$HOME/.profile"
        

        

          
          fi