I hereby claim:
- I am berberman on github.
- I am berberman (https://keybase.io/berberman) on keybase.
- I have a public key whose fingerprint is 3E1E A2B6 AB05 352D 855F F562 C4F9 3F1E D397 E8CF
To claim this, I am signing this object:
| [ | |
| { | |
| "body": "≠", | |
| "description": "≠", | |
| "label": "=n" | |
| }, | |
| { | |
| "body": "∼", | |
| "description": "∼", | |
| "label": "~" |
| Nix 4 hrs 53 mins ██████████▏░░░░░░░░░░ 48.8% | |
| Agda 3 hrs 4 mins ██████▍░░░░░░░░░░░░░░ 30.7% | |
| Haskell 1 hr 7 mins ██▎░░░░░░░░░░░░░░░░░░ 11.2% | |
| Kotlin 24 mins ▊░░░░░░░░░░░░░░░░░░░░ 4.0% | |
| Other 13 mins ▍░░░░░░░░░░░░░░░░░░░░ 2.2% |
I hereby claim:
To claim this, I am signing this object:
| #! /usr/bin/env nix-shell | |
| #! nix-shell --pure -i "runghc -- -package --ghc-arg=ghc" -p "haskellPackages.ghcWithPackages (p: with p; [ ghc-exactprint pretty-simple ])" | |
| import GHC.Hs.Dump | |
| import Language.Haskell.GHC.ExactPrint.Parsers | |
| import GHC.Utils.Outputable | |
| import System.Environment | |
| import Text.Pretty.Simple | |
| main :: IO () |
| {-# LANGUAGE RankNTypes #-} | |
| module Test where | |
| import Data.Generics | |
| import Data.Void (Void) | |
| myGeq :: forall a. Data a => a -> a -> Bool | |
| myGeq a b = myGeq' a b | |
| where | |
| myGeq' :: GenericQ (GenericQ Bool) |
| {-# LANGUAGE OverloadedStrings #-} | |
| {-# LANGUAGE ViewPatterns #-} | |
| {-# OPTIONS_GHC -Wall #-} | |
| module Gen where | |
| import Data.Text (Text) | |
| import qualified Data.Text as T | |
| import qualified Data.Text.IO as T | |
| import Data.Void (Void) |
org.fcitx.fcitx5.android.plugin| {-# LANGUAGE OverloadedStrings #-} | |
| {-# LANGUAGE ScopedTypeVariables #-} | |
| {-# LANGUAGE TupleSections #-} | |
| {-# LANGUAGE ViewPatterns #-} | |
| module Zhang where | |
| import Control.Monad (forM_) | |
| import Data.Function (on) | |
| import Data.List (maximumBy, minimumBy, (\\)) |
| #! /usr/bin/env -S NIXPKGS_ALLOW_UNFREE=1 nix-shell | |
| #! nix-shell -i runghc -p "haskellPackages.ghcWithPackages (p: with p; [ shake ])" imagemagick steam-run | |
| module Main where | |
| import Development.Shake | |
| import Development.Shake.FilePath | |
| main :: IO () | |
| main = shake shakeOptions $ do | |
| action $ do |
| simplex[a_, c_, bIdx1_, ab_, itr_] := | |
| Module[{cols, colB, b, bInv, bIdx = bIdx1, rc, theta, j, aj, s, cb, | |
| u, l, fc, thetas, n = 0}, | |
| cols = Transpose[a]; | |
| While[n++ < itr, | |
| colB = cols[[#]] & /@ bIdx; | |
| Print["basic indices=", bIdx]; | |
| b = Transpose[colB]; | |
| Print["basic matrix=", MatrixForm[b]]; | |
| bInv = Inverse[b]; |