Code for Keras plays catch blog post
python qlearn.py
- Generate figures
#!/usr/bin/env -S bash -xeuo pipefail | |
set -xeuo pipefail | |
pkg install pacman patchelf \ | |
which time ldd tree | |
echo | |
echo |
(* Code extracted from: | |
SAT-MICRO: petit mais costaud ! | |
by Sylvain Conchon, Johannes Kanig, Stéphane Lescuyer | |
*) | |
module type VARIABLES = sig | |
type t | |
val compare : t -> t -> int | |
end |
Code for Keras plays catch blog post
python qlearn.py
#!/bin/bash | |
##################################################### | |
# Name: Bash CheatSheet for Mac OSX | |
# | |
# A little overlook of the Bash basics | |
# | |
# Usage: | |
# | |
# Author: J. Le Coupanec | |
# Date: 2014/11/04 |
# coding=utf-8 | |
import os | |
import socket | |
import threading | |
import time | |
import traceback | |
import requests | |
def make_path(*parts): |
""" | |
RALIGN - Rigid alignment of two sets of points in k-dimensional | |
Euclidean space. Given two sets of points in | |
correspondence, this function computes the scaling, | |
rotation, and translation that define the transform TR | |
that minimizes the sum of squared errors between TR(X) | |
and its corresponding points in Y. This routine takes | |
O(n k^3)-time. | |
Inputs: |
As configured in my dotfiles.
start new:
tmux
start new with session name: