Skip to content

Instantly share code, notes, and snippets.

View athas's full-sized avatar
🐈
how did this get here i am not good with compute

Troels Henriksen athas

🐈
how did this get here i am not good with compute
329 followers · 52 following
View GitHub Profile
@athas
athas / gist:0474d01efc2d18aff9bf6be8da1d31f2
Created April 8, 2020 20:57
{ nixpkgs ? import <nixpkgs> {}, compiler ? "ghc883" }:
let
pkgs = nixpkgs;
futhark =
pkgs.haskell.packages.${compiler}.callCabal2nix "futhark"
( pkgs.lib.cleanSource ./. ) { };
in
pkgs.haskell.lib.overrideCabal
futhark
@athas
athas / gist:4b6e2ced36095681e70c320a48be293f
Created April 8, 2020 19:54
{ nixpkgs ? import <nixpkgs> {}, compiler ? "ghc883" }:
let
# pkgs = nixpkgs.pkgsMusl;
pkgs = nixpkgs;
futhark =
pkgs.haskell.packages.${compiler}.callCabal2nix "futhark"
( pkgs.lib.cleanSource ./. ) { };
in
pkgs.haskell.lib.overrideCabal
@athas
athas / default.nix
Created April 8, 2020 16:06
{ nixpkgs ? import <nixpkgs> {}, compiler ? "ghc882" }:
let
futhark =
nixpkgs.haskell.packages.${compiler}.callCabal2nix "futhark"
( nixpkgs.lib.cleanSource ./. ) { };
in
nixpkgs.haskell.lib.overrideCabal
futhark
( oldDrv: {
isLibrary = false;
@athas
athas / rot13.c
Created March 17, 2020 18:28
#include <stdio.h>
#include <string.h>
#include <CL/cl.h>
const char rot13_cl[] = " \
__kernel void rot13 \
( __global const char* in \
, __global char* out \
) \
{ \
const uint index = get_global_id(0); \
@athas
athas / gist:db111a7057daf5c353c83b73270e37ad
Created March 11, 2020 16:20
let minimal_prefix 'a [n] (p: a -> bool) (as: [n]a) (goal: i32) : []a =
as
|> map p
|> map i32.bool
|> scan (+) 0
|> zip (iota n)
|> reduce (\(i, x) (j, y) -> if x >= goal
then (i, x)
else (j, y))
(0, -1)
@athas
athas / gist:8e10fb4f7a3ddc4d41f5d34f8539188e
Created March 11, 2020 16:14
let minimal_prefix 'a [n] (p: a -> bool) (as: [n]a) (goal: i32) : []a =
as
|> map p
|> map i32.bool
|> scan (+) 0
|> zip (iota n)
|> reduce (\(i, x) (j, y) -> if x >= goal
then (i, x)
else (j, y))
(n, goal)
@athas
athas / gist:3471f87e5b17c36f26dcf28bf6d75dfc
Created March 4, 2020 21:30
instantiateExtIxFun :: (MonadFreshNames m, Show d, Show u, Show ret) =>
Ident -> ExtIxFun ->
m ([PatElemT (MemInfo d u ret)], IxFun)
instantiateExtIxFun idd ext_ixfn = do
let isAndPtps = S.toList $
foldMap onlyExts $
foldMap leafExpTypes ext_ixfn
-- Find the existentials that reuse the sizeidents, and
@athas
athas / gist:1b65ba870fde9e21ffd42ad48b621e65
Created February 26, 2020 16:12
$ convert naur.png pam:- | ./stupidart - - -dAMD | convert pam:- output.png
lib/github.com/diku-dk/lys/liblys.c:153: Futhark error 1: Error: division by zero
Backtrace:
-> #0 shapes/circle.fut:13:35-52
#1 shapegen.fut:50:11-27
#2 shapegen.fut:58:8-31
#3 lib/github.com/diku-dk/segmented/segmented.fut:74:20-40
#4 /futlib/soacs.fut:56:19-23
#5 /futlib/soacs.fut:56:3-37
@athas
athas / gist:38fbca34b480e87ee0a8867207dd545d
Created February 25, 2020 09:46
import Data.Vect
same : a -> a -> (a,a)
same x y = (x,y)
test : Vect n Integer -> Nat
test v =
let x = snd (Data.Vect.filter (>0) v)
y = snd (Data.Vect.filter (>1) v)
foo = same x y
@athas
athas / gist:671c25807674ba601df0020466212da1
Created February 18, 2020 20:20
$ mono hello.exe
Can't find custom attr constructor image: /home/athas/sandbox/hello.exe mtoken: 0x0a000001 due to: Could not load file or assembly 'FSharp.Core, Version=4.4.0.0, Culture=neutral, PublicKeyToken=b03f5f7f11d50a3a' or one of its dependencies.
Unhandled Exception:
System.IO.FileNotFoundException: Could not load file or assembly 'FSharp.Core, Version=4.4.0.0, Culture=neutral, PublicKeyToken=b03f5f7f11d50a3a' or one of its dependencies.
File name: 'FSharp.Core, Version=4.4.0.0, Culture=neutral, PublicKeyToken=b03f5f7f11d50a3a'
[ERROR] FATAL UNHANDLED EXCEPTION: System.IO.FileNotFoundException: Could not load file or assembly 'FSharp.Core, Version=4.4.0.0, Culture=neutral, PublicKeyToken=b03f5f7f11d50a3a' or one of its dependencies.
File name: 'FSharp.Core, Version=4.4.0.0, Culture=neutral, PublicKeyToken=b03f5f7f11d50a3a'