Skip to content

Instantly share code, notes, and snippets.

View MattsonThieme's full-sized avatar

MattsonThieme

7 followers · 1 following
View GitHub Profile
@taktoa
taktoa / atp-exercises.md
Last active August 20, 2022 01:26

A Self-Taught Course in Automated Reasoning using Haskell

Variables, Terms, and Syntactic Unification

Resources

  • [Introduction to Unification Theory Lecture 1][itut-1]
  • Sections 8.1 and 8.2 of [The Handbook of Automated Reasoning][hoar]

Exercises

@ravi9
ravi9 / build_install_TF_MKL_instructions.md
Last active December 30, 2023 23:48
Build and install Tensorflow with MKL from sources on Centos 7.x

Build and install instructions for Tensorflow with MKLDNN on a clean Centos 7.x machine.

Docker setup if needed

Docker install instructions: https://github.com/ravi9/misc-readmes/blob/master/install-docker-centos.md

docker pull centos/devtoolset-6-toolchain-centos7  

#Login into the docker with with USER 0 with sudo permissions.
docker run -it --user 0 centos/devtoolset-6-toolchain-centos7:latest /bin/bash