This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#!/bin/bash | |
# Credit to windwp for original script: | |
# https://gist.github.com/windwp/273387a73f902ae49c7c90d612fd2238 | |
# (this is slightly modified version) | |
# use it for continue running application | |
# similar entr | |
# if you want to use swallow function you need to install |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
from z3 import * | |
SEED_SIZE=48 | |
SALT_VALUES = [273991342780504,178948312324771,97321158527664,74524266130753,78222244435754,254886856462562,258708074213289] | |
s = Solver() | |
const_seed = BitVec('seed', SEED_SIZE) | |
for i, val in enumerate(SALT_VALUES): | |
salt = BitVec(f'salt{i}', SEED_SIZE) |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
let SCALE = 1; | |
let ctx = undefined; | |
function canvas (width, height) { | |
width = width ? width : 200; | |
height = height ? height : 200; | |
let body = document.querySelector("body"); |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
<!DOCTYPE html> | |
<html> | |
<head> | |
<meta charset="utf-8"> | |
<meta name="viewport" content="width=device-width"> | |
<title>JS Bin</title> | |
<style id="jsbin-css"> | |
body { | |
background: #777; | |
} |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
precision highp float; | |
varying vec3 n; | |
varying vec2 uv; | |
uniform sampler2D tex; | |
uniform vec2 resolution; | |
const vec3 BLACK = vec3(0.0); | |
const vec3 WHITE = vec3(1.0); |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
precision highp float; | |
varying vec3 n; | |
varying vec2 uv; | |
uniform sampler2D tex; | |
uniform vec2 resolution; | |
//#pragma include "noise2D.glsl // for snoise(vec2 v) |