- 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 (filesidisa_builder.(h|cpp)
andidisa_avx_builder.(h|cpp)
).
- Jan 16th, 2019:
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:
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
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 |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#include <stdio.h> | |
#include <stdlib.h> | |
typedef int (*Fn) (int); | |
typedef struct _list { | |
int n; | |
Fn f; | |
} list; |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
++++++++[>++++[>++>+++>+++>+<<<<-]>+>+>->>+[<]<-]>>.>---.+++++++..+++.>>.<-.<.+++.------.--------.>>+.>++. |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
.text | |
.file "blah.c" | |
.globl main | |
.align 16, 0x90 | |
.type main,@function | |
main: # @main | |
.cfi_startproc | |
# BB#0: | |
pushq %rbp | |
.Ltmp0: |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
<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() { |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
// Learn more about F# at http://fsharp.net | |
module Checker | |
open FSharp.Core | |
open Microsoft.FSharp.Reflection | |
type Person = { | |
name: string; | |
age: int | |
} |
AgensGraph Data Definition Language - http://bitnine.net/support/quick-start-guide-html/
AgensGraph Cypher Query - http://www.agensgraph.com/agensgraph-docs/agensgraph_cypher_query.html
Cypher EBNF Representation - https://s3.amazonaws.com/artifacts.opencypher.org/cypher.ebnf
RailRoad Diagrams - https://s3.amazonaws.com/artifacts.opencypher.org/railroad/Cypher.html
- Statements such as
[ stmt ]
are optional ,
represents a sequence of states.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
open System | |
type State = { | |
Tape : int[] | |
Index : int | |
} | |
let print_tape state : State = | |
printfn "%A" state.Tape | |
state |
NewerOlder