Sign up for a GitHub account Sign in All Gists lykkin / gist:eca48d6211217297cef4 Created June 21, 2015 Code Revisions 1 /.sunken-menu-group /.sunken-menu-contents Embed HTTPS SSH You can clone with HTTPS or SSH . Download Gist /.only-with-full-nav first pass of zero knowledge password auth, also some rsa or whatever View gist:eca48d6211217297cef4 gistfile1.py Raw File suppressed. Click to show. 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94...
Language Dansk Deutsch English Español Español - México Français Italiano Magyar Nederlands Norsk Polski Português Português Brasileiro Slovenčina Suomi Svenska Tiếng Việt Türkçe Čeština Ελληνικά Български Русский العربية ภาษาไทย 中文 简体 中文 繁體 日本語 한국어 BEGIN Krux Control Tag for "demo twitch" Source: /snippet/controltag?confid=JYk8LCsC&site=demo%20twitch&edit=1 END Krux Controltag ...
current community chat blog Stack Overflow Meta Stack Overflow Stack Overflow Careers Sign up or log in to customize your list. more stack exchange communities Stack Exchange sign up log in tour help Tour Start here for a quick overview of the site Help Center Detailed answers to any questions you might have Meta Discuss the workings and policies of this site stack overflow careers Stack Overflow Questions Tags Users Badges Unanswered Ask Question Take the 2-minute tour × Stack Overflow is a question and answer site for professional and enthusiast programmers. It's 100% free, no registration required. Counting the swaps required to convert one permutation into another up vote 26 down vote favorite 7 We're given two sequences of lowercase latin alph...
CentralNotice From Wikipedia, the free encyclopedia Jump to: navigation , search The Kendall tau rank distance is a metric that counts the number of pairwise disagreements between two ranking lists. The larger the distance, the more dissimilar the two lists are. Kendall tau distance is also called bubble-sort distance since it is equivalent to the number of swaps that the bubble sort algorithm would make to place one list in the same order as the other list. The Kendall tau distance was created by Maurice Kendall . 1 Definition 2 Example 3 See also 4 References 5 External links Definition [ edit ] The Kendall tau ranking distance between two lists and is where and are the rankings of the element i in and respectively. will be equal to 0 if the two lists are identical and (where is the list size) if one list is the reverse of the other. Often Kendall ...
Introduction Download Tutorial Support People <-- INTRODUCTION -- F* is a new higher order, effectful programming language (like ML) designed with program verification in mind. Its type system is based on a core that resembles System Fω (hence the name), but is extended with dependent types, refined monadic effects, refinement types, and higher kinds. Together, these features allow expressing precise and compact specifications for programs, including functional correctness properties. The F* type-checker aims to prove that programs meet their specifications using an automated theorem prover (usually Z3 ) behind the scenes to discharge proof obligations. Programs written in F* can be translated to OCaml, F#, or JavaScript for execution. We have used F* in a number of projects, ranging from verifying implementations of cryptographic constructions a...
This is a dumb hack, we should only have one or the other from the the template context, so only one of the following will be rendered. ...
Skip to content Sign up Sign in This repository Explore Features Enterprise Blog Watch 14 Star 99 Fork 53 ensingm2 / SteamMonsterGameScript /.container /.repohead Code Issues Pull requests Pulse Graphs HTTPS Subversion You can clone with HTTPS or Subversion . Download ZIP /.repository-sidebar A Javascript automator for the 2015 Summer Steam Monster Minigame 449 commits 5 branches 0 releases 18 contributors JavaScript 100.0% JavaScript branch: master Switch branches/tags Branches Tags low-hp master more-heals sinnoaria-Upgrade-Boss-Loot-Rate spamStatBoosters Nothing to show Nothing to show SteamMonsterGameScript / Merge pull request #185 from ensingm2...
Open Journal Systems Journal Help User Username Password Remember me Journal Content Search All Authors Title Abstract Index terms Full Text Browse By Issue By Author By Title Other Journals Font Size Information For Readers For Authors For Librarians Current Issue Home About Log In Register Search Current Archives Announcements Home > Vol 2 (2010) > The PDF file you selected should load here if your Web browser has a PDF reader plug-in installed (for example, a recent version of Adobe Acrobat Reader ). Alternatively, you can also download the PDF file directly to your computer, from where it can be opened using a PDF reader. To download the PDF, click the Download link below. If you would like more information about how to print, save, and work with PDFs, Highwire Press provides a helpfu...
This page may be out of date. Save your draft before refreshing this page. Submit any pending changes before refreshing this page. Hide this message . Quora Login Sign Up Twitter Facebook Google+ Views 350,635 Edits How did game developers pack entire games into so little memory twenty five years ago? Software titles for home game systems used 64K to 128K cartridges and yet provided game play for hours along with various graphics, sprites and sound. It seems that the game systems themselves must have provided a fair amount of functionality (utility functions, libraries, hardware acceleration and graphics instructions) but the sheer number of images, music and sounds, animations, algorithms for game play and so on is impressive to fit in such an extremely small amount of space, and this was 25 years ago! That amount of space is equivalent to that of a single moderate-resolution compre...
<h1 id="main_header"><a href="/">#metaforcefeed</a></h1> "Bash disinformation campaign."</span> #metaforcefeed nijotz | You just manage their addictions until they die Register Login 1 ✈ jnerula ★ PUSHUPS ADD COMMENT WITH DATE WHEN DONE 1st set: 40 arms in, tris, failure at 33 switched to drop knee 2nd set: 30 wide-pushups, pecs, failure at 25ish, switched to drop knee 3rd set: 20 wide pushups, no failure 2015-06-10 04:56:55 • jnerula ★ 10 - 9 - 8 - 7 - 6 - 5 - 4 with 20lbs bricks in backpack. Failure at 4. 2015-06-12 20:27:25 • jnerula ★ ...
[if lt IE 7]> <style type="text/css"> #logo_holder img { filter:progid:DXImageTransform.Microsoft.Alpha(opacity=0); } #logo_holder { display: inline-block; width: 176px; height: 44px; filter:progid:DXImageTransform.Microsoft.AlphaImageLoader(src='http://store.akamai.steamstatic.com/public/images/v5/globalheader_logo.png'); } </style> <![endif] STORE COMMUNITY ABOUT SUPPORT Install Steam login | language Български (Bulgarian) čeština (Czech) Dansk (Danish) Nederlands (Dutch) Suomi (Finnish) Français (French) Ελληνικά (Greek) Deutsch (German) Magyar (Hungarian) Italiano (Italian) 日本語 (Japanese) 한국어 (Korean) Norsk (Norwegian) Polski (Polish) Português (Portuguese) Português-Brasil (Portuguese-Brazil) Русский (Russian) Română (Romanian) 简体中文 (Simplified Chinese) Español (Spanish) Svenska (Swedish) 繁體中文 (Traditional Chine...
Archive What If? Blag Store About A webcomic of romance, sarcasm, math, and language. Preorder: Amazon , Barnes & Noble , Indie Bound , Hudson In other news, Space Weird Thing is delightful, and I feel surprisingly invested in @xkcdbracket 's results. Types |< < Prev Random Next > >| |< < Prev Random Next > >| Permanent link to this comic: http://xkcd.com/1537/ Image URL (for hotlinking/embedding): http://imgs.xkcd.com/comics/types.png Search comic titles and transcripts: <script type="text/javascript" src="//www.google.com/jsapi"></script> <script type="text/javascript">google.load('search', '1');google.setOnLoadCallback(function() {google.search.CustomSearchControl.attachAutoCompletion('012652707207066138651:zudjtuwe28q',document.getElementById('q'),'cse-search-box');});</script> <form action="//www.google.com/cse" id="cse-search-box"> <div> <input ...
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ K E Y B A S E crypto for everyone because no one we know ever seems to have a public key. :-( ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Join Login Keybase is hiring: UX/UI designers & engineers Get a public key, safely, starting just with someone's social media username(s). From there, unbounded potential! Keybase is a people directory. Here are some random folks, if you'd rather just poke around. gregturn edsu nickerson ciphersson kyleboon grawity fabsh akalin konklone > keybase id maria pgp: C4B3 15B4 7154 5281 5100 1C58 C2A5 977B 0022 github: maria_leah ...
<h1 id="main_header"><a href="/">#metaforcefeed</a></h1> "Bash disinformation campaign."</span> #metaforcefeed nijotz | You just manage their addictions until they die Register Login #iff camping trip 10 ✈ lykkin ☎ 9 ✍ #IFF Conference General 8 ✈ jnerula ★ 5 ✍ ShitStream 2.0 7 ✈ nijotz ☎ 1 ✍ Distributed backups 4 ✈ nijotz ☎ 6 ✍ IRCBOT As A Service 2 ✈ vhost- ☎ 0 ✍ Tenyks Service Lib in Go (quasar) 2 ✈ vhost- ☎ 0 ✍ #metaforcefeed development general 2 ✈ jnerula ★ 5 ✍ downvotes 2 ✈ lykkin ☎ 2 ✍ OlegDB Development General 1 ✈ jnerula ★ 1 ✍ PUSHUPS LOG GENERAL 1 ✈ jnerula ★ 2 ✍ ☃ 0 ✈ nijotz ☎ 0 ✍ Commented on "PUSHUPS LOG GENERAL". 2015-06-12 20:27:25 • jnerula ★ Edited item "40-40-40". 2015-06-12 20:26:49 • jnerula ★ Com...