DanielAugusto191

type 'a graph =
    | Empty
    | G of {
        la: 'a list list;
        size: int
    }

let init_graph = Empty
let add_node = function
    | Empty -> G {la = [[]]; size=1}

DanielAugusto191

(* open Fmt *)

type 'a bst = 
    | Empty
    | Node of {
        left : 'a bst;
        value : 'a;
        right: 'a bst;
    }
    [@@deriving show]

DanielAugusto191

open Mysql

let () =
    let db =
        quick_connect ~host:"localhost" ~user:"root" ~password:"{password}"
          ~database:"{database_name}" ()
    in

    let result = exec db "SELECT id, name FROM {table_name} LIMIT 5;" in

DanielAugusto191

(* (λx.x)a→a *)
(* (λx.λy.x)ab→(λy.a)b→a *)
(* (λx.xx)a→aa *)
(* (λx.λy.xy)a→λy.ay *)

datatype Term
  = Var of string
  | Abs of string*Term
  | App of Term*Term

DanielAugusto191

#include <cstdint>
#include <iostream>
#include <bitset>

using namespace std;

void use_bitset(void){
    bitset<3> p1b{"001"}; // Player 1 Hand
    bitset<3> p2b{"010"}; // Player 2 Hand
    bitset<9> game;

DanielAugusto191

#!/bin/bash

while true; do
    scroll_lock=$(xset q | grep "Scroll Lock:" | awk '{print $NF}')
    echo $scroll_lock
    if [ "$scroll_lock" == "on" ]; then
        xdotool mousedown 1
    else
        xdotool mouseup 1
    fi

DanielAugusto191

My implementation of conways game of life on minecraft

Made with Computer Craft Mod, with allows write lua scripts in minecraft.

DanielAugusto191

#SSA

Definição

SSA - É uma propriedade de IR, em que cada variavel é atribuida apenas uma vez, pro exemplo: y := 1 y := 2 x := y Será representada como:

DanielAugusto191

Value Numbering é uma tecnica para determinas se duas computações no programa são equivalentes e eliminar uma delas, preservando a semantica do programa.

Global Value Numbering (GVN)

GVN é uma tecnica de otimização de compiladores basiado na IR SSA. Global porque o mapeamento é feito entre basic blocks boundaries também. Funciona atribuindo valores numericos para variaveis e expressões, e o mesmo valor é atribuido para variaveis e expressoes equivalentes. Por exemplo:

w := 3
x := 3

DanielAugusto191

A set of vertices and edges. It can be represented like an adjacent list.

	const int N = 5;
	vector<int> G[N];
	int vis[N];

DFS