Elias Gabriel Amaral da Silva dlight
dlight
/ complete.hs
Created
August 12, 2018 20:15
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
| module Complete where | |
| import Data.List (transpose, intercalate) | |
| {- | |
| Neste código, a tabela verdade | |
| p0 p1 ... pn | |
| 0 0 ... 0 | X0 | |
dlight
/ gist:9c4854d9ab49e171f6da39335fd31d48
Created
August 12, 2019 17:31
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
| conda env create -f environment.yml | |
| Collecting package metadata (repodata.json): done | |
| Solving environment: done | |
| ==> WARNING: A newer version of conda exists. <== | |
| current version: 4.7.10 | |
| latest version: 4.7.11 | |
| Please update conda by running |
dlight
/ gist:6a9b3370f26c314719ee9c5ded3d79ae
Created
August 12, 2019 22:15
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
| $ DISABLE_BLOSC_AVX2=1 conda env create -f environment.yml | |
| Collecting package metadata (repodata.json): done | |
| Solving environment: done | |
| ==> WARNING: A newer version of conda exists. <== | |
| current version: 4.7.10 | |
| latest version: 4.7.11 | |
| Please update conda by running |
dlight
/ DISABLE_BLOSC_AVX2=1 conda env create -n devito-test -v
Created
August 13, 2019 19:21
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
| Collecting package metadata (repodata.json): ...working... done | |
| Solving environment: ...working... done | |
| ==> WARNING: A newer version of conda exists. <== | |
| current version: 4.7.10 | |
| latest version: 4.7.11 | |
| Please update conda by running |
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
| $ cat README.md.in | |
| # awesome-rust-forums | |
| Curated list of Rust forums | |
| This, blabla | |
| {{list}} | |
| # Ble |
dlight
/ commands.sh
Created
February 22, 2023 17:13
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
| # here are the commands I run to get this working | |
| mkdir -p /tmp/something | |
| cd /tmp/something | |
| # file from here https://github.com/starkware-libs/starknet-specs/blob/master/api/starknet_api_openrpc.json | |
| wget 'https://raw.githubusercontent.com/starkware-libs/starknet-specs/master/api/starknet_api_openrpc.json' |
OlderNewer