jb55

import Control.Monad
import Control.Monad.Random

data RPS = Rock | Paper | Scissors
         deriving (Show, Eq, Read)

data Result = Win | Lose | Tie
            deriving (Show, Eq)

sjoerdvisscher

{-# LANGUAGE FlexibleInstances, DeriveFunctor #-}

import Control.Applicative
import Data.Unfolder
import Data.Unfoldable
import Data.Ratio
import Test.QuickCheck hiding (choose)


class Polynomial p where

sjoerdvisscher

 -1 0 1 2 3 4 5
\ / \\/ \ / \ /
 \   //  \   /
  \ //    \ /
   \\      /
    \\    /
     \\  /
      \\/
       //
      //

dmalikov

Various blog posts related to Nix and NixOS

---

General

• https://nixos.org/wiki/Main_Page Nix wiki. Awesome resource containing huge amount of manuals and documentation with examples.
• http://aflatter.de/nixos/ Alexander Flatter - NixOS. Installing NixOS inside a VirtualBox with a real-world configuration.nix example.
• http://lethalman.blogspot.it/search/label/nixpills Luca Bruno - Nix Pills. Series of posts describing how to install nix into some environment and how to use it.
• http://looprecur.com/blog/from-ubuntu-to-nixos/ Tim Sears - From Ubuntu to NixOS. Talk about experience migrating from Ubuntu to NixOS.

HeinrichApfelmus

{------------------------------------------------------------------------------
    reactive-banana

    Implementation of an "industry strength" game loop with fixed time step
    and variable fps.

    See also  http://gafferongames.com/game-physics/fix-your-timestep/
-------------------------------------------------------------------------------}
{-# LANGUAGE NoMonomorphismRestriction #-}
module Main where

domenkozar

1. Put ci.yaml into .github/workflows/
2. Follow https://github.com/cachix/cachix-action#usage to setup Cachix and benefit from quick CI build times.

ghostbar

[Unit]
Description=Loggly Forwarder

[Service]
ExecStart=/bin/sh -c "journalctl -o short -f | awk '{ print \"\<34\>1\", $0; fflush(); }' | awk '{ print $0, \"[your-consumer-token-from-loggly@41058 tag='deis']\" }' | ncat --ssl logs-01.loggly.com 6514"

[Install]
WantedBy=multi-user.target

[X-Fleet]

mtigas

[mike.tig.as][mta] server configuration

This gist contains the nginx and tor configurations for the [mike.tig.as][mta] servers, mainly to show:

• Use of the chris-lea/nginx-devel PPA to allow use of SPDY.
• ssl_ciphers selection to mitigate BEAST attack, enable [perfect forward secrecy][pfs] if possible and select the strongest possible ciphers within those bounds. (Exception is made for several ciphers at the end of list, for compatibility reasons.)

NicolasT

> module Paxos.Basic where

> import Data.List (maximumBy)
> import Data.Maybe (catMaybes)

Phase 1a: Prepare
=================
A Proposer (the leader) creates a proposal identified with a number N. This
number must be greater than any previous proposal number used by this Proposer.
Then, it sends a Prepare message containing this proposal to a Quorum o

Helw150

from transformers import AutoTokenizer, T5ForConditionalGeneration

# Model Init
n_gpu = 8
tokenizer = AutoTokenizer.from_pretrained("google/flan-ul2")
model = T5ForConditionalGeneration.from_pretrained("google/flan-ul2")
heads_per_gpu = len(model.encoder.block) // n_gpu 
device_map = {
    gpu: list(
        range(