| # Clone llama.cpp | |
| git clone https://github.com/ggerganov/llama.cpp.git | |
| cd llama.cpp | |
| # Build it | |
| make clean | |
| LLAMA_METAL=1 make | |
| # Download model | |
| export MODEL=llama-2-13b-chat.ggmlv3.q4_0.bin |
| // https://youtu.be/2WXaosLThBY | |
| import React, { useState, useEffect } from "react"; | |
| import ReactEcharts from "echarts-for-react"; | |
| import echarts from "echarts"; | |
| import { Tabs, Tab } from "react-bootstrap"; | |
| import StatsApi, { AccountsByDate } from "../../libraries/explorer-wamp/stats"; | |
| import { Props } from "./TransactionsByDate"; |
| 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 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 |
| 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(); | |
| } |
| Vagrant.configure("2") do |config| | |
| config.vm.box = "ubuntu/bionic64" | |
| config.vm.provider :virtualbox do |v| | |
| v.gui = true | |
| v.memory = 2048 | |
| end | |
| # Currently "ubuntu/bionic64" on VirtualBox requires `type: "virtualbox"` | |
| # to make synced folder works. |
SMART / SMARTER — is a mnemonic abbreviation used in management and project management to define goals and set tasks. The first known use of the term is mentioned in the work of Paul J. Meyer in 1965 and later in November 1981 in the work Management Review by George T. Doran
This approach can be used to formulate questions, resulting in the following components:
| package main | |
| //#include "dllmain.h" | |
| import "C" |
Книги:
