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
# Clone llama.cpp | |
git clone https://github.com/ggerganov/llama.cpp.git | |
cd llama.cpp | |
# Build it | |
LLAMA_METAL=1 make | |
# Download model | |
export MODEL=llama-2-13b-chat.ggmlv3.q4_0.bin | |
wget "https://huggingface.co/TheBloke/Llama-2-13B-chat-GGML/resolve/main/${MODEL}" |
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
contract ShardedToken { | |
using SafeMath for uint256; | |
address owner = msg.sender; | |
uint256 private _totalSupply; | |
mapping(address => ShardedToken.Extension) private extensions; | |
function register() public { | |
extensions[msg.sender] = new Token.Extension(); | |
} |
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
Set Warnings "-notation-overridden,-parsing". | |
From Coq Require Import Arith.Arith. | |
From Coq Require Import Arith.EqNat. | |
From Coq Require Import Init.Nat. | |
From Coq Require Import Lia. | |
From Coq Require Import Lists.List. | |
Import ListNotations. | |
From PLF Require Import Maps. | |
From PLF Require Import Smallstep. | |
Import Nat. |
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
// Запуск локального теснета с 6 валидаторами на одной машине, debian 11 | |
// Лучше побольше цпу и диск от 200 гигабайт | |
// Зависимости | |
apt update | |
apt install jq build-essential git tmux | |
apt install libc6=2.31-13+deb11u4 | |
apt-get install pkg-config libssl-dev libzstd-dev libclang-dev | |
apt-get install libgoogle-perftools-dev | |
// увеличиваем разрешенное количество открытых файлов/коннектов |
- Install cmake https://cmake.org/install/
- Install rust, cargo https://doc.rust-lang.org/cargo/getting-started/installation.html
- Install docker https://www.docker.com/get-started
- Install nodejs https://nodejs.org/en/download/
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
# This guide assumes that you're running MacOS and already have a fully synced Daedalus testnet wallet | |
# For mainnet some minor tweaks are required | |
# The line below assumes the default location for the testnet wallet at the time of writing this guide | |
# If your node socket is located somewhere else, you should be able to finding by inspecting the running processes on your machine | |
export CARDANO_NODE_SOCKET_PATH=~/Library/Application\ Support/Daedalus\ Testnet/cardano-node.socket | |
# Make testnet id available as environment variable; not needed for the mainnet | |
# This one is active at the time of writing this guide | |
export TESTNET_ID=1097911063 |
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
#delete all the remote tags with the pattern your looking for, ie. DEV- | |
git tag | grep <pattern> | xargs -n 1 -i% git push origin :refs/tags/% | |
#delete all your local tags | |
git tag | xargs -n 1 -i% git tag -d % | |
#fetch the remote tags which still remain | |
git fetch |
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 | |
### BEGIN INIT INFO | |
# Provides: %name% | |
# Required-Start: $network $remote_fs $local_fs | |
# Required-Stop: $network $remote_fs $local_fs | |
# Default-Start: 2 3 4 5 | |
# Default-Stop: 0 1 6 | |
# Short-Description: forever-service startup script for %name% | |
# Description: forever-service startup script for node script based service %name%, uses forever to start the service |
The Modern.ie Virtual Machine Images – VMs used for testing several versions of IE – are now also available as vagrant boxes. Here’s the list:
- XP with IE6: http://aka.ms/vagrant-xp-ie6
- XP with IE8: http://aka.ms/vagrant-xp-ie8
- Vista with IE7: http://aka.ms/vagrant-vista-ie7
- Windows 7 with IE8: http://aka.ms/vagrant-win7-ie8
- Windows 7 with IE9: http://aka.ms/vagrant-win7-ie9
- Windows 7 with IE10: http://aka.ms/vagrant-win7-ie10
- Windows 7 with IE11: http://aka.ms/vagrant-win7-ie11
- Windows 8 with IE10: http://aka.ms/vagrant-win8-ie10
NewerOlder