d4hines

Stable*
  Idle*
    # Activated by an HTTP request to the node
    mine block -> Mining Block
    # Activated by an HTTP request to the node
    add peer -> Adding Peer
    recieve error from peer -> Disconnect from Peer
    receive P2P message -> Processing P2P Message
  Mining Block

d4hines

Stable*


  Idle*
    # Activated by an HTTP request to the node
    mine block -> Mining Block
    # Activated by an HTTP request to the node
    add peer -> Adding Peer
    recieve error from peer -> Disconnect from Peer

d4hines

Resumo

• criar partições
• montar partições
• instalar sistema
• configurar hora
• configurar rede
• configurar localização
• configurar usuario e sudo
• configurar grub

d4hines

Keybase proof

I hereby claim:

• I am d4hines on github.
• I am d4hines (https://keybase.io/d4hines) on keybase.
• I have a public key whose fingerprint is B826 EE71 FECE 8093 5298 BEC3 66CB F0C1 8FD7 3CE0

To claim this, I am signing this object:

d4hines

{
    // I use git-bash inside Windows for less cognitive dissonance since I
    // mostly use WSL.
    "terminal.integrated.shell.windows": "C:\\Program Files\\Git\\bin\\bash.exe",
    "terminal.integrated.shell.linux": "/bin/bash",
    // the code spellcheck extension is a must have: https://marketplace.visualstudio.com/items?itemName=streetsidesoftware.code-spell-checker
    "cSpell.userWords": [
        "tezos"
    ],
    "files.autoSave": "afterDelay",

d4hines

Protocol 009 Changelog

Getting the Source Code of the Proposal

The source code can be found on the master branch of the Tezos repository on Gitlab, in the src/proto_009_PsFLorBA directory, or the or the src/proto_009_PsFlorena for the release without baking

d4hines

# Edit this configuration file to define what should be installed on
# your system.  Help is available in the configuration.nix(5) man page
# and in the NixOS manual (accessible by running ‘nixos-help’).

{ config, pkgs, ... }:

{
  imports =
    [ # Include the results of the hardware scan.
      ./hardware-configuration.nix

d4hines

// Role-Based Access Control in ALM
// This document includes 3 ALM modules
// that encode the core and hierachical
// components of the RBAC challenge.
// Link to official description: https://www3.cs.stonybrook.edu/~liu/papers/RBACchallenge-LPOP18.pdf

// Several entities are added and removed
// dynamically. We'll model there behavior
// as a separate module.
module dynamic_entity

d4hines

I'm trying to convert ALM to DDLog. I've come up with a contrived example that still models a lot of ALM's features.

The domain is this: we have rectangle objects on some Cartesian plane. Users can move the rectangles around the plane. Some rectangles are "magic rectangles". Normally, each magic rectangle is blue. However, when the user moves a magic rectangle to a particular area of the plane, the rectangle turns red.

Below is:

• A small intro to ALM
• The full ALM program

d4hines

#const n = 4.
step(0..n).

% Actions can affect state.
% Actions always produce a single new model.
state(Val, I + 1) :- occurs(action(Val), I).

% Inertia for state.
state(Val, I + 1) :- state(Val, I), not occurs(action(_), I), I < n.