ttesmer

{-# LANGUAGE TypeSynonymInstances #-}
data Dual d = D Float d deriving Show
type Float' = Float

diff :: (Dual Float' -> Dual Float') -> Float -> Float'
diff f x = y'
  where D y y' = f (D x 1)

class VectorSpace v where
  zero  :: v

ttesmer

#include <stdio.h>

/* 
2D convolution as used in machine learning, i.e. actually cross-correlation, not convolution.
But since the kernel would be learned either way, flipping it is not necessary. 
So, let's just call it convolution.
*/

int main() {
    int STRIDE = 1; // Don't let this fool you; stride other than 1 will not work currently

ttesmer

.section .text
    .global _start
_start:
    mov $4, %eax
    mov $1, %ebx
    mov $message, %ecx
    mov msglength, %edx
    int $0x80
    
    mov $1, %eax