fpcMotif

## springer-free-maths-books.md

      
              1 file
            
          
              0 forks
            
          
              0 comments
            
          
              0 stars
            
          
                fpcMotif
                / springer-free-maths-books.md
            
            
              Created
              December 30, 2015 04:52
                — forked from bishboria/springer-free-maths-books.md
            
              
                Springer have made a bunch of books available for free, here are the direct links
              
          
    Direct links to free Springer books (pdf versions)

Graduate texts in mathematics

duplicates = multiple editions
A Classical Introduction to Modern Number Theory, Kenneth Ireland Michael Rosen
A Classical Introduction to Modern Number Theory, Kenneth Ireland Michael Rosen

  
## springer-lnm-1.md

      
              1 file
            
          
              0 forks
            
          
              0 comments
            
          
              1 star
            
          
                fpcMotif
                / springer-lnm-1.md
            
            
              Created
              January 16, 2016 15:11
                — forked from akalin/springer-lnm-1.md
            
              
                Direct links to Lecture Notes in Mathematics full books
              
          
    Direct links to Lecture Notes in Mathematics (Part 1)

*-Autonomous Categories - Michael Barr (1979) ([1], [2], [3], [4], [5], [6])
1-Dimensional Cohen-Macaulay Rings - Eben Matlis (1973) ([1], [2

  
## LittleLang.agda
module LittleLang where

open import Data.Bool
open import Data.Nat

data type : Set where
  tNat tBool : type

data exp : type → Set where
  nat  : ℕ → exp tNat

## bookmarklet.js
// When triggered, adds a small image before other images that represents the full-size image.
// Drag-and-drop it, right-click and save, or click to open.

javascript:$("img.viewImage, img.currentImage, img.space, img[id^=galleryImg], img[class^=browseListImage], .gallery-photo img").each(function() { var newSrc = this.src.replace(/[fs]images\/(\d+).*/, 'simages/$1_0_9-.jpg'); $(this).parents("a").andSelf().first().before("<a href='"+newSrc+"'><img src='"+newSrc+"' width=50></a>") })

## readability-bookmarklet.js
javascript:(function(){readConvertLinksToFootnotes=false;readStyle='style-newspaper';readSize='size-medium';readMargin='margin-wide';_readability_script=document.createElement('script');_readability_script.type='text/javascript';_readability_script.src='http://lab.arc90.com/experiments/readability/js/readability.js?x='+(Math.random());document.documentElement.appendChild(_readability_script);_readability_css=document.createElement('link');_readability_css.rel='stylesheet';_readability_css.href='http://lab.arc90.com/experiments/readability/css/readability.css';_readability_css.type='text/css';_readability_css.media='all';document.documentElement.appendChild(_readability_css);_readability_print_css=document.createElement('link');_readability_print_css.rel='stylesheet';_readability_print_css.href='http://lab.arc90.com/experiments/readability/css/readability-print.css';_readability_print_css.media='print';_readability_print_css.type='text/css';document.getElementsByTagName('head')[0].appendChild(_readability_prin

## feed43:ck101
<li class="cartoon-img">{*}<a href="{%}" title="{%}">{*}<img src="{%}" title="{*}" alt="{*}" src="{*}" alt="Bad Image" onError="this.src='{*}';"/>{*}</a>{*}<h6><a target="_blank" href="{*}" title="{*}"><strong>{*}</strong></a></h6>{*}<p>{*}<em>{*}</em></p>{*}</li>

## github.css
body {
  font-family: Helvetica, arial, sans-serif;
  font-size: 14px;
  line-height: 1.6;
  padding-top: 10px;
  padding-bottom: 10px;
  background-color: white;
  padding: 30px;
  color: #333;
}

## gist:cc8c93be6d57a9fbb72d3df3e91d57df
javascript:function htmlreplace(a,b,element){if(!element)element=document.body;var nodes=element.childNodes;for(var n=0;n<nodes.length;n++){if(nodes[n].nodeType==Node.TEXT_NODE){nodes[n].textContent=nodes[n].textContent.replace(new RegExp(a,'gi'),b);}else{htmlreplace(a,b,nodes[n]);}}}htmlreplace('IFTTT','');

## stein.R
> binom.test(2, 12)

	Exact binomial test

data:  2 and 12
number of successes = 2, number of trials = 12, p-value = 0.03857
alternative hypothesis: true probability of success is not equal to 0.5
95 percent confidence interval:
 0.02086253 0.48413775
sample estimates:

## Open URLs in Safari Tabs.pl
#!/usr/bin/perl

# Description: http://daringfireball.net/2010/08/open_urls_in_safari_tabs
# License: See below.
# http://gist.github.com/507356

use strict;
use warnings;
use URI::Escape;
	module LittleLang where

	open import Data.Bool
	open import Data.Nat

	data type : Set where
	tNat tBool : type

	data exp : type → Set where
	nat : ℕ → exp tNat
	// When triggered, adds a small image before other images that represents the full-size image.
	// Drag-and-drop it, right-click and save, or click to open.

	javascript:$("img.viewImage, img.currentImage, img.space, img[id^=galleryImg], img[class^=browseListImage], .gallery-photo img").each(function() { var newSrc = this.src.replace(/[fs]images\/(\d+).*/, 'simages/$1_0_9-.jpg'); $(this).parents("a").andSelf().first().before("<a href='"+newSrc+"'><img src='"+newSrc+"' width=50></a>") })
	body {
	font-family: Helvetica, arial, sans-serif;
	font-size: 14px;
	line-height: 1.6;
	padding-top: 10px;
	padding-bottom: 10px;
	background-color: white;
	padding: 30px;
	color: #333;
	}
	> binom.test(2, 12)

	Exact binomial test

	data: 2 and 12
	number of successes = 2, number of trials = 12, p-value = 0.03857
	alternative hypothesis: true probability of success is not equal to 0.5
	95 percent confidence interval:
	0.02086253 0.48413775
	sample estimates:
	#!/usr/bin/perl

	# Description: http://daringfireball.net/2010/08/open_urls_in_safari_tabs
	# License: See below.
	# http://gist.github.com/507356

	use strict;
	use warnings;
	use URI::Escape;