williamstein

###################################################################
#
# Code to support simultaneous multiple editing
# sessions by different clients of a single object.  This uses
# the Differential Synchronization algorithm of Neil Fraser,
# which is the same thing that Google Docs uses.
#
#   * "Differential Synchronization" (by Neil Fraser).
#   * http://neil.fraser.name/writing/sync/
#   * http://www.youtube.com/watch?v=S2Hp_1jqpY8

williamstein

#!/usr/bin/python
 
import os, sys
argv = sys.argv
 
if len(argv) < 4:
    print "*********\nThis is the replace command, by William Stein (was@math.harvard.edu)\n*********"
    print "\tUsage: %s [-f] <from> <to> [file 1] [file 2] ..."%argv[0]
    print "Optional argument -f is to not ask for confirmation.";
    sys.exit(0)

williamstein

https://news.ycombinator.com/reply?id=13613909&goto=item%3Fid%3D13610146%2313613909

---

smc=# explain SELECT * FROM file_use WHERE project_id = any(select project_id from projects where users ? '25e2cae4-05c7-4c28-ae22-1e6d3d2e8bb3') ORDER
 BY last_edited DESC limit 100;
                                                        QUERY PLAN
---------------------------------------------------------------------------------------------------------------------------
 Limit  (cost=0.85..8198.07 rows=100 width=242)
   ->  Nested Loop Semi Join  (cost=0.85..1736663.69 rows=21186 width=242)

williamstein

#!/usr/bin/env python

######################################################################
# Copyright (c) 2013, William Stein, Ondrej Certik, All rights reserved.
# 2-clause BSD.
######################################################################

import json, os, random, BaseHTTPServer
from SimpleHTTPServer import SimpleHTTPRequestHandler

williamstein

def f(n):
    print("hello ", n, "!")

williamstein

#!/usr/bin/env node

import * as fs from 'fs';
import * as path from 'path';

// https://gist.github.com/lovasoa/8691344
async function* walk(dir) {
	for await (const d of await fs.promises.opendir(dir)) {
		const entry = path.join(dir, d.name);
		if (d.isDirectory()) {