Mamy Ratsimbazafy mratsim

Shipping math to production ✦ Cryptography ✦ Deep Learning / AI inference ✦ Distributed systems ✦ Compilers ✦ GPU, Assembly

mratsim / bls_with_case05.yml

Created February 5, 2019 14:13

	fork: tchaikovsky
	summary: Test vectors for BLS signature
	test_suite: bls
	title: BLS signature and aggregation tests
	version: 1.0
	case01_message_hash_G2_uncompressed:
	- input: {domain: '0x00', message: '0x0000000000000000000000000000000000000000000000000000000000000000'}
	output:
	- ['0x091e0a8468302b0d77c06a2ef8eb7f333b742e10f0f0de240929a7afd2f59999c1d2f6eca9f44a0afe5da699578d416e',
	'0x09e340b0dd91932333cb24e8dbe7f440bd653ef6ec22b52162724f77a9f9effa75a3703b9ae9286275e6f9e2654b5e7c']

mratsim / Halide.h

Created January 28, 2019 20:59

This file has been truncated, but you can view the full file.

	/* Halide.h -- interface for the 'Halide' library.

	Copyright (c) 2012-2018 MIT CSAIL, Google Inc., and other contributors

	Developed by:

	The Halide team
	http://halide-lang.org

	Permission is hereby granted, free of charge, to any person obtaining a copy of

mratsim / .bashrc

Created January 13, 2019 18:39

Mac bashrc

	date
	echo
	fortune \| cowsay -f $(gls /usr/local/Cellar/cowsay/3.04/share/cows/ \| gshuf -n1)
	echo

	if [ -f /etc/bash_completion ]; then
	. /etc/bash_completion
	fi

	if [ -f $HOME/.git-completion.bash ]; then

mratsim / 0README.md

Created January 9, 2019 15:50 — forked from juancarlospaco/0README.md

Python Versus Nim: Async

This is to compare elegant, simple, expressive code.

mratsim / eth2_fork_choice_v2.nim

Created January 8, 2019 15:04

	import
	deques, options,
	milagro_crypto,
	./spec/[datatypes, crypto, digest, helpers, validator], extras,
	tables, hashes # For BeaconChainDB stub

	type
	AttestationCandidate* = object
	validator*: int
	data*: AttestationData

mratsim / searchsorted.nim

Created December 10, 2018 12:14

	import algorithm

	func cumsum[T](x: openarray[T]): seq[T] =
	result = newSeq[T](x.len)
	result[0] = x[0]
	for i in 1 ..< x.len:
	result[i] = x[i] + result[i-1]

	func searchsorted[T](a, v: openarray[T], leftSide: static bool = true): seq[T] =
	result = newSeqUninitialized[T](v.len)

mratsim / min-char-rnn.py

Created December 9, 2018 20:10 — forked from karpathy/min-char-rnn.py

Minimal character-level language model with a Vanilla Recurrent Neural Network, in Python/numpy

	"""
	Minimal character-level Vanilla RNN model. Written by Andrej Karpathy (@karpathy)
	BSD License
	"""
	import numpy as np

	# data I/O
	data = open('input.txt', 'r').read() # should be simple plain text file
	chars = list(set(data))
	data_size, vocab_size = len(data), len(chars)

mratsim / fast_exp.nim

Created December 6, 2018 23:43

	# Laser
	# Copyright (c) 2018 Mamy André-Ratsimbazafy
	# Distributed under the Apache v2 License (license terms are at http://www.apache.org/licenses/LICENSE-2.0).
	# This file may not be copied, modified, or distributed except according to those terms.

	import
	math

	const
	bits = 10

mratsim / avx2_utils

Created November 18, 2018 02:40

	# TODO debug multiplication with negative numbers

	# Laser
	# Copyright (c) 2018 Mamy André-Ratsimbazafy
	# Distributed under the Apache v2 License (license terms are at http://www.apache.org/licenses/LICENSE-2.0).
	# This file may not be copied, modified, or distributed except according to those terms.

	import ../../simd, math

	# ############################################################

mratsim / generic_microkernel.nim

Created November 13, 2018 16:56

	# Laser
	# Copyright (c) 2018 Mamy André-Ratsimbazafy
	# Distributed under the Apache v2 License (license terms are at http://www.apache.org/licenses/LICENSE-2.0).
	# This file may not be copied, modified, or distributed except according to those terms.

	# Generic microkernel for matrix multiplication

	import
	./laser_gemm_tiling, ./laser_gemm_matrix, ./laser_gemm_utils,
	../../../laser/[cpuinfo, compiler_optim_hints],