Skip to content

Instantly share code, notes, and snippets.

View gksato's full-sized avatar

Genki Sato gksato

10 followers · 10 following
  • Fcuro, Inc.
  • Tokyo, Japan
  • 22:41 (UTC +09:00)
View GitHub Profile
@gksato
gksato / 1-install.sh
Last active July 9, 2023 03:56
Haskell install steps for Freeze 4 on 20230619 of AtCoder Lanugage Update 202301
#! /bin/bash
sudo apt-get update
sudo apt-get upgrade -y
sudo apt-get install -y build-essential curl libffi-dev libffi8ubuntu1 libgmp-dev libgmp10 libncurses-dev libncurses5 libtinfo5 llvm-14
curl --proto '=https' --tlsv1.2 -sSf https://get-ghcup.haskell.org | BOOTSTRAP_HASKELL_NONINTERACTIVE=1 BOOTSTRAP_HASKELL_GHC_VERSION=9.4.5 BOOTSTRAP_HASKELL_CABAL_VERSION=3.8.1.0 BOOTSTRAP_HASKELL_INSTALL_NO_STACK=1 sh
source ~/.ghcup/env
mkdir -p submission/app
@gksato
gksato / 1-install.sh
Last active June 11, 2023 01:45
Haskell install steps for Freeze 3 on 20230409 of AtCoder Lanugage Update 202301
#! /bin/bash
sudo apt-get update
sudo apt-get upgrade -y
sudo apt-get install -y build-essential curl libffi-dev libffi8ubuntu1 libgmp-dev libgmp10 libncurses-dev libncurses5 libtinfo5 llvm-13
curl --proto '=https' --tlsv1.2 -sSf https://get-ghcup.haskell.org | BOOTSTRAP_HASKELL_NONINTERACTIVE=1 BOOTSTRAP_HASKELL_GHC_VERSION=9.4.4 BOOTSTRAP_HASKELL_CABAL_VERSION=3.8.1.0 BOOTSTRAP_HASKELL_INSTALL_NO_STACK=1 sh
source ~/.ghcup/env
mkdir -p submission/app
@gksato
gksato / 1-install.sh
Last active April 5, 2023 10:06
Haskell install steps for Freeze 2 on 20230327 of AtCoder Lanugage Update 202301
#! /bin/bash
sudo apt-get update
sudo apt-get upgrade -y
sudo apt-get install -y build-essential curl libffi-dev libffi8ubuntu1 libgmp-dev libgmp10 libncurses-dev libncurses5 libtinfo5 llvm-13
curl --proto '=https' --tlsv1.2 -sSf https://get-ghcup.haskell.org | BOOTSTRAP_HASKELL_NONINTERACTIVE=1 BOOTSTRAP_HASKELL_GHC_VERSION=9.4.4 BOOTSTRAP_HASKELL_CABAL_VERSION=3.8.1.0 BOOTSTRAP_HASKELL_INSTALL_NO_STACK=1 sh
source ~/.ghcup/env
sudo mkdir -p /judge && sudo chown runner /judge && cd judge
@gksato
gksato / 1-install.sh
Last active March 19, 2023 06:34
Haskell Proposal 20230313 for AtCoder Language Update 202301
#! /bin/bash
sudo apt-get update
sudo apt-get upgrade -y
apt-get install -y build-essential curl libffi-dev libffi8ubuntu1 libgmp-dev libgmp10 libncurses-dev libncurses5 libtinfo5 llvm-13
curl --proto '=https' --tlsv1.2 -sSf https://get-ghcup.haskell.org | BOOTSTRAP_HASKELL_NONINTERACTIVE=1 BOOTSTRAP_HASKELL_GHC_VERSION=9.4.4 BOOTSTRAP_HASKELL_CABAL_VERSION=3.8.1.0 BOOTSTRAP_HASKELL_INSTALL_NO_STACK=1 sh
source ~/.ghcup/env
cd /judge
@gksato
gksato / atcoder-haskell-dependency-license-20230203.txt
Created February 3, 2023 05:22
Haskell dependency licenses as of version 20230203 in AtCoder Language Update 2023/01
GHC(BSD-3-Clause): https://www.haskell.org/ghc/license.html
# The following includes all transitive dependencies.
# Not all of these can be directly imported from submitted source codes.
Cabal(BSD-3-Clause): https://hackage.haskell.org/package/Cabal/src/LICENSE,
Cabal-syntax(BSD-3-Clause): https://hackage.haskell.org/package/Cabal-syntax/src/LICENSE,
OneTuple(BSD-3-Clause): https://hackage.haskell.org/package/OneTuple/src/LICENSE,
QuickCheck(BSD-3-Clause): https://hackage.haskell.org/package/QuickCheck/src/LICENSE,
StateVar(BSD-3-Clause): https://hackage.haskell.org/package/StateVar/src/LICENSE,
adjunctions(BSD-3-Clause): https://hackage.haskell.org/package/adjunctions/src/LICENSE,
@gksato
gksato / Length_test.md
Last active June 21, 2020 08:58
The optimization results of two definitions of Data.Vector.Generic.length

Test of vector: Data.Vector.Generic.length revised (Simplified version)

Summary

This gist is here to record the result of a test I conducted in order to compare the optimization of versions of the function Data.Vector.Generic.length in vector. The test was conducted by compiling a simple program (Test.hs) with different revisions and checking the optimization result (-ddump-simpl). The versions compared are:

@gksato
gksato / Length_test.md
Last active June 3, 2020 22:45
Two optimization results of Data.Vector.Generic.length with different revisions

Test of vector: Data.Vector.Generic.length revised

Summary

This gist is here to record the result of a test I conducted in order to compare the optimization of versions of the function Data.Vector.Generic.length in vector. The test was conducted by compiling a simple program (Test.hs) with different revisions and checking the optimization result (-ddump-simpl). The versions compared are: