This file contains hidden or 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
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 |
This file contains hidden or 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
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 |
This file contains hidden or 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
[maarten@maarten-laptop:~]$ cat `which extscreen` | |
#!/usr/bin/env ruby | |
require 'pathname' | |
require 'digest' | |
BASE_CARD_PATH = "/sys/class/drm/card0-" | |
SETUPS = { | |
"desktop" => { | |
screens: { |
This file contains hidden or 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
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. |
This file contains hidden or 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
(* 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. |
This file contains hidden or 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
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] ------------------------------------------------------------------------ |
This file contains hidden or 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
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! ", |
This file contains hidden or 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
#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); |
This file contains hidden or 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
maarten@maarten-laptop:~/vu/ms/pcs/heat/omp$ make heat_test | |
gcc -std=gnu99 -DHAVE_CONFIG_H -I. -I./../src -DTESTS_ENABLED -g3 -O0 -g -O2 -Wall -fopenmp -MT heat_test-heat_test.o -MD -MP -MF .deps/heat_test-heat_test.Tpo -c -o heat_test-heat_test.o `test -f 'heat_test.c' || echo './'`heat_test.c | |
heat_test.c: In function ‘test_self_weight_simple’: | |
heat_test.c:185:18: warning: assignment from incompatible pointer type [enabled by default] | |
heat_test.c:190:3: warning: passing argument 1 of ‘free’ discards ‘volatile’ qualifier from pointer target type [enabled by default] | |
/usr/include/stdlib.h:488:13: note: expected ‘void *’ but argument is of type ‘volatile double * volatile’ | |
heat_test.c:191:3: warning: passing argument 1 of ‘free’ discards ‘volatile’ qualifier from pointer target type [enabled by default] | |
/usr/include/stdlib.h:488:13: note: expected ‘void *’ but argument is of type ‘volatile double * volatile’ | |
heat_test.c:176:16: warning: unused variable ‘expect’ [-Wunused-variable] | |
mv -f .deps/heat_test-heat_t |
This file contains hidden or 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 "aca2013.h" | |
#include <systemc.h> | |
#include <iostream> | |
using namespace std; | |
SC_MODULE(Thing) { | |
public: | |
sc_in<bool> clk; | |
SC_CTOR(Thing) { |