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":[]}