Skip to content

Instantly share code, notes, and snippets.

View ilyar's full-sized avatar
🖖
this is the way

ilyar

🖖
this is the way
View GitHub Profile
#!/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
#!/usr/bin/python
inst_classes = {
# A.2 Stack manipulation primitives
'stack_mapulation': [
# A.2.1. Basic stack manipulation primitives
'NOP',
'XCHG',
@ilyar
ilyar / ShardedToken.sol
Created May 17, 2023 13:15 — forked from k06a/ShardedToken.sol
ShardedToken
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
ilyar / bash_strict_mode.md
Created May 14, 2023 14:12 — forked from mohanpedala/bash_strict_mode.md
set -e, -u, -o, -x pipefail explanation
@ilyar
ilyar / forth.v
Created April 16, 2023 04:41 — forked from siraben/forth.v
Small-step operational semantics of Forth in Coq
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
ilyar / how_to.txt
Created April 9, 2023 10:21 — forked from mnill/how_to.txt
// Запуск локального теснета с 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
// увеличиваем разрешенное количество открытых файлов/коннектов
Источник https://www.forth.org.ru/~ac/rationale/FORTH.TXT
Слово о Форте. Андрей Черезов [email protected]
Попытка формализации сути языка :) 29.07.1999
1. Форт-система
Традиционная форт-система состоит из двух частей: исполняющая среда (её
часто назвают VFM - виртуальная форт-машина) и транслятор. Транслятор
занимается поглощением исходных текстов программ (и что-то при этом
производит, о чем позже), VFM занимается выполнением программного кода.
{
"ABI version": 2,
"version": "2.3",
"header": ["pubkey", "time", "expire"],
"functions": [
{
"id": "0x00000000",
"name": "transfer",
"inputs": [
{
#!/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[@]}")