This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
<!DOCTYPE html> | |
<html lang="en"> | |
<head> | |
<title> _title_ </title> | |
<meta charset="utf-8" /> | |
<!--[if lt IE 9]> | |
<script src="//html5shiv.googlecode.com/svn/trunk/html5.js"></script> | |
<![endif]--> | |
<script src="//ajax.googleapis.com/ajax/libs/jquery/2.1.4/jquery.min.js"></script> | |
<script> |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Open command prompt (Terminal) and run: | |
ffmpeg -i "filename.flv" -vcodec copy -acodec copy "filename.mp4" | |
This will copy video track and audio track from filename.flv to filename.mp4. The operation is lossless (there is no quality loss). |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
// generate two points on unit square and return true if lte radius | |
function within(radius) | |
{ | |
const rand_one = toVector(Math.random()*4) | |
const rand_two = toVector(Math.random()*4) | |
return dist(rand_one,rand_two) <= radius | |
} |