This file contains hidden or 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 hidden or 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 hidden or 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 hidden or 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 hidden or 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 hidden or 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) |