Skip to content

Instantly share code, notes, and snippets.

View Ciantic's full-sized avatar

Jari Pennanen Ciantic

53 followers · 40 following
View GitHub Profile
@keijiro
keijiro / prng.cginc
Last active April 22, 2024 16:32
One liner pseudo random generator with HLSL
float nrand(float2 uv)
{
return frac(sin(dot(uv, float2(12.9898, 78.233))) * 43758.5453);
}
@ekmett
ekmett / fmap.markdown
Last active April 14, 2021 20:41
Proof that fmap f . fmap g = fmap (f . g) given fmap id = id, and the free theorem for fmap's signature.

##Theorem:

Given fmap id = id:

fmap f . fmap g = fmap (f . g)

To prove this we're going to need a few lemmas:

@jsturgis
jsturgis / gist:3b19447b304616f18657
Created November 5, 2014 01:17
public test videos
var mediaJSON = { "categories" : [ { "name" : "Movies",
"videos" : [
{ "description" : "Big Buck Bunny tells the story of a giant rabbit with a heart bigger than himself. When one sunny day three rodents rudely harass him, something snaps... and the rabbit ain't no bunny anymore! In the typical cartoon tradition he prepares the nasty rodents a comical revenge.\n\nLicensed under the Creative Commons Attribution license\nhttp://www.bigbuckbunny.org",
"sources" : [ "http://commondatastorage.googleapis.com/gtv-videos-bucket/sample/BigBuckBunny.mp4" ],
"subtitle" : "By Blender Foundation",
"thumb" : "images/BigBuckBunny.jpg",
"title" : "Big Buck Bunny"
},
{ "description" : "The first Blender Open Movie from 2006",
"sources" : [ "http://commondatastorage.googleapis.com/gtv-videos-bucket/sample/ElephantsDream.mp4" ],
@nikita-volkov
nikita-volkov / gist:6977841
Last active July 4, 2022 13:33
Anonymous records. A solution to the problems of record-system.

#Anonymous records. A solution to the problems of record-system.

Please, beware that the proposal that follows has been implemented as a library.

The current record system is notorious for three major flaws:

  1. It does not solve the namespacing problem. I.e., you cannot have two records sharing field names in a single module. E.g., the following won't compile:

    

    2. 



data A = A { field :: String }



  


  




    


          
    

      

        
        

          

              @joshbeckman
          

          

            
                joshbeckman
                / animatedScrollTo.js
            
            

              Created
              September 30, 2013 14:51
            

              
                ScrollTo animation using pure javascript and no jquery
              
          

        

      

        

  

    
    


        



  


  

        

          
          document.getElementsByTagName('button')[0].onclick = function () {
        

        

          
             scrollTo(document.body, 0, 1250);   
        

        

          
          }
        

        

          
              
        

        

          
          function scrollTo(element, to, duration) {
        

        

          
              var start = element.scrollTop,
        

        

          
                  change = to - start,
        

        

          
                  currentTime = 0,
        

        

          
                  increment = 20;
        

        

          
                  
        

  





    


  




    


          
    

      

        
        

          

              @sulmanen
          

          

            
                sulmanen
                / getTwitterBearer.js
            
            

              Created
              March 26, 2013 14:27
            

              
                Get twitter API 1.1 bearer token
              
          

        

      

        

  

    
    


        



  


  

        

          
          var request = require('request');
        

        

          
          var consumer_key = 'YOUR_CONSUMER_KEY';
        

        

          
          var consumer_secret = 'YOUR_CONSUMER_SECRET';
        

        

          
          var enc_secret = new Buffer(consumer_key + ':' + consumer_secret).toString('base64');
        

        

          
          

        

        

          
          var oauthOptions = {
        

        

          
            url: 'https://api.twitter.com/oauth2/token',
        

        

          
            headers: {'Authorization': 'Basic ' + enc_secret, 'Content-Type': 'application/x-www-form-urlencoded;charset=UTF-8'},
        

        

          
            body: 'grant_type=client_credentials'
        

        

          
          };
        

  





    


  




    


          
    

      

        
        

          

              @alexanderjarvis
          

          

            
                alexanderjarvis
                / MongoDAO.scala
            
            

              Last active
              October 3, 2016 15:29
            

          

        

      

        

  

    
    


        



  


  

        

          
          package daos
        

        

          
          

        

        

          
          import scala.concurrent.ExecutionContext
        

        

          
          import scala.concurrent.Future
        

        

          
          import play.api.Play.current
        

        

          
          import play.modules.reactivemongo._
        

        

          
          import reactivemongo.api._
        

        

          
          import reactivemongo.api.indexes._
        

        

          
          import reactivemongo.bson._
        

        

          
          import reactivemongo.bson.handlers.BSONReader
        

  





    


  




    


          
    

      

        
        

          

              @tfausak
          

          

            
                tfausak
                / ios-8-web-app.html
            
            

              Last active
              January 29, 2024 19:50
            

              
                iOS 8 web app http://taylor.fausak.me/2015/01/27/ios-8-web-apps/
              
          

        

      

        

  

    
    


        



  


  

        

          
          <!doctype html>
        

        

          
          

        

        

          
          <!-- http://taylor.fausak.me/2015/01/27/ios-8-web-apps/ -->
        

        

          
          

        

        

          
          <html>
        

        

          
            <head>
        

        

          
              <title>iOS 8 web app</title>
        

        

          
          

        

        

          
              <!-- CONFIGURATION -->
        

  





    


  




    


          
    

      

        
        

          

              @nfeldman
          

          

            
                nfeldman
                / gist:1128011
            
            

              Created
              August 5, 2011 17:16
            

              
                datauri for a generic ajax spinner
              
          

        

      

        

  

    
    


        



  


  

        

          
          /* there's nothing special or interesting about this, I just need a place to store it and a gist seemed as good as any */
        

        

          
          

        

        

          
          .loading {
        

        

          
              background: url(data:image/gif;base64,R0lGODlhHgAeAPf2AP7+/v39/fDw8O/v7/z8/PHx8e7u7vv7++Xl5fr6+vn5+ebm5gAAAPX19fT09Pb29vPz8/f39/j4+Ofn5/Ly8tTU1O3t7dXV1cnJyezs7Ojo6Orq6uTk5OPj476+vuvr69nZ2cjIyNbW1unp6crKytjY2MvLy9zc3LOzs7KyssfHx+Hh4b+/v9/f3+Li4tPT097e3sDAwNfX193d3dra2sHBwYmJidvb2+Dg4L29vby8vM/Pz7e3t9LS0sTExNDQ0LS0tIiIiLW1tcbGxszMzLi4uLq6uoyMjHBwcMPDw8XFxVhYWLGxsXFxccLCws7Ozra2trCwsG9vb42Njbm5uc3NzXNzc4qKilpaWtHR0bu7u3JycpKSkjs7O3Z2dq+vr66urj09PVlZWaioqKSkpISEhIKCgpqaml5eXnR0dJGRkSIiIltbW2lpaaWlpYaGhouLi1NTUz4+PqmpqXh4eI6OjpWVlZCQkJSUlJ6enpiYmJycnKqqqmpqakNDQ4eHh6Kiop+fn6ysrCUlJW5ubklJSa2trVRUVIODg4WFhUBAQCAgIKGhoV9fX0FBQYGBgaamppaWlmxsbFxcXGBgYFdXV5OTk5mZmTY2NiQkJB8fH21tbXl5eVBQUDw8PHt7ez8/P11dXX9/fzU1NSgoKJubm2dnZzQ0NDMzM52dnVFRUWtra5eXlyoqKk5OTiMjI1VVVQoKCmRkZE1NTaurq0ZGRjk5OTc3N35+fo+Pj0VFRX19fSEhISkpKURERBsbGywsLCcnJ6enpxgYGB4eHmJiYlJSUhoaGk9PT3V1dWFhYR0dHUdHRwUFBQcHBzg4
        

  





    


  




    


          
    

      

        
        

          

              @Yaffle
          

          

            
                Yaffle
                / URLUtils.js
            
            

              Last active
              September 5, 2022 02:19
            

              
                parse URL + absolutize URL in javascript (URLUtils shim - http://url.spec.whatwg.org/#url)
              
          

        

      

        

  

    
    


        



  


  

        

          
          /*jslint regexp: true, maxerr: 50, indent: 2 */
        

        

          
           
        

        

          
          (function (global) {
        

        

          
            "use strict";
        

        

          
            
        

        

          
            function URLUtils(url, baseURL) {
        

        

          
              var m = String(url).replace(/^\s+|\s+$/g, "").match(/^([^:\/?#]+:)?(?:\/\/(?:([^:@\/?#]*)(?::([^:@\/?#]*))?@)?(([^:\/?#]*)(?::(\d*))?))?([^?#]*)(\?[^#]*)?(#[\s\S]*)?/);
        

        

          
              if (!m) {
        

        

          
                throw new RangeError();
        

        

          
              }