Skip to content

Instantly share code, notes, and snippets.

View ariady-putra's full-sized avatar
πŸŽ—οΈ
π“‹Ή 𓍑 π“‹΄

Ariady Putra ariady-putra

πŸŽ—οΈ
π“‹Ή 𓍑 π“‹΄
View GitHub Profile
@ariady-putra
ariady-putra / cargo.ak
Created March 10, 2025 04:43
cargo install aiken
cargo install aiken --git https://github.com/aiken-lang/aiken.git --tag vX.X.X
β”Œ For spending
β”‚
β•½
┏━ Header ━━━━━━━━━━━━━┳━ Payment credentials ━━━━━━━┳━ Delegation credentials ━━━━┓
┃ ┃ ┃ ┃
┃ ┃ β”Œβ”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β” ┃ β”Œβ”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β” ┃
┃ β”Œβ”€β”€β”€β”€β”€β”€β”¬β”€β”€β”€β”€β”€β”€β”€β”€β”€β” ┃ β”‚ Verification key hash β”‚ ┃ β”‚ Verification key hash β”‚ ┃
┃ β”‚ Type β”‚ Network β”‚ ┃ β”œβ”€β”€β”€β”€β”€β”€β”€β”€β”€β”€ OR ────────── ┃ β”œβ”€β”€β”€β”€β”€β”€β”€β”€β”€β”€ OR ────────── ┃
┃ β””β”€β”€β”€β”€β”€β”€β”΄β”€β”€β”€β”€β”€β”€β”€β”€β”€β”˜ ┃ β”‚ Script hash β”‚ ┃ β”‚ Script hash β”‚ ┃
┃ ┃ β””β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”˜ ┃ β””β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”˜ ┃
@ariady-putra
ariady-putra / Rust_quick-reference.md
Last active April 30, 2024 10:39
Rust quick reference

How to update rustc

Run rustup commands:

rustup update
rustup update stable
rustup update nightly

Select rustc version:

-- MonadReader
env <- ask
let val = view (fieldOfEnv . subField) env
-- MonadState
val <- use $ fieldOfState . subField -- get
fieldOfState . subField .= val'      -- put
fieldOfState . subField %= func      -- modify

Ubuntu

Prerequisites

sudo apt-get update
sudo apt-get install snap git nano curl

Install nix if not already

Build cardano-node and cardano-cli on Ubuntu

Install Prerequisites

sudo apt-get update -y

sudo apt-get install automake build-essential curl pkg-config libffi-dev libgmp-dev libssl-dev libtinfo-dev libsystemd-dev zlib1g-dev make g++ tmux git jq wget libncursesw5 libtool autoconf -y

Install GHC and Cabal

@ariady-putra
ariady-putra / metadata.json
Created July 13, 2022 19:55
Exercise Project
{"valueParameterInfo":[],"slotParameterDescriptions":[],"roleDescriptions":[],"contractType":"Other","contractShortDescription":"","contractName":"","contractLongDescription":"","choiceInfo":[]}
@ariady-putra
ariady-putra / metadata.json
Created July 13, 2022 19:40
IfThenElse Project
{"valueParameterInfo":[],"slotParameterDescriptions":[],"roleDescriptions":[],"contractType":"Other","contractShortDescription":"","contractName":"","contractLongDescription":"","choiceInfo":[]}
@ariady-putra
ariady-putra / metadata.json
Created July 13, 2022 19:25
Autoconfirmation Project
{"valueParameterInfo":[],"slotParameterDescriptions":[],"roleDescriptions":[],"contractType":"Other","contractShortDescription":"","contractName":"","contractLongDescription":"","choiceInfo":[]}