Jens-Wolfhard Schicke-Uffmann Drahflow
This file contains 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
| package main | |
| import ( | |
| "context" | |
| "fmt" | |
| "testing" | |
| "net/http/httptest" | |
| "github.com/DATA-DOG/go-sqlmock" | |
| ) |
This file contains 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
| "utils.ey" include | |
| { "=>" via | |
| << | |
| »SELECT * FROM categories { ":" via | |
| << :color '' ==>color >> :name ==> | |
| } each | |
| >> "application/json; charset=utf-8" =>ok | |
| } /returnCategories deffst |
Drahflow
/ gist:5b425879633d3c9db91ac8b57626bcc6
Last active
November 27, 2018 21:41
"Goto statements make it hard to follow the control flow." Hold my beer.
This file contains 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
| // Issues maximal slots many parallel runs of f(item, ctl) and allows | |
| // early abort from within f. | |
| let abortableParallelApply = function*(iterable, slots, f) { | |
| let aborted = false; | |
| let running = 0; | |
| for(let i of iterable) { | |
| let run = f(i, { | |
| callback(value) { | |
| if(!aborted) protocol.next({run, value}); | |
| }, |
This file contains 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
| prove rtrclreclem.subset | |
| autoall | |
| expand df-rtrclrec | |
| conclude ( ( r e. _V |-> U_ n e. NN0 ( r ^r n ) ) ` R ) = U_ n e. NN0 ( R ^r n ) | |
| use fvmpti2 | |
| distr:ante | |
| use iunex | |
| use relexpex | |
| and rewrite | |
| use ax-mp |
This file contains 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
| "utils.ey" include | |
| { "=>" via | |
| << | |
| »SELECT * FROM categories { ":" via | |
| << :color '' ==>color >> :name ==> | |
| } each | |
| >> "application/json; charset=utf-8" =>ok | |
| } /returnCategories deffst |
Drahflow
/ From Xephyr to mensadisplay
Created
October 28, 2014 23:06
Xephyr-based mensadisplay Xserver
This file contains 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
| diff -Nur -x '*Po*' ephyr/blitter.c mensadisplay/blitter.c | |
| --- ephyr/blitter.c 1970-01-01 01:00:00.000000000 +0100 | |
| +++ mensadisplay/blitter.c 2014-10-28 22:46:41.360330844 +0100 | |
| @@ -0,0 +1,96 @@ | |
| +#include <xorg-server.h> | |
| + | |
| +#ifdef HAVE_CONFIG_H | |
| +#include <kdrive-config.h> | |
| +#endif | |
| + |