Zowε zowepsilon

📗

reading HoTT

zowepsilon / fib.sh

Last active October 15, 2024 18:21

	if [ $1 -le 1 ]; then
	echo $1
	else
	prev="$(expr $1 - 1)"
	x="$(curl https://gist.githubusercontent.com/anatom3000/0aa0deb9607fd87cc938b55d05c6ff7b/raw/ \| bash -s $prev)"
	prev="$(expr $1 - 2)"
	y="$(curl https://gist.githubusercontent.com/anatom3000/0aa0deb9607fd87cc938b55d05c6ff7b/raw/ \| bash -s $prev)"
	expr $x + $y
	fi

zowepsilon / rec.sh

Last active April 4, 2024 16:20

curl https://gist.githubusercontent.com/anatom3000/d02e0ff5e149ea6c296dd60a19aa5403/raw/ | bash

zowepsilon / physic_engine.py

Created June 28, 2020 08:10

	import math
	import time
	from threading import Thread

	def _closest(value, list):
	scale = []
	for i in list:
	scale.append(abs(value - i))
	a = min(scale)
	if value + a in list:

zowepsilon / settings.json

Created June 23, 2020 06:07

Parametres de generation