zunction

How to use Pelican on GitHub Pages

Author: Josef Jezek

Install on Ubuntu

Installing Python tools

sudo apt-get install python-setuptools

zunction

"""
Comparing adagrad, adadelta and constant learning in gradient descent(the seddle point function y^2 - x^2)

Reference:
1. comparison on several learning rate update scheme: http://ml.memect.com/archive/2014-12-12/short.html#3786866375172817
2. Saddle point, http://en.wikipedia.org/wiki/Saddle_point

"""
import numpy as np
import theano

zunction

How to run python on git bash (portable)

1. In git bash cd ~ followed by vim .bashrc.
2. Add alias python='winpty python.exe.
3. Restart the shell to apply the change.

zunction

import pycuda
import pycuda.driver as cuda
from pycuda.compiler import SourceModule
import threading
import numpy as np

Global memory

zunction

Quick List of Resources for Topological Data Analysis with Emphasis on Machine Learning

This is just a quick list of resourses on TDA that I put together for @rickasaurus after he was asking for links to papers, books, etc on Twitter and is by no means an exhaustive list.

Survey Papers

Both Carlsson's and Ghrist's survey papers offer a very good introduction to the subject

• Topology and Data by Gunnar Carlsson
• Barcodes: The Persistent Topology of Data by Robert Ghrist

Other Papers and Web Resources

• Extracting insights from the shape of complex data using topology A good introductory paper in Nature on the Mapper algorithm.

zunction

import matplotlib.pyplot as plt

def draw_neural_net(ax, left, right, bottom, top, layer_sizes):
    '''
    Draw a neural network cartoon using matplotilb.
    
    :usage:
        >>> fig = plt.figure(figsize=(12, 12))
        >>> draw_neural_net(fig.gca(), .1, .9, .1, .9, [4, 7, 2])
    

zunction

Require Import Coq.Lists.List.
Require Import Coq.Bool.Bool.
Import ListNotations.

Lemma negb_existsb_nth_error {A} (ls : list A) (f : A -> bool) (H : existsb f ls = false) n v (H' : nth_error ls n = Some v)
  : f v = false.
Proof.
  revert dependent n; induction ls, n; cbn in *; intros; try congruence.
  all: repeat first [ progress subst
                    | rewrite orb_false_iff in *

zunction

From mathcomp Require Import all_ssreflect.

From void Require Import void.
From deriving Require Import deriving.

From Coq Require Import Extraction.

Require Import Coq.Strings.String.
Open Scope string_scope.

zunction

From mathcomp Require Import all_ssreflect.

From void Require Import void.
From deriving Require Import deriving.

From Coq Require Import Extraction.

Require Import Coq.Strings.String.
Open Scope string_scope.

zunction

From mathcomp Require Import all_ssreflect.

From void Require Import void.
From deriving Require Import deriving.

From Coq Require Import Extraction.

Require Import Coq.Strings.String.
Open Scope string_scope.