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
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
{ | |
"p0": "5555555555555555555555555555555555555555555555555555555555555555", | |
"p1": "3333333333333333333333333333333333333333333333333333333333333333", | |
"p2": "0000000000000000000000000000000000000000000000000000000000000000", | |
"p7": [ | |
{ | |
"currency": 239, | |
"value": "666666666666" | |
}, | |
{ |
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:
- 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.
- O (Observe): Share your observations without judgment or evaluation. This is factual information about what you've seen or heard.
- I (Impact): Explain the implications of your observations for the team, project, or organization. This could include both positive and negative impacts.
- 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
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
#!/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 |
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
#!/usr/bin/python | |
inst_classes = { | |
# A.2 Stack manipulation primitives | |
'stack_mapulation': [ | |
# A.2.1. Basic stack manipulation primitives | |
'NOP', | |
'XCHG', |
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. |
NewerOlder