JingYu Ning foldfelis

## genie_on_jupyter.ipynb

      
              1 file
            
          
              0 forks
            
          
                1 comment
              
            
              1 star
            
          
                terasakisatoshi
                / genie_on_jupyter.ipynb
            
            
              Last active
              February 2, 2021 07:21
            
              
                Genie.jl on Jupyter Notebook
              
          
      Loading

      Sorry, something went wrong. Reload?
      Sorry, we cannot display this file.
      Sorry, this file is invalid so it cannot be displayed.
      
          Viewer requires iframe.
      
    
## FLOLAC-STLC.lagda.md

      
              1 file
            
          
              2 forks
            
          
                1 comment
              
            
              3 stars
            
          
                L-TChen
                / FLOLAC-STLC.lagda.md
            
            
              Last active
              August 20, 2020 15:42
            
          
    Intrinsically-typed de Bruijn representation of simply typed lambda calculus

open import Data.Nat
open import Data.Empty
  hiding (⊥-elim)
open import Relation.Nullary
open import Relation.Binary.PropositionalEquality

  
## MSI Prestige 14 on Void Linux.md

      
              1 file
            
          
              1 fork
            
          
                9 comments
              
            
              15 stars
            
          
                abenson
                / MSI Prestige 14 on Void Linux.md
            
            
              Last active
              July 13, 2025 17:08
            
          
    Void Linux on the MSI Prestige 14 (A10SC)

Pretty much everything is working out of the box. The screen is beautiful and the keyboard is nice to type on.
The battery life when just doing using the laptop as a portable laptop is pretty good. It's light, thin.
I look forwarding to testing its for some light gaming, but until then, here's what I did to get everything working on it.
Basic Installation


## ReadInStream.jl
using REPL

# +-------+
# | Utils |
# +-------+

read_next_byte(io::IO) = read(io, 1)[1]

function read_stream_bytes(stream::IO)
    queue = UInt8[]

## fcitx-chewing.png

      
              2 files
            
          
              12 forks
            
          
                6 comments
              
            
              52 stars
            
          
                tanyuan
                / fcitx-chewing.png
            
            
              Last active
              August 19, 2024 22:42
            
              
                Ubuntu: fcitx + chewing 新酷音輸入法
              
          
## rs.jl
# The function ds() below reads a Sixel graphics file and creates an RGB Image,
# which can then be displayed and processed using the Image package.
# Public domain example code.

using Color, Images, ImageView

function vt340_palette()
  pal = RGB[]
  push!(pal, RGB(0.00, 0.00, 0.00))
  push!(pal, RGB(0.20, 0.20, 0.80))
	using REPL

	# +-------+
	# \| Utils \|
	# +-------+

	read_next_byte(io::IO) = read(io, 1)[1]

	function read_stream_bytes(stream::IO)
	queue = UInt8[]
	# The function ds() below reads a Sixel graphics file and creates an RGB Image,
	# which can then be displayed and processed using the Image package.
	# Public domain example code.

	using Color, Images, ImageView

	function vt340_palette()
	pal = RGB[]
	push!(pal, RGB(0.00, 0.00, 0.00))
	push!(pal, RGB(0.20, 0.20, 0.80))