AndrasKovacs

{-# language DataKinds, PolyKinds, ScopedTypeVariables, UndecidableInstances,
    FlexibleInstances, FlexibleContexts, GADTs, TypeFamilies, RankNTypes,
    LambdaCase, TypeOperators, ConstraintKinds #-}

import GHC.TypeLits
import Data.Proxy
import Data.Singletons.Prelude
import Data.Singletons.Decide
import Data.Constraint

BekaValentine

module Scratch where

postulate
  Inf  : ∀ {a} (A : Set a) → Set a
  delay : ∀ {a} {A : Set a} → A → Inf A
  force  : ∀ {a} {A : Set a} → Inf A → A

{-# BUILTIN INFINITY Inf  #-}
{-# BUILTIN SHARP    delay #-}
{-# BUILTIN FLAT     force  #-}

BekaValentine

infix 1000 ♯_

postulate
  ∞  : ∀ {a} (A : Set a) → Set a
  ♯_ : ∀ {a} {A : Set a} → A → ∞ A
  ♭  : ∀ {a} {A : Set a} → ∞ A → A

{-# BUILTIN INFINITY ∞  #-}
{-# BUILTIN SHARP    ♯_ #-}
{-# BUILTIN FLAT     ♭  #-}

genekogan

Instructions for making a Neural-Style movie

The following instructions are for creating your own animations using the style transfer technique described by Gatys, Ecker, and Bethge, and implemented by Justin Johnson. To see an example of such an animation, see this video of Alice in Wonderland re-styled by 17 paintings.

Setting up the environment

The easiest way to set up the environment is to simply load Samim's a pre-built Terminal.com snap or use another cloud service like Amazon EC2. Unfortunately the g2.2xlarge GPU instances cost $0.99 per hour, and depending on parameters selected, it may take 10-15 minutes to produce a 512px-wide image, so it can cost $2-3 to generate 1 sec of video at 12fps.

If you do load the

gallais

{-# OPTIONS --copatterns #-}

module UntypedLambda where

open import Size
open import Function

mutual

  data Delay (A : Set) (i : Size) : Set where

gallais

module InstanceLoop where

record Target (A : Set) : Set where
  constructor mkTarget
  field
    a : A

instance

  loop : {A : Set} {{tA : Target A}} → Target A

grugq

Simple Security Guidelines

Using an iDevice? (Best option)

• Use an iPod or an iPad without a SIM card
• Use an iPhone
• Do not jailbreak
• Always upgrade to new iOS versions
• Use Brave browser

Need Secure chat?

mnot

Edward Snowden at IETF 93

Edward Snowden answered questions after a showing of CITIZENFOUR at the IETF93 meeting; this is a transcript of the video recording.

For more information, see the Internet Society article.

• Introduction
• Scale of Pervasive Monitoring
• Returning to the US
• Preserving the Internet

pbrisbin

Go through the following from within the project root.

Project prep

This will:

• Move ~/.ghc to avoid a known bug
• Create a user-writable /app for building
• Clone the halcyon build tool into /app
• Remove any current build artifacts

mithrandi

FROM ubuntu:14.04
RUN apt-get update && apt-get install -y build-essential git pigz zlib1g-dev vim curl libpq-dev
ADD . /halcyon
RUN ["/halcyon/halcyon", "paths"]
ENTRYPOINT ["/halcyon/halcyon"]