rogovski’s gists

lg / build_tvvlckit.sh

Last active April 5, 2020 15:48

Building MobileVLCKit for AppleTV: TVVLCKit

	# note these instructions are as of Dec 28, 2015

	# the vlc and vlckit repos are super complex and have thousands of dependencies from everywhere on the internet.
	# so, you'll need to mess with things a bit

	git clone http://code.videolan.org/videolan/VLCKit.git
	cd VLCKit

	./buildMobileVLCKit.sh -t

ryane / five_minutes.yml

Created February 24, 2015 15:15

five_minutes.yml

	---
	- hosts: all

	vars:
	UBUNTU_COMMON_ROOT_PASSWORD: 'xxxxx'
	UBUNTU_COMMON_DEPLOY_PASSWORD: 'xxxxx'
	UBUNTU_COMMON_LOGWATCH_EMAIL: user@example.com
	ubuntu_common_deploy_user_name: deploy
	ubuntu_common_deploy_public_keys:
	- ~/.ssh/id_rsa.pub

hallettj / Cat.lidr

Last active April 2, 2018 15:05

description of category laws in Idris

	# Category Theory proofs in Idris

	Idris is a language with dependent types, and is similar to Agda.
	What distinguishes Idris is that it is intended to be a general-purpose language first,
	and a theorem prover second.
	To that end it supports optional totality checking
	and features to support writing DSLs:
	type classes,
	do notation,
	monad comprehensions (i.e., a more general form of list comprehension),

petehunt / React sortable

Created December 9, 2013 22:30

Here's an example of React + jQuery UI sortable. The key thing to note is that we have the render() method do absolutely nothing and use componentDidUpdate() + React.renderComponent() to proxy updates through to the children. This lets us manage the DOM manually but still be able to use all the React goodies you know and love.


	<html>
	<head>
	<title>Test</title>
	<script src="http://code.jquery.com/jquery-1.9.1.js"></script>
	<script src="http://code.jquery.com/ui/1.10.3/jquery-ui.js"></script>
	<link rel="stylesheet" href="http://code.jquery.com/ui/1.10.3/themes/smoothness/jquery-ui.css" />
	<script src="http://fb.me/react-0.5.1.js"></script>
	<script src="http://fb.me/JSXTransformer-0.5.1.js"></script>
	</head>

mef / pre-render.js

Last active May 20, 2022 16:56

proof-of-concept pre-rendering d3.js svgs on the server using node.js and jsdom module.

	// pre-render d3 charts at server side
	var d3 = require('d3')
	, jsdom = require('jsdom')
	, fs = require('fs')
	, htmlStub = '<html><head></head><body><div id="dataviz-container"></div><script src="js/d3.v3.min.js"></script></body></html>'

	jsdom.env({
	features : { QuerySelector : true }
	, html : htmlStub
	, done : function(errors, window) {

jedi4ever / broker.js

Last active October 1, 2021 13:39

xsub , xpub example in nodejs

	var pubListener = 'tcp://127.0.0.1:5555';
	var subListener = 'tcp://127.0.0.1:5556';
	var hwm = 1000;
	var verbose = 0;

	// The xsub listener is where pubs connect to
	var subSock = zmq.socket('xsub');
	subSock.identity = 'subscriber' + process.pid;
	subSock.bindSync(subListener);

io41 / paginated_collection.js

Created February 22, 2011 10:10 — forked from zerowidth/paginated_collection.js

Pagination with Backbone.js

	// includes bindings for fetching/fetched

	var PaginatedCollection = Backbone.Collection.extend({
	initialize: function() {
	_.bindAll(this, 'parse', 'url', 'pageInfo', 'nextPage', 'previousPage');
	typeof(options) != 'undefined' \|\| (options = {});
	this.page = 1;
	typeof(this.perPage) != 'undefined' \|\| (this.perPage = 10);
	},
	fetch: function(options) {

Michael Rogowski rogovski