s41m0n

Linux - Nvidia switchable setup guide

The aim of this guide is to provide a working strategy to make your dedicated graphic card turn on/off correctly in a Linux environment (with xorg).

The following scripts have been created by tyrells and this guide is a remake of Graff's one.

Required Packages

The following two packages are stricly required:

felipeochoa

;;; pp-debug.el --- Pretty-printing debugger  -*- lexical-binding: t -*-

;; Copyright (C) 2018 Felipe Ochoa

;; Author: Felipe Ochoa
;; Created: 5 Dec 2017
;; License: GPLv3

;;; Commentary:
;;; Pretty-print debugger frames.

shoyer

bayesian_neural_network.ipynb

andrejbauer

(* How do to topology in Coq if you are secretly an HOL fan.
   We will not use type classes or canonical structures because they
   count as "advanced" technology. But we will use notations.
 *)

(* We think of subsets as propositional functions.
   Thus, if [A] is a type [x : A] and [U] is a subset of [A],
   [U x] means "[x] is an element of [U]".
*)
Definition P (A : Type) := A -> Prop.

melix

Automated solver for 2048

This is a script which runs a "bot" that tries to solve the incredibly addictive 2048 game. It makes use of Groovy and browser automation with Geb.

How to

• First step, if you don’t have it, you need to install Groovy.

• Second step is to install the Google Chrome WebDriver (just unzip the appropriate file to a local directory)

• Next, edit the script to set the path to the Chrome Driver

• then execute the script: groovy solver2048.groovy

nouiz

import numba
import numpy


#The filter2d with the same signature as Theano
#but not a class method.
def filter2d_theano(node, inputs, outputs):
    image, filt = inputs
    M, N = image.shape
    Mf, Nf = filt.shape

jboner

Latency Comparison Numbers (~2012)
----------------------------------
L1 cache reference                           0.5 ns
Branch mispredict                            5   ns
L2 cache reference                           7   ns                      14x L1 cache
Mutex lock/unlock                           25   ns
Main memory reference                      100   ns                      20x L2 cache, 200x L1 cache
Compress 1K bytes with Zippy             3,000   ns        3 us
Send 1K bytes over 1 Gbps network       10,000   ns       10 us
Read 4K randomly from SSD*             150,000   ns      150 us          ~1GB/sec SSD