moretea

#ifdef MATMUL_ACC
void matmul(float *a_ptr, float *b_ptr, float *c_ptr, int len, int times) {
  float (*a)[len][len] = (float (*)[len][len]) a_ptr;
  float (*b)[len][len] = (float (*)[len][len]) b_ptr;
  float (*c)[len][len] = (float (*)[len][len]) c_ptr;

  size_t bytes = sizeof(float) * len * len;
  float *a_dev = acc_malloc(bytes);
  float *b_dev = acc_malloc(bytes);
  float *c_dev = acc_malloc(bytes);

moretea

config var n = 5,                       // size of n x n grid
           epsilon = 0.00001,           // convergence tolerance
           verbose = false;             // printing control

use BlockDist;

proc main() {
  coforall loc in Locales do
    on loc do
      writeln("Hello, world! ",

moretea

maarten@maarten-laptop:~/vu/ms/sft/sft/3/shit$ mvn eclipse:eclipse 
[INFO] Scanning for projects...
[INFO] Searching repository for plugin with prefix: 'eclipse'.
[INFO] ------------------------------------------------------------------------
[INFO] Building Maven Default Project
[INFO]    task-segment: [eclipse:eclipse]
[INFO] ------------------------------------------------------------------------
[INFO] Preparing eclipse:eclipse
[INFO] No goals needed for project - skipping
[INFO] ------------------------------------------------------------------------

moretea

(* Exercise 2.3.11a *)

Require Import ProofWeb.

Variables P : D -> Prop.
Variable R : D * D -> Prop.
Variable b : D.

Theorem pred_050 : P b -> all x, (x=b -> P x).
Proof.

moretea

Jan 24 19:55:53 mm_srv systemd[1]: Job dev-disk-by\x2duuid-62583355\x2d11a9\x2d49b4\x2d94be\x2da661bd72d756.device/start timed out.
Jan 24 19:55:53 mm_srv systemd[1]: Timed out waiting for device dev-disk-by\x2duuid-62583355\x2d11a9\x2d49b4\x2d94be\x2da661bd72d756.device.

moretea

[maarten@maarten-laptop:~]$ cat `which extscreen`
#!/usr/bin/env ruby
require 'pathname'
require 'digest'

BASE_CARD_PATH = "/sys/class/drm/card0-"

SETUPS = {
  "desktop" => {
    screens: {

moretea

require 'json'
require 'net/http'
require 'openssl'

MESOS_BASE_PATH = "https://hostname/path_to_mesos"
MESOS_USER = "<SOMEUSER>"
MESOS_PASSWORD = ""

def get(offset,length=500000)
  _ = Time.now.to_i * 100 + 100

moretea

front-end sha256:a5a2ad3c80975a8b2db1cec363d6ca52321b5746db9cb4c2ddb49596b92229c3
edge-router sha256:e45b736cf92fe710f64b5190e8c8db9e5fd51d87dad3d2b4b7730337f471c40d
catalogue sha256:2ebfed846b6fc64c321d39531a42bab6ab217868693799a59f7ffecde8fb9c22
catalogue-db sha256:cdd57d9d3599fe719b274e163d5a3300f543d42df7056c39c0317a3359279dfb
cart sha256:0757ce2e55bc4fbab26646b406afad8a1ad7d9e1020215cbe47a2f82868bede5
cart-db sha256:86e302671af465e21742fb4932322012da8abaff5134a7dd194dc47944461549
orders sha256:13dceff12d003f3dbb9f320001ee75f7b875a2a372f6ccff7e28351c8217256b
orders-db sha256:86e302671af465e21742fb4932322012da8abaff5134a7dd194dc47944461549
shipping sha256:89340473bb7e10accc61a2cbb7558af859e843d83960851ee0a8c2d8f0d0b790
queue-master sha256:822f23f6e45be7d7d0c308820230049e972d6a0d73d48961f9f472c4abde8cfa

moretea

[maarten@maarten-laptop:~]$ nix-repl
Welcome to Nix version 1.11.4. Type :? for help.

nix-repl> hostname = "aaa"

nix-repl> hostname == "aaa"
true

nix-repl> 

moretea

{ stdenv, callPackage, which, lessc, nodejs}:

let
  jsPackage = (callPackage ./js {}).package;
  desktopPackage = (callPackage ./desktop {}).package;
in rec {
# turtle = stdenv.mkDerivation {
#  name = "turtle-desktop";
#  buildInputs = [ nodejs which lessc jsPackage];
#  src = "${jsPackage}/lib/node_modules/turtl-js";