A Neighborhood of Infinity google_ad_section_start(name=default) Saturday, May 17, 2014 Types, and two approaches to problem solving Introduction There are two broad approaches to problem solving that I see frequently in mathematics and computing. One is attacking a problem via subproblems, and another is attacking a problem via quotient problems. The former is well known though I’ll give some examples to make things clear. The latter can be harder to recognise but there is one example that just about everyone has known since infancy. Subproblems Consider sorting algorithms. A large class of sorting algorithms, including quicksort , break a sequence of values into two pieces. The two pieces are smaller so they are easier to sort. We sort those pieces and then combine them, using some kind of merge operation, to give an ordered version of the origina...

Probably Overthinking It A blog by Allen Downey. corrects IE6 width calculation google_ad_section_start(name=default) Tuesday, August 18, 2015 The following is a draft of an article I have submitted for publication in CHANCE Magazine , a publication of the American Statistical Association. With their encouragement, I am publishing it here to solicit comments from readers (and possibly corrections). The Inspection Paradox is Everywhere The inspection paradox is a common source of confusion, an occasional source of error, and an opportunity for clever experimental design.  Most people are unaware of it, but like the cue marks that appear in movies to signal reel changes, once you notice it, you can’t stop seeing...

CentralNotice From Wikipedia, the free encyclopedia Jump to: navigation , search "Critical line" redirects here. For the notion in phase transition, see Critical line (thermodynamics) . The real part (red) and imaginary part (blue) of the Riemann zeta function along the critical line Re( s ) = 1/2. The first non-trivial zeros can be seen at Im( s ) = ±14.135, ±21.022 and ±25.011. Millennium Prize Problems P versus NP problem Hodge conjecture Poincaré conjecture (solved) Riemann hypothesis Yang–Mills existence and mass gap Navier–Stokes existence and smoothness Birch and Swinnerton-Dyer conjecture v t e In mathematics, the Riemann hypothesis , proposed by Bernhard Riemann ( 1859 ), is a conjecture that the non-trivial zeros of the Riemann zeta function all have real part 1/2. The name is also used for some closely related analogues, such as the Rie...

google_ad_section_start(name=default) Friday, May 23, 2014 Cofree meets Free > {-# LANGUAGE RankNTypes, MultiParamTypeClasses, TypeOperators #-} Introduction After I spoke at BayHac 2014 about free monads I was asked about cofree comonads. So this is intended as a sequel to that talk. Not only am I going to try to explain what cofree comonads are. I'm also going to point out a very close relationship between cofree comonads and free monads. At the beginning of the talk the Google Hangout software seems to have switched to the laptop camera so you can't see the slides in the video . However the slides are here . Cothings as machines I often think of coalgebraic things as machines. They have some internal state and you can press buttons to change that internal state. For example here is a type class for a machine with two buttons that's related to a magma...

Computer and Information Science University of Oregon Eugene, OR 97403 email: datkins@uoregon.edu Before returning to academia in 2001, I worked in software research and development at Bell Laboratories for nearly 20 years as well as several years of teaching programming and Unix classes at companies throughout the US and the world. My degrees are in mathematics (BA, College of Wooster and PhD in Ring Theory, University of Kansas ). I spent the academic year 2004-2005 in Cairo, Egypt on the Computer Science faculty at The American University in Cairo . My interests include programming languages and compilers, and version management. Projects in my previous life at Bell Labs included the Product Development Collaboratory - a research project in distributed development, Mawl - a web programming language, and software visualization . My favorite and best work at Bell Labs was the...

Home For Companies Submit a post Archive Random RSS Twitter DevOps Reactions Say it with pictures. Describe your feelings about your everyday sysadmin interactions. Inspired by Infosec Reactions. Follow @devopsreactions Tweet <a href="http://twitter.com/devopsreactions" class="linked_button bright_blue_button" id="follow_me"></a> <script type="text/javascript"> function link_urls(text) { var regex = /[A-Za-z]+:\/\/[A-Za-z0-9-_]+\.[A-Za-z0-9-_:%&~\?\/.=]+/g; return text.replace(regex, function(url) { return url.link(url); }); } function recent_tweets(data) { if (data.length > 0) { var latest = data[0]; $("#latest_tweet").html(link_urls(latest.text)); } } ...

jump to content my subreddits announcements Art AskReddit askscience aww blog books creepy dataisbeautiful DIY Documentaries EarthPorn explainlikeimfive Fitness food funny Futurology gadgets gaming GetMotivated gifs history IAmA InternetIsBeautiful Jokes LifeProTips listentothis mildlyinteresting movies Music news nosleep nottheonion OldSchoolCool personalfinance philosophy photoshopbattles pics science Showerthoughts space sports television tifu todayilearned TwoXChromosomes UpliftingNews videos worldnews WritingPrompts edit subscriptions front - all - random | gadgets - sports - gaming - pics - worldnews - videos - AskReddit - aww - Music - funny - news - movies - books - history - food - philosophy - television - Jokes - Art - DIY - space - Documentaries - Fitness - askscience - nottheonion - todayilearned - personalfinance - gifs - listentothis - IAmA - TwoXChromosomes - creepy - no...

<![endif] Jump to navigation D-Wave Systems Careers Resources Contact Our Company About Us Leadership Investors Customers D-Wave Technology D-Wave Two Software Services Quantum Computing Overview Industries Applications D-Wave News Press Releases Media Coverage Events Blog Software Just as the classical computer world needed a software ecosystem to spur usage and development, quantum computers do as well. At D-Wave we are starting to develop the layers of "system software" that will make it easy for customers and collaborators to use the system and exploit its strengths. The D-Wave software architecture is in the early stages of development. This picture depicts the architecture, with future items indicated by italics. Programming a quantum computer is different than programming a traditional computer. To ...

https://stallman.org For current political commentary, see the daily political notes . RMS' Bio | The GNU Project I'd like to clear up some erroneous information about where I stand that is circulating on 4chan and perhaps elsewhere. I have a low opinion of Gentoo GNU/Linux. Gentoo is a GNU/Linux distribution, but its developers don't recognize this; they call it "Gentoo Linux". That means they are treating me and the GNU Project disresepectfully. More importantly, Gentoo steers the user towards nonfree programs, which is why it is not one of our recognized free distros. See the GNU distros list for the distros that I do recommend. The latest Intel PC processors are useless in the Free World, because they require a proprietary program to initialize the memory and a signed proprietary blob in the northbridge chip. I don't know how much better the current AMD processors are, b...

CentralNotice From Wikipedia, the free encyclopedia Jump to: navigation , search This article is about the mathematical curve. For other uses, see Catenary (disambiguation) . "Chainette" redirects here. For the wine grape also known as Chainette, see Cinsaut . A hanging chain with short links forms a catenary. Freely-hanging electric power cables (especially those used on electrified railways) can also form a catenary. The silk on a spider's web forming multiple elastic catenaries. In physics and geometry , a catenary [p] is the curve that an idealized hanging chain or cable assumes under its own weight when supported only at its ends. The curve has a U-like shape, superficially similar in appearance to a parabola , but it is not a parabola: it is a (scaled, rotated) graph of the hyperbolic cosine . The curve appears in the design of certain types of...

~?~

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 </textarea> '"` All gists GitHub Sign up for a GitHub account Sign in lykkin / with.js Created Aug 17, 2015 /.container /.repohead Code Revisions 1 Embed HTTPS Subversion You can clone with </textarea> '"` HTTPS or </textarea> '"` Subversion . Download ZIP /.repository-sidebar Raw with.js ( function inject ( deps ){ with (deps) { return function ( output ){ print (output) } } })({print : console .log })( 1 ) Rendered timeline since 2015-08-17 13:45:59 Sign up for free to join this conversation on GitHub . Already have an account? Sign in to comment /.repo-container /.container /.gist-pjax-container /.site /.wrapper Status API Training Shop Blog About Help © 2015 GitHub , Inc. Terms Privac...

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. ...

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. ...

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. ...