ilyar

# 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}"

ilyar

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();
    }

ilyar

Table of Contents

• set -e, -u, -x, -o pipefail
• set -e
• set -x
• set -u
• set -o pipefail
• Setting IFS
• Original Reference

set -e, -u, -x, -o pipefail

ilyar

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.

ilyar

// Запуск локального теснета с 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

// увеличиваем разрешенное количество открытых файлов/коннектов

ilyar

Prepare

• 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/

Install tools

Build Solidity Compiler from sources

ilyar

# 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

ilyar

#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

ilyar

#!/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

ilyar

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