Skip to content

Instantly share code, notes, and snippets.

View foldfelis's full-sized avatar

JingYu Ning foldfelis

  • NTHU
  • Taiwan
View GitHub Profile
terasakisatoshi / genie_on_jupyter.ipynb
Last active February 2, 2021 07:21
Genie.jl on Jupyter Notebook
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.

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

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

foldfelis / ReadInStream.jl
Last active July 21, 2020 09:16
Read keyboard key.
using REPL
# +-------+
# | Utils |
# +-------+
read_next_byte(io::IO) = read(io, 1)[1]
function read_stream_bytes(stream::IO)
queue = UInt8[]
tanyuan / fcitx-chewing.png
Last active February 26, 2023 14:20
Ubuntu: fcitx + chewing 新酷音輸入法
olofsen / rs.jl
Last active May 31, 2020 06:15
Reading, displaying, and converting a Sixel Graphics file with Julia
# 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))