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: