Skip to content

Instantly share code, notes, and snippets.

View luizperes's full-sized avatar

Luiz Fernando Peres luizperes

  • Simon Fraser University
  • Vancouver, BC
View GitHub Profile
@luizperes
luizperes / cmpt_415_notes.md
Last active April 23, 2019 01:50
cmpt_415_notes.md
  • Jan 10th, 2019:
    • Got introduced to Parabix
    • Built LLVM and icgrep and got started with icgrep
    • Understood the basics of UTF-8 character encoding
  • Jan 12th, 2019:
    • Read some of the pages of CMPT 489 (https://coursys.sfu.ca/2018sp-cmpt-489-x1/pages/)
    • Got started with the basics of Pablo language
    • Understood the basics of the approach used by Parabix regarding bitwise data parallelism
    • Did small changes and created a new function simd_ternary on existing code (files idisa_builder.(h|cpp) and idisa_avx_builder.(h|cpp)).
  • Jan 16th, 2019:

Keybase proof

I hereby claim:

  • I am luizperes on github.
  • I am luizperes (https://keybase.io/luizperes) on keybase.
  • I have a public key ASBzXPelWE8hQNRjtplGWUzM2XEdDRfk4pw-3cvR8SHrcgo

To claim this, I am signing this object:

import System.Environment
import Data.Char (isSpace)
import Control.Applicative
data PF = Prop Char
| Neg PF
| Conj PF PF
| Disj PF PF
| Imp PF PF
| Equiv PF PF
#include <stdio.h>
#include <stdlib.h>
typedef int (*Fn) (int);
typedef struct _list {
int n;
Fn f;
} list;
++++++++[>++++[>++>+++>+++>+<<<<-]>+>+>->>+[<]<-]>>.>---.+++++++..+++.>>.<-.<.+++.------.--------.>>+.>++.
.text
.file "blah.c"
.globl main
.align 16, 0x90
.type main,@function
main: # @main
.cfi_startproc
# BB#0:
pushq %rbp
.Ltmp0:
<html>
<head>
<script type="text/javascript">
if (undefined === window.exports) {
window.exports = {};
}
</script>
<script type="text/javascript" src="./ling-highlighter.js"></script>
<script type="text/javascript">
document.addEventListener('DOMContentLoaded', function() {
// Learn more about F# at http://fsharp.net
module Checker
open FSharp.Core
open Microsoft.FSharp.Reflection
type Person = {
name: string;
age: int
}
open System
type State = {
Tape : int[]
Index : int
}
let print_tape state : State =
printfn "%A" state.Tape
state