| -- Reasonably efficient pagination without OFFSET | |
| -- SQLite version (Adapted from MS SQL syntax) | |
| -- Source: http://www.phpbuilder.com/board/showpost.php?p=10376515&postcount=6 | |
| SELECT foo, bar, baz, quux FROM table | |
| WHERE oid NOT IN ( SELECT oid FROM table | |
| ORDER BY title ASC LIMIT 50 ) | |
| ORDER BY title ASC LIMIT 10 |
| var mongoose = require('./index') | |
| , TempSchema = new mongoose.Schema({ | |
| salutation: {type: String, enum: ['Mr.', 'Mrs.', 'Ms.']} | |
| }); | |
| var Temp = mongoose.model('Temp', TempSchema); | |
| console.log(Temp.schema.path('salutation').enumValues); | |
| var temp = new Temp(); | |
| console.log(temp.schema.path('salutation').enumValues); |
| <!DOCTYPE html> | |
| <html> | |
| <head> | |
| <meta http-equiv="Content-Type" content="text/html; charset=utf-8" /> | |
| <script type="text/javascript" src="https://ajax.googleapis.com/ajax/libs/jquery/1.5.2/jquery.min.js"></script> | |
| <script type="text/javascript" src="./showdown.js"></script> | |
| <title> | |
| Markdown Viewer | |
| </title> | |
| <style type="text/css"> |
| # http://linuxcommando.blogspot.com/2008/09/how-to-find-and-delete-all-hard-links.html | |
| How to find and delete all hard links to a file | |
| Deleting a file is deceptively simple. You can simply use the rm command like this. | |
| $ rm file1 | |
| However, if the file has one or more hard links to it, life gets more interesting. You need to seek and destroy all hard links to the file. |
| #!/bin/bash | |
| # If it redirects to http://www.facebook.com/login.php at the end, wait a few minutes and try again | |
| EMAIL='YOUR_EMAIL' # edit this | |
| PASS='YOUR_PASSWORD' # edit this | |
| COOKIES='cookies.txt' | |
| USER_AGENT='Firefox/3.5' |
| var http = require('http'); | |
| var path = require('path'); | |
| var fs = require('fs'); | |
| var AUDIOFILE = "./audio.ogg"; | |
| function serveWithRanges(request, response, content) { | |
| var range = request.headers.range; | |
| var total = content.length; | |
| var parts = range.replace(/bytes=/, "").split("-"); |
| package main | |
| import ( | |
| "bytes" | |
| "encoding/hex" | |
| "flag" | |
| "fmt" | |
| "io" | |
| "log" | |
| "net" |
| package main | |
| import ( | |
| "flag" | |
| "io" | |
| "log" | |
| "net" | |
| "runtime" | |
| ) |
| <html> | |
| <body> | |
| <video id="v" width="300" height="300"></video> | |
| <input id="b" type="button" disabled="true" value="Take Picture"></input> | |
| <canvas id="c" style="display:none;" width="300" height="300"></canvas> | |
| </body> | |
| <script> | |
| navigator.getUserMedia({video: true}, function(stream) { | |
| var video = document.getElementById("v"); | |
| var canvas = document.getElementById("c"); |
The count of contributions (summary of Pull Requests, opened issues and commits) to public repos at GitHub.com from Wed, 21 Sep 2022 till Thu, 21 Sep 2023.
Only first 1000 GitHub users according to the count of followers are taken. This is because of limitations of GitHub search. Sorting algo in pseudocode:
githubUsers
.filter(user => user.followers > 1000)