Pixelbeat.org Website Review

Parallel processing with unix tools

Tools for multi-processing on unix

titles */ padding: 1em; font-family: Verdana, Arial, sans-serif; font-size: small; max-width: 68em; /* a little smaller than 1024 on normal text on linux at least */ width: auto; text-align: justify;}#menu a,#footer a { display: block; text-decoration: none; text-align: left; padding-top: 0.5em; padding-bottom: 0.5em; padding-left: 0.3em; padding-right: 0.2em; /* width: 12.2em; */ /* IE6 needs this for footer highlight? */ background: rgb(180,200,86) none; color: rgb(255,255,192); font-weight: bold; font-size: small; font-family: Verdana, Arial, sans-serif; margin-bottom: 1px;}#menu a:hover,#footer a:hover { /* background: rgb(180,220,100) none; */ background: rgb(180,220,100) none; color: black;} .title { width : 100%; margin : 1cm; padding: 0cm; z-index : 0;} /* This hides all the menus etc so they aren't printed out*/ #sidebar{ display:none;} .noprint { display:none; } .contentText { padding : 0.5cm; margin-top : 0.5cm; margin-right : 0cm; margin-left : 0cm;} /* The android brower doesn't overlap the body with the top menu for some reason, with margin: auto; Therefore remove the margin here which is uneeded on narrow devices anyway. Also bump up the font size more appropriate for mobile displays. It's surprising that mobile browsers don't give more control over text size/reflow. Note higher resolution devices like the ipad 5th gen have device with of 768 no matter what the orientation or native resolution. Best treat these the same for now as the screen is still relatively small. */ /* Since we can resize a standard browser screen to test these, order from high to low so precedence is correct. Note browser resizing only affects max-width, not max-device-width. */ /* Note this only tunes for portait mode on ipads at present, since max-device-width is always for portait mode, no matter orientation there. */ /* Note only use relative adjustments below or you'll have all sorts of issues (sizes reverting on orientation change, too narrow body, ..) especially on android. */ /* For future size tweaking see: http://stackoverflow.com/questions/17906057/html-responsive-font-size-for-mobile-devices */ @media only screen and (max-device-width : 768px) { #content { margin-left: 0; max-width: none; font-size: 120%; } } @media only screen and (max-device-width : 480px) { #content { margin-left: 0; max-width: none; font-size: 140%; } } @media only screen and (max-device-width : 320px) { #content { margin-left: 0; max-width: none; font-size: 160%; } } function add_to_any_url(type){ url = http://www.addtoany.com/? url += sitename=+do ent.domain+& url += siteurl=http://+do ent.domain+/& if (type == feed) { url += linkname=+encodeURIComponent(The latest)+& url += linkurl=+encodeURIComponent(http://+do ent.domain+/feed/rss2.xml)+& } else { url += linkname=+encodeURIComponent(do ent.title)+& url += linkurl=+encodeURIComponent(do ent.URL)+& } url += type=+type return url}function subscribe(){ url = add_to_any_url(feed) window.location = url}function bookmark(){ url = add_to_any_url(page) window.location = url}function comments(){ first_dot=do ent.domain.indexOf(.) if (first_dot == -1) { comments_domain=comments.pixelbeat.org } else { comments_domain=comments + do ent.domain.substring(first_dot) } url = do ent.URL.replace(://+do ent.domain, ://+comments_domain) url = url.replace(https://, http://) //TODO: Support https window.location = url}//-->

Counting lines in parallel

How the GNU coreutils are tested

Tools and techniques used to test coreutils

titles */ padding: 1em; font-family: Verdana, Arial, sans-serif; font-size: small; max-width: 68em; /* a little smaller than 1024 on normal text on linux at least */ width: auto; text-align: justify;}#menu a,#footer a { display: block; text-decoration: none; text-align: left; padding-top: 0.5em; padding-bottom: 0.5em; padding-left: 0.3em; padding-right: 0.2em; /* width: 12.2em; */ /* IE6 needs this for footer highlight? */ background: rgb(180,200,86) none; color: rgb(255,255,192); font-weight: bold; font-size: small; font-family: Verdana, Arial, sans-serif; margin-bottom: 1px;}#menu a:hover,#footer a:hover { /* background: rgb(180,220,100) none; */ background: rgb(180,220,100) none; color: black;} .title { width : 100%; margin : 1cm; padding: 0cm; z-index : 0;} /* This hides all the menus etc so they aren't printed out*/ #sidebar{ display:none;} .noprint { display:none; } .contentText { padding : 0.5cm; margin-top : 0.5cm; margin-right : 0cm; margin-left : 0cm;} /* The android brower doesn't overlap the body with the top menu for some reason, with margin: auto; Therefore remove the margin here which is uneeded on narrow devices anyway. Also bump up the font size more appropriate for mobile displays. It's surprising that mobile browsers don't give more control over text size/reflow. Note higher resolution devices like the ipad 5th gen have device with of 768 no matter what the orientation or native resolution. Best treat these the same for now as the screen is still relatively small. */ /* Since we can resize a standard browser screen to test these, order from high to low so precedence is correct. Note browser resizing only affects max-width, not max-device-width. */ /* Note this only tunes for portait mode on ipads at present, since max-device-width is always for portait mode, no matter orientation there. */ /* Note only use relative adjustments below or you'll have all sorts of issues (sizes reverting on orientation change, too narrow body, ..) especially on android. */ /* For future size tweaking see: http://stackoverflow.com/questions/17906057/html-responsive-font-size-for-mobile-devices */ @media only screen and (max-device-width : 768px) { #content { margin-left: 0; max-width: none; font-size: 120%; } } @media only screen and (max-device-width : 480px) { #content { margin-left: 0; max-width: none; font-size: 140%; } } @media only screen and (max-device-width : 320px) { #content { margin-left: 0; max-width: none; font-size: 160%; } } function add_to_any_url(type){ url = http://www.addtoany.com/? url += sitename=+do ent.domain+& url += siteurl=http://+do ent.domain+/& if (type == feed) { url += linkname=+encodeURIComponent(The latest)+& url += linkurl=+encodeURIComponent(http://+do ent.domain+/feed/rss2.xml)+& } else { url += linkname=+encodeURIComponent(do ent.title)+& url += linkurl=+encodeURIComponent(do ent.URL)+& } url += type=+type return url}function subscribe(){ url = add_to_any_url(feed) window.location = url}function bookmark(){ url = add_to_any_url(page) window.location = url}function comments(){ first_dot=do ent.domain.indexOf(.) if (first_dot == -1) { comments_domain=comments.pixelbeat.org } else { comments_domain=comments + do ent.domain.substring(first_dot) } url = do ent.URL.replace(://+do ent.domain, ://+comments_domain) url = url.replace(https://, http://) //TODO: Support https window.location = url}//-->

Test framework

Truncated exponential backoff

Netscape and Mozilla email clients

Reviewing 20 years of using mozilla email clients

titles */ padding: 1em; font-family: Verdana, Arial, sans-serif; font-size: small; max-width: 68em; /* a little smaller than 1024 on normal text on linux at least */ width: auto; text-align: justify;}#menu a,#footer a { display: block; text-decoration: none; text-align: left; padding-top: 0.5em; padding-bottom: 0.5em; padding-left: 0.3em; padding-right: 0.2em; /* width: 12.2em; */ /* IE6 needs this for footer highlight? */ background: rgb(180,200,86) none; color: rgb(255,255,192); font-weight: bold; font-size: small; font-family: Verdana, Arial, sans-serif; margin-bottom: 1px;}#menu a:hover,#footer a:hover { /* background: rgb(180,220,100) none; */ background: rgb(180,220,100) none; color: black;} .title { width : 100%; margin : 1cm; padding: 0cm; z-index : 0;} /* This hides all the menus etc so they aren't printed out*/ #sidebar{ display:none;} .noprint { display:none; } .contentText { padding : 0.5cm; margin-top : 0.5cm; margin-right : 0cm; margin-left : 0cm;} /* The android brower doesn't overlap the body with the top menu for some reason, with margin: auto; Therefore remove the margin here which is uneeded on narrow devices anyway. Also bump up the font size more appropriate for mobile displays. It's surprising that mobile browsers don't give more control over text size/reflow. Note higher resolution devices like the ipad 5th gen have device with of 768 no matter what the orientation or native resolution. Best treat these the same for now as the screen is still relatively small. */ /* Since we can resize a standard browser screen to test these, order from high to low so precedence is correct. Note browser resizing only affects max-width, not max-device-width. */ /* Note this only tunes for portait mode on ipads at present, since max-device-width is always for portait mode, no matter orientation there. */ /* Note only use relative adjustments below or you'll have all sorts of issues (sizes reverting on orientation change, too narrow body, ..) especially on android. */ /* For future size tweaking see: http://stackoverflow.com/questions/17906057/html-responsive-font-size-for-mobile-devices */ @media only screen and (max-device-width : 768px) { #content { margin-left: 0; max-width: none; font-size: 120%; } } @media only screen and (max-device-width : 480px) { #content { margin-left: 0; max-width: none; font-size: 140%; } } @media only screen and (max-device-width : 320px) { #content { margin-left: 0; max-width: none; font-size: 160%; } } function add_to_any_url(type){ url = http://www.addtoany.com/? url += sitename=+do ent.domain+& url += siteurl=http://+do ent.domain+/& if (type == feed) { url += linkname=+encodeURIComponent(The latest)+& url += linkurl=+encodeURIComponent(http://+do ent.domain+/feed/rss2.xml)+& } else { url += linkname=+encodeURIComponent(do ent.title)+& url += linkurl=+encodeURIComponent(do ent.URL)+& } url += type=+type return url}function subscribe(){ url = add_to_any_url(feed) window.location = url}function bookmark(){ url = add_to_any_url(page) window.location = url}function comments(){ first_dot=do ent.domain.indexOf(.) if (first_dot == -1) { comments_domain=comments.pixelbeat.org } else { comments_domain=comments + do ent.domain.substring(first_dot) } url = do ent.URL.replace(://+do ent.domain, ://+comments_domain) url = url.replace(https://, http://) //TODO: Support https window.location = url}//-->

1995 - Netscape navigator 2 mail

Coreutils Gotchas

Confusing corners of the unix utilities

titles */ padding: 1em; font-family: Verdana, Arial, sans-serif; font-size: small; max-width: 68em; /* a little smaller than 1024 on normal text on linux at least */ width: auto; text-align: justify;}#menu a,#footer a { display: block; text-decoration: none; text-align: left; padding-top: 0.5em; padding-bottom: 0.5em; padding-left: 0.3em; padding-right: 0.2em; /* width: 12.2em; */ /* IE6 needs this for footer highlight? */ background: rgb(180,200,86) none; color: rgb(255,255,192); font-weight: bold; font-size: small; font-family: Verdana, Arial, sans-serif; margin-bottom: 1px;}#menu a:hover,#footer a:hover { /* background: rgb(180,220,100) none; */ background: rgb(180,220,100) none; color: black;} .title { width : 100%; margin : 1cm; padding: 0cm; z-index : 0;} /* This hides all the menus etc so they aren't printed out*/ #sidebar{ display:none;} .noprint { display:none; } .contentText { padding : 0.5cm; margin-top : 0.5cm; margin-right : 0cm; margin-left : 0cm;} /* The android brower doesn't overlap the body with the top menu for some reason, with margin: auto; Therefore remove the margin here which is uneeded on narrow devices anyway. Also bump up the font size more appropriate for mobile displays. It's surprising that mobile browsers don't give more control over text size/reflow. Note higher resolution devices like the ipad 5th gen have device with of 768 no matter what the orientation or native resolution. Best treat these the same for now as the screen is still relatively small. */ /* Since we can resize a standard browser screen to test these, order from high to low so precedence is correct. Note browser resizing only affects max-width, not max-device-width. */ /* Note this only tunes for portait mode on ipads at present, since max-device-width is always for portait mode, no matter orientation there. */ /* Note only use relative adjustments below or you'll have all sorts of issues (sizes reverting on orientation change, too narrow body, ..) especially on android. */ /* For future size tweaking see: http://stackoverflow.com/questions/17906057/html-responsive-font-size-for-mobile-devices */ @media only screen and (max-device-width : 768px) { #content { margin-left: 0; max-width: none; font-size: 120%; } } @media only screen and (max-device-width : 480px) { #content { margin-left: 0; max-width: none; font-size: 140%; } } @media only screen and (max-device-width : 320px) { #content { margin-left: 0; max-width: none; font-size: 160%; } } function add_to_any_url(type){ url = http://www.addtoany.com/? url += sitename=+do ent.domain+& url += siteurl=http://+do ent.domain+/& if (type == feed) { url += linkname=+encodeURIComponent(The latest)+& url += linkurl=+encodeURIComponent(http://+do ent.domain+/feed/rss2.xml)+& } else { url += linkname=+encodeURIComponent(do ent.title)+& url += linkurl=+encodeURIComponent(do ent.URL)+& } url += type=+type return url}function subscribe(){ url = add_to_any_url(feed) window.location = url}function bookmark(){ url = add_to_any_url(page) window.location = url}function comments(){ first_dot=do ent.domain.indexOf(.) if (first_dot == -1) { comments_domain=comments.pixelbeat.org } else { comments_domain=comments + do ent.domain.substring(first_dot) } url = do ent.URL.replace(://+do ent.domain, ://+comments_domain) url = url.replace(https://, http://) //TODO: Support https window.location = url}//-->

equal comparisons

Building multiple conflicting RPMs

Producing alternate packages from an RPM build

titles */ padding: 1em; font-family: Verdana, Arial, sans-serif; font-size: small; max-width: 68em; /* a little smaller than 1024 on normal text on linux at least */ width: auto; text-align: justify;}#menu a,#footer a { display: block; text-decoration: none; text-align: left; padding-top: 0.5em; padding-bottom: 0.5em; padding-left: 0.3em; padding-right: 0.2em; /* width: 12.2em; */ /* IE6 needs this for footer highlight? */ background: rgb(180,200,86) none; color: rgb(255,255,192); font-weight: bold; font-size: small; font-family: Verdana, Arial, sans-serif; margin-bottom: 1px;}#menu a:hover,#footer a:hover { /* background: rgb(180,220,100) none; */ background: rgb(180,220,100) none; color: black;} .title { width : 100%; margin : 1cm; padding: 0cm; z-index : 0;} /* This hides all the menus etc so they aren't printed out*/ #sidebar{ display:none;} .noprint { display:none; } .contentText { padding : 0.5cm; margin-top : 0.5cm; margin-right : 0cm; margin-left : 0cm;} /* The android brower doesn't overlap the body with the top menu for some reason, with margin: auto; Therefore remove the margin here which is uneeded on narrow devices anyway. Also bump up the font size more appropriate for mobile displays. It's surprising that mobile browsers don't give more control over text size/reflow. Note higher resolution devices like the ipad 5th gen have device with of 768 no matter what the orientation or native resolution. Best treat these the same for now as the screen is still relatively small. */ /* Since we can resize a standard browser screen to test these, order from high to low so precedence is correct. Note browser resizing only affects max-width, not max-device-width. */ /* Note this only tunes for portait mode on ipads at present, since max-device-width is always for portait mode, no matter orientation there. */ /* Note only use relative adjustments below or you'll have all sorts of issues (sizes reverting on orientation change, too narrow body, ..) especially on android. */ /* For future size tweaking see: http://stackoverflow.com/questions/17906057/html-responsive-font-size-for-mobile-devices */ @media only screen and (max-device-width : 768px) { #content { margin-left: 0; max-width: none; font-size: 120%; } } @media only screen and (max-device-width : 480px) { #content { margin-left: 0; max-width: none; font-size: 140%; } } @media only screen and (max-device-width : 320px) { #content { margin-left: 0; max-width: none; font-size: 160%; } } function add_to_any_url(type){ url = http://www.addtoany.com/? url += sitename=+do ent.domain+& url += siteurl=http://+do ent.domain+/& if (type == feed) { url += linkname=+encodeURIComponent(The latest)+& url += linkurl=+encodeURIComponent(http://+do ent.domain+/feed/rss2.xml)+& } else { url += linkname=+encodeURIComponent(do ent.title)+& url += linkurl=+encodeURIComponent(do ent.URL)+& } url += type=+type return url}function subscribe(){ url = add_to_any_url(feed) window.location = url}function bookmark(){ url = add_to_any_url(page) window.location = url}function comments(){ first_dot=do ent.domain.indexOf(.) if (first_dot == -1) { comments_domain=comments.pixelbeat.org } else { comments_domain=comments + do ent.domain.substring(first_dot) } url = do ent.URL.replace(://+do ent.domain, ://+comments_domain) url = url.replace(https://, http://) //TODO: Support https window.location = url}//-->

Building multiple versions