ilyar

mermaid

timeline
    title Roadmap 2023
    section Q3 <br> First Release
        Develop : sub-point 1a : sub-point 1b
                : sub-point 1c
        Bullet 2 : sub-point 2a : sub-point 2b

ilyar

The COIN Conversation Model

The COIN Conversation Model is a structured approach to feedback and conflict resolution in the workplace. This method was developed to help managers and employees effectively discuss complex issues and reach consensus. The COIN model consists of four key stages:

1. C (Connect): Start the conversation by establishing rapport and creating an atmosphere of trust. This might include expressing gratitude for the employee's efforts or acknowledging their achievements.
2. O (Observe): Share your observations without judgment or evaluation. This is factual information about what you've seen or heard.
3. I (Impact): Explain the implications of your observations for the team, project, or organization. This could include both positive and negative impacts.
4. N (Next): Discuss the next steps or actions that need to be taken. This might involve corrective actions, new goals, or changes in behavior.

The COIN model can be particularly useful when there's a need to discuss c

ilyar

Solidity to FunC

Requirements

• sold
• tonos-cli
• fift, func

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

#!/usr/bin/env bash

set -o errexit

SWIFT_VERSION=5.8.1
UBUNTU_RELEASE=$(cat /etc/lsb-release | grep DISTRIB_RELEASE | cut -d'=' -f2)
UBUNTU_MAJOR=$(echo "${UBUNTU_RELEASE}" | cut -d'.' -f1)
UBUNTU_MINOR=04

if [ -x "$(command -v swift)" ]; then

ilyar

#!/usr/bin/python

inst_classes = {

    # A.2 Stack manipulation primitives
    'stack_mapulation': [

        # A.2.1. Basic stack manipulation primitives
        'NOP',
        'XCHG',

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

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