This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
      Learn more about bidirectional Unicode characters
    
  
  
    
  | // ==UserScript== | |
| // @name GH-PR-Approvals | |
| // @namespace http://serokell.io | |
| // @version 0.5 | |
| // @updateURL https://gist.githubusercontent.com/yorickvP/e69775e5b8997054103b855aea4103aa/raw/ | |
| // @description adds approval count to github PRs | |
| // @author You | |
| // @match https://github.com/* | |
| // @run-at document-start | |
| // @grant unsafeWindow | 
  
    
      This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
      Learn more about bidirectional Unicode characters
    
  
  
    
  | # asserts: 64-bit | |
| # auditd running | |
| # sudo auditctl -a exit,always -F arch=b64 -S connect | |
| import codecs, struct, socket, sys, os, re | |
| class AuditLog(object): | |
| def __init__(self): | |
| self.last_event = -1 | 
  
    
      This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
      Learn more about bidirectional Unicode characters
    
  
  
    
  | node keys.js > ./keys.json | |
| nix eval '(builtins.fromJSON builtins.readFile(./keys.json))' | 
  
    
      This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
      Learn more about bidirectional Unicode characters
    
  
  
    
  | Success!! | |
| Congratulations, you have finished the challenge. Below are listings of your last submitted programs. | |
| Program 1 | |
| l1 = h1; | |
| l2 = h2; | |
| l3 = h3; | |
| l4 = h4; | |
| l5 = h5; | |
| l6 = h6; | 
  
    
      This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
      Learn more about bidirectional Unicode characters
    
  
  
    
  | # Do not modify this file! It was generated by ‘nixos-generate-config’ | |
| # and may be overwritten by future invocations. Please make changes | |
| # to /etc/nixos/configuration.nix instead. | |
| { config, lib, pkgs, ... }: | |
| { | |
| imports = | |
| [ <nixpkgs/nixos/modules/installer/scan/not-detected.nix> | |
| ]; | 
  
    
      This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
      Learn more about bidirectional Unicode characters
    
  
  
    
  | ;;; nix-mode.el --- Major mode for editing .nix files -*- lexical-binding: t -*- | |
| ;; Maintainer: Matthew Bauer <[email protected]> | |
| ;; Homepage: https://github.com/NixOS/nix-mode | |
| ;; Version: 1.2.1 | |
| ;; Keywords: nix, languages, tools, unix | |
| ;; Package-Requires: ((emacs "24.3")) | |
| ;; This file is NOT part of GNU Emacs. | 
  
    
      This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
      Learn more about bidirectional Unicode characters
    
  
  
    
  | -- ghci haspl.hs | |
| -- do a <- readFile "./kompilator/tests/25.spl"; parseTest splprog a | |
| import Control.Monad (void) | |
| import Data.Void | |
| import Text.Megaparsec | |
| import Text.Megaparsec.Char | |
| import Text.Megaparsec.Expr hiding (Operator) | |
| import Data.List | |
| import qualified Text.Megaparsec.Char.Lexer as L | 
  
    
      This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
      Learn more about bidirectional Unicode characters
    
  
  
    
  | let | |
| a = { | |
| b = 10; | |
| }; | |
| inherit (a) b; | |
| c = 3; | |
| in b | 
  
    
      This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
      Learn more about bidirectional Unicode characters
    
  
  
    
  | Filesystem Size Used Avail Use% Mounted on | |
| devtmpfs 1.6G 4.0K 1.6G 1% /dev | |
| tmpfs 16G 8.0K 16G 1% /dev/shm | |
| tmpfs 7.9G 5.4M 7.9G 1% /run | |
| tmpfs 16G 384K 16G 1% /run/wrappers | |
| /dev/disk/by-label/nixos 217G 174G 32G 85% / | |
| tmpfs 16G 0 16G 0% /sys/fs/cgroup | |
| tmpfs 3.2G 28K 3.2G 1% /run/user/1004 | |
| tmpfs 3.2G 0 3.2G 0% /run/user/1007 | |
| tmpfs 3.2G 16K 3.2G 1% /run/user/1008 | 
  
    
      This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
      Learn more about bidirectional Unicode characters
    
  
  
    
  | [yorick@jarvis:~/serokell/nixpkgs]$ nix-build . -A arcanist | |
| checking outputs of '/nix/store/pwvgg1dzmxpdd7hxl97zg5h9kdblrygv-arcanist-20170323.drv'... | |
| unpacking sources | |
| patching sources | |
| configuring | |
| no configure script, doing nothing | |
| building | |
| total 2124 | |
| drwxr-xr-x 1 nixbld1 nixbld 306 Sep 17 23:19 . | |
| drwxr-xr-x 1 nixbld1 nixbld 50 Sep 17 23:19 .. |