This file contains hidden or 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 hidden or 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 hidden or 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 hidden or 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 hidden or 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 | |
// увеличиваем разрешенное количество открытых файлов/коннектов |
This file contains hidden or 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
Источник https://www.forth.org.ru/~ac/rationale/FORTH.TXT | |
Слово о Форте. Андрей Черезов [email protected] | |
Попытка формализации сути языка :) 29.07.1999 | |
1. Форт-система | |
Традиционная форт-система состоит из двух частей: исполняющая среда (её | |
часто назвают VFM - виртуальная форт-машина) и транслятор. Транслятор | |
занимается поглощением исходных текстов программ (и что-то при этом | |
производит, о чем позже), VFM занимается выполнением программного кода. |
This file contains hidden or 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
{ | |
"ABI version": 2, | |
"version": "2.3", | |
"header": ["pubkey", "time", "expire"], | |
"functions": [ | |
{ | |
"id": "0x00000000", | |
"name": "transfer", | |
"inputs": [ | |
{ |
This file contains hidden or 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 | |
std_lib() { | |
list=() | |
list+=('"SETCP0":"FF00"') | |
list+=('"ACCEPT":"F800"') | |
list+=('"THROW":"F22"') | |
list+=('"PUSHREF":"88"') | |
list+=('"SETCODE":"FB04"') | |
opcodes=$(printf ",%s" "${list[@]}") |
It is markdown version, original: https://solana.com/hackathon-grizzlython-official-rules-2023.pdf
Official Rules
NO PURCHASE NECESSARY